Towards data-aware constraints in declare

• DOI: 10.1145/2480362.2480624
• Publication Date: 2013-05-01T19:47:45Z
• Authors: Marco Montali; Federico Chesani; Paola Mello; Fabrizio M. Maggi
• Keywords: Semantic reasoner; Event calculus; Control flow; Data integrity

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 several logic-based formalisms. Up now, constraints mainly used tackle control-flow aspects, abstracting away from data. this work, we extend so as include task data data-aware constraints. We show how Event Calculus (EC) formalization of improved deal such extensions, apply reactive EC reasoner for monitoring