Towards data-aware constraints in Declare

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

doi:10.1145/2480362.2480624

Towards data-aware constraints in Declare

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

Process Analytics

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

57 Citations (Scopus)

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.

Original language	English
Title of host publication	28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)
Place of Publication	New York NY
Publisher	Association for Computing Machinery, Inc
Pages	1391-1396
ISBN (Print)	978-1-4503-1656-9
DOIs	https://doi.org/10.1145/2480362.2480624
Publication status	Published - 2013
Event	28th ACM Symposium on Applied Computing (SAC 2013) - Coimbra, Portugal Duration: 18 Mar 2013 → 22 Mar 2013 Conference number: 28

Conference

Conference	28th ACM Symposium on Applied Computing (SAC 2013)
Abbreviated title	SAC 2013
Country/Territory	Portugal
City	Coimbra
Period	18/03/13 → 22/03/13

Access to Document

10.1145/2480362.2480624

Cite this

@inproceedings{e6c23807a0d24271a544e8b6819322a8,

title = "Towards data-aware constraints in Declare",

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.",

author = "M. Montali and F. Chesani and P. Mello and F.M. Maggi",

year = "2013",

doi = "10.1145/2480362.2480624",

language = "English",

isbn = "978-1-4503-1656-9",

pages = "1391--1396",

booktitle = "28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

note = "28th ACM Symposium on Applied Computing (SAC 2013), SAC 2013 ; Conference date: 18-03-2013 Through 22-03-2013",

}

Montali, M, Chesani, F, Mello, P & Maggi, FM 2013, Towards data-aware constraints in Declare. in 28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013). Association for Computing Machinery, Inc, New York NY, pp. 1391-1396, 28th ACM Symposium on Applied Computing (SAC 2013), Coimbra, Portugal, 18/03/13. https://doi.org/10.1145/2480362.2480624

TY - GEN

T1 - Towards data-aware constraints in Declare

AU - Montali, M.

AU - Chesani, F.

AU - Mello, P.

AU - Maggi, F.M.

N1 - Conference code: 28

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

U2 - 10.1145/2480362.2480624

DO - 10.1145/2480362.2480624

M3 - Conference contribution

SN - 978-1-4503-1656-9

SP - 1391

EP - 1396

BT - 28th Annual ACM Symposium on Applied Computing (Coimbra, Portugal, March 18-22, 2013)

PB - Association for Computing Machinery, Inc

CY - New York NY

T2 - 28th ACM Symposium on Applied Computing (SAC 2013)

Y2 - 18 March 2013 through 22 March 2013

ER -

Towards data-aware constraints in Declare

Abstract

Conference

Access to Document

Fingerprint

Cite this