Combined Error Propagation Analysis and Runtime Event Detection in Process-Driven Systems

This paper presents an approach and Proof-of-Concept implementation for combined design time error propagation analysis and runtime diagnosis in business process driven systems. We show how error propagation analysis can be made practical in this context with qualitative error propagation notation that is approachable for the domain expert. The method uses models of business processes and their supporting IT infrastructure captured in industry-standard tools. Finite domain constraint solving is used to evaluate system alternatives from a dependability point of view. The systematic generation of event detection rules for runtime diagnosis is also supported. A real life example from the banking domain is used to demonstrate the approach.