Monitoring business constraints with the event calculus

Marco Montali, Fabrizio M. Maggi, Federico Chesani, Paola Mello, Wil M. P. van der Aalst
2013 ACM Transactions on Intelligent Systems and Technology  
Today, large business processes are composed of smaller, autonomous, interconnected sub-systems, achieving modularity and robustness. Quite often, these large processes comprise software components as well as human actors, they face highly dynamic environments, and their sub-systems are updated and evolve independently of each other. Due to their dynamic nature and complexity, it might be difficult, if not impossible, to ensure at design-time that such systems will always exhibit the
more » ... ibit the desired/expected behaviours. This in turn trigger the need for runtime verification and monitoring facilities. These are needed to check whether the actual behaviour complies with expected business constraints. In this work we present mobucon, a novel monitoring framework that tracks streams of events and continuously determines the state of business constraints. In mobucon, business constraints are defined using ConDec, a declarative process modelling language. For the purpose of this work, ConDec has been suitably extended to support quantitative time constraints and non-atomic, durative activities. Then, the logic-based language Event Calculus (EC) has been adopted for the formal specification of constraints, and a light-weight, logic programming-based EC axiomatization has been exploited for dynamically reasoning about partial, evolving execution traces. mobucon has been integrated within the operational decision support architecture of ProM. To demonstrate the applicability of our proposal, we provide also a concrete case study dealing 1 with maritime safety and security.
doi:10.1145/2542182.2542199 fatcat:aqdv7ywypfamnphwdxmlohbnfe