Marco Montali
ABSTRACT
In recent years, declarative, constraint-based approaches have been proposed to model loosely-structured business processes, mediating between support and flexibility. A notable example is the Declare framework, equipped with a graphical declarative language whose semantics can be characterized with several logic-based formalisms. Up to now, Declare constraints have been mainly used to tackle control-flow aspects, abstracting away from data. In this work, we extend Declare so as to include task data and data-aware constraints. We show how the Event Calculus (EC) formalization of Declare can be improved to deal with such extensions, and to apply a reactive EC reasoner for monitoring data-aware constraints.
- A. Awad, M. Weidlich, and M. Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In Proc. of ICSOC, 2009. Google Scholar
Digital Library
- S. Bragaglia, F. Chesani, P. Mello, M. Montali, and P. Torroni. Reactive event calculus for monitoring global computing applications. In Logic Programs, Norms and Action. Springer, 2012. Google ScholarDigital Library
- L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 1996.Google Scholar
- R. A. Kowalski and M. J. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 1986. Google ScholarDigital Library
- L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam. Monitoring business process compliance using compliance rule graphs. In OTM Conferences (1), pages 82--99, 2011. Google ScholarDigital Library
- L. T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam. Monitoring business process compliance using compliance rule graphs. In On the Move to Meaningful Internet Systems. Springer, 2011. Google ScholarDigital Library
- F. M. Maggi, M. Montali, and W. M. P. van der Aalst. An operational decision support framework for monitoring business constraints. In Proc. of FASE. Springer, 2012. Google ScholarDigital Library
- F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst. Analyzing Vessel Behavior using Process Mining, chapter Poseidon book. 2012.Google Scholar
- M. Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, volume 56 of LNBIP. Springer, 2010.Google Scholar
- M. Montali, W. M. P. M. Pesic van der Aalst, F. Chesani, P. Mello, and S. Storari. Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web, 2010. Google ScholarDigital Library
- M. Montali, F. M. Maggi, F. Chesani, P. Mello, and W. M. P. van der Aalst. Monitoring Business Constraints with the Event Calculus. ACM Transactions on Intelligent Systems and Technology, To appear.Google Scholar
- M. Pesic. Constraint-Based Workflow Management Systems: Shifting Controls to Users. PhD thesis, Beta Research School for Operations Management and Logistics, 2008.Google Scholar
- M. Pesic, H. Schonenberg, and W. M. P. van der Aalst. Declare: Full support for loosely-structured processes. In Proc. of EDOC. IEEE Computer Society, 2007. Google ScholarDigital Library
- M. Pesic and W. M. P. van der Aalst. A Declarative Approach for Flexible Business Processes Management. In Proc. of BPM Workshops, LNCS. Springer, 2006. Google ScholarDigital Library
- N. Russell, A. H. M. ter Hofstede, D. Edmond, and W. M. P. van der Aalst. Workflow data patterns: Identification, representation and tool support. In Proc. of ER. Springer, 2005. Google ScholarDigital Library
- S. Schulte, D. Schuller, R. Steinmetz, and S. Abels. Plug-and-play virtual factories. IEEE Internet Computing, 16(5):78--82, 2012. Google ScholarDigital Library
- M. Shanahan. The Event Calculus Explained. In Artificial Intelligence Today: Recent Trends and Developments. 1999. Google ScholarDigital Library
- R. Vaculín, R. Hull, T. Heath, C. Cochran, A. Nigam, and P. Sukaviriya. Declarative business artifact centric modeling of decision and knowledge intensive business processes. In Proc. of EDOC, 2011. Google ScholarDigital Library
- B. Weber, H. A. Reijers, S. Zugal, and W. Wild. The declarative approach to business process execution: An empirical test. In Proc. of CAISE. Springer, 2009. Google ScholarDigital Library
- M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007. Google ScholarDigital Library
- M. Westergaard and F. M. Maggi. Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In Proc. of COOPIS. Springer, 2012.Google Scholar
Recommendations
Monitoring business constraints with the event calculus
Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web MiningToday, large business processes are composed of smaller, autonomous, interconnected subsystems, achieving modularity and robustness. Quite often, these large processes comprise software components as well as human actors, they face highly dynamic ...
I do declare: consensus in a logic language
The Paxos consensus protocol can be specified concisely, but is notoriously difficult to implement in practice. We recount our experience building Paxos in Overlog, a distributed declarative programming language. We found that the Paxos algorithm is ...
How to declare an imperative
How can we integrate interaction into a purely declarative language? This tutorial describes a solution to this problem based on a monad. The solution has been implemented in the functional language Haskell and the declarative language Escher. ...
Comments