Towards data-aware constraints in Declare

M. Montali, F. Chesani, P. Mello, F.M. Maggi

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

52 Citations (Scopus)


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.
Original languageEnglish
Title of host publication28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)
Place of PublicationNew York NY
PublisherAssociation for Computing Machinery, Inc
ISBN (Print)978-1-4503-1656-9
Publication statusPublished - 2013
Event28th ACM Symposium on Applied Computing (SAC 2013) - Coimbra, Portugal
Duration: 18 Mar 201322 Mar 2013
Conference number: 28


Conference28th ACM Symposium on Applied Computing (SAC 2013)
Abbreviated titleSAC 2013


Dive into the research topics of 'Towards data-aware constraints in Declare'. Together they form a unique fingerprint.

Cite this