SOA monitoring based on a formal workflow model with constraints

Today, enterprise critical applications exhibit high complexity, and their non-functional properties like performance and availability are of major importance. From a user perspective, it is desirable to specify both functional and non-functional constraints on the business process model of an application system. The approach presented in this paper shows how business-level application monitoring can be performed based on implementation-level monitoring records. To achieve this, a mapping between application workflow models and an existing instrumentation is defined. This way, monitoring records, which are generated at application runtime, can be related to the workflow model. Our system uses this mapping and a stream of monitoring records to evaluate previously modelled performance constraints and to trigger reactions on constraint violations.