Towards data-aware constraints in declare

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2013, Pages 1391-1396

  Montali, Marco ^a   Chesani, Federico ^b   Mello, Paola ^b   Maggi, Fabrizio M ^c  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITY OF BOLOGNA   (Italy)

^c EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Data aware constraints; Event calculus; Process monitoring

Indexed keywords

BUSINESS PROCESS; CONSTRAINT-BASED; CONTROL-FLOW; DATA-AWARE CONSTRAINTS; DECLARATIVE LANGUAGES; EVENT CALCULUS; REASONER;

PROCESS MONITORING; SEMANTICS;

LOGIC PROGRAMMING;

EID: 84878000784     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2480362.2480624     Document Type: Conference Paper

References (21)

1. A. Awad, M. Weidlich, and M. Weske. Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. In Proc. of ICSOC, 2009.
2. 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.
3. L. Chittaro and A. Montanari. Efficient temporal reasoning in the cached event calculus. Computational Intelligence, 1996.
4. R. A. Kowalski and M. J. Sergot. A Logic-Based Calculus of Events. New Generation Computing, 1986.
5. 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.
6. 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.
7. 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.
8. F. M. Maggi, A. J. Mooij, and W. M. P. van der Aalst. Analyzing Vessel Behavior using Process Mining, chapter Poseidon book. 2012.
9. M. Montali. Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach, volume 56 of LNBIP. Springer, 2010.
10. 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.
11. 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.
12. M. Pesic. Constraint-Based Workflow Management Systems: Shifting Controls to Users. PhD thesis, Beta Research School for Operations Management and Logistics, 2008.
13. 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.
14. 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.
15. 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.
16. S. Schulte, D. Schuller, R. Steinmetz, and S. Abels. Plug-and-play virtual factories. IEEE Internet Computing, 16(5):78-82, 2012.
17. M. Shanahan. The Event Calculus Explained. In Artificial Intelligence Today: Recent Trends and Developments. 1999.
18. 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.
19. 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.
20. M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007.
21. 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.