Configurable declare: Designing customisable flexible process models

Dennis M M Schunselaar; Fabrizio Maria Maggi; Natalia Sidorova; Wil M P Van Der Aalst

doi:10.1007/978-3-642-33606-5_3

Configurable declare: Designing customisable flexible process models

Dennis M M Schunselaar^*, Fabrizio Maria Maggi, Natalia Sidorova, Wil M P Van Der Aalst

^*Corresponding author for this work

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

Abstract

Declarative languages are becoming more popular for modelling business processes with a high degree of variability. Unlike procedural languages, where the models define what is to be done, a declarative model specifies what behaviour is not allowed, using constraints on process events. In this paper, we study how to support configurability in such a declarative setting. We take Declare as an example of a declarative process modelling language and introduce Configurable Declare. Configurability is achieved by using configuration options for event hiding and constraint omission. We illustrate our approach using a case study, based on process models of ten Dutch municipalities. A Configurable Declare model is constructed supporting the variations within these municipalities.

Original language	English
Title of host publication	On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences
Subtitle of host publication	CoopIS, DOA-SVI, and ODBASE 2012, Proceedings
Pages	20-37
Number of pages	18
Volume	7565 LNCS
Edition	PART 1
DOIs	https://doi.org/10.1007/978-3-642-33606-5_3
Publication status	Published - 1 Dec 2012
Event	Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 - Rome, Italy Duration: 10 Sep 2012 → 14 Sep 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 1
Volume	7565 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012
Country/Territory	Italy
City	Rome
Period	10/09/12 → 14/09/12

Keywords

business process modelling
configurable process models
declarative process models
Declare

Access to Document

10.1007/978-3-642-33606-5_3

Handle.net

Persistent link

Cite this

Schunselaar, D. M. M., Maggi, F. M., Sidorova, N., & Van Der Aalst, W. M. P. (2012). Configurable declare: Designing customisable flexible process models. In On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings (PART 1 ed., Vol. 7565 LNCS, pp. 20-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7565 LNCS, No. PART 1). https://doi.org/10.1007/978-3-642-33606-5_3

Schunselaar, Dennis M M ; Maggi, Fabrizio Maria ; Sidorova, Natalia et al. / Configurable declare : Designing customisable flexible process models. On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings. Vol. 7565 LNCS PART 1. ed. 2012. pp. 20-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1).

@inproceedings{7566cdf3ce0c4501922168ad698b11cd,

title = "Configurable declare: Designing customisable flexible process models",

abstract = "Declarative languages are becoming more popular for modelling business processes with a high degree of variability. Unlike procedural languages, where the models define what is to be done, a declarative model specifies what behaviour is not allowed, using constraints on process events. In this paper, we study how to support configurability in such a declarative setting. We take Declare as an example of a declarative process modelling language and introduce Configurable Declare. Configurability is achieved by using configuration options for event hiding and constraint omission. We illustrate our approach using a case study, based on process models of ten Dutch municipalities. A Configurable Declare model is constructed supporting the variations within these municipalities.",

keywords = "business process modelling, configurable process models, declarative process models, Declare",

author = "Schunselaar, {Dennis M M} and Maggi, {Fabrizio Maria} and Natalia Sidorova and {Van Der Aalst}, {Wil M P}",

year = "2012",

month = dec,

day = "1",

doi = "10.1007/978-3-642-33606-5_3",

language = "English",

isbn = "9783642336058",

volume = "7565 LNCS",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 1",

pages = "20--37",

booktitle = "On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences",

edition = "PART 1",

note = "Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012 ; Conference date: 10-09-2012 Through 14-09-2012",

}

Schunselaar, DMM, Maggi, FM, Sidorova, N & Van Der Aalst, WMP 2012, Configurable declare: Designing customisable flexible process models. in On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings. PART 1 edn, vol. 7565 LNCS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 1, vol. 7565 LNCS, pp. 20-37, Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012, Rome, Italy, 10/09/12. https://doi.org/10.1007/978-3-642-33606-5_3

Configurable declare : Designing customisable flexible process models. / Schunselaar, Dennis M M; Maggi, Fabrizio Maria; Sidorova, Natalia et al.

On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings. Vol. 7565 LNCS PART 1. ed. 2012. p. 20-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7565 LNCS, No. PART 1).

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

TY - GEN

T1 - Configurable declare

T2 - Confederated International Conferences on On the Move to Meaningful Internet Systems, OTM 2012: CoopIS, DOA-SVI, and ODBASE 2012

AU - Schunselaar, Dennis M M

AU - Maggi, Fabrizio Maria

AU - Sidorova, Natalia

AU - Van Der Aalst, Wil M P

PY - 2012/12/1

Y1 - 2012/12/1

N2 - Declarative languages are becoming more popular for modelling business processes with a high degree of variability. Unlike procedural languages, where the models define what is to be done, a declarative model specifies what behaviour is not allowed, using constraints on process events. In this paper, we study how to support configurability in such a declarative setting. We take Declare as an example of a declarative process modelling language and introduce Configurable Declare. Configurability is achieved by using configuration options for event hiding and constraint omission. We illustrate our approach using a case study, based on process models of ten Dutch municipalities. A Configurable Declare model is constructed supporting the variations within these municipalities.

AB - Declarative languages are becoming more popular for modelling business processes with a high degree of variability. Unlike procedural languages, where the models define what is to be done, a declarative model specifies what behaviour is not allowed, using constraints on process events. In this paper, we study how to support configurability in such a declarative setting. We take Declare as an example of a declarative process modelling language and introduce Configurable Declare. Configurability is achieved by using configuration options for event hiding and constraint omission. We illustrate our approach using a case study, based on process models of ten Dutch municipalities. A Configurable Declare model is constructed supporting the variations within these municipalities.

KW - business process modelling

KW - configurable process models

KW - declarative process models

KW - Declare

UR - http://www.scopus.com/inward/record.url?scp=84872765342&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84872765342&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33606-5_3

DO - 10.1007/978-3-642-33606-5_3

M3 - Conference contribution

AN - SCOPUS:84872765342

SN - 9783642336058

VL - 7565 LNCS

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 20

EP - 37

BT - On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences

Y2 - 10 September 2012 through 14 September 2012

ER -

Schunselaar DMM, Maggi FM, Sidorova N, Van Der Aalst WMP. Configurable declare: Designing customisable flexible process models. In On the Move to Meaningful Internet Systems, OTM 2012 - Confederated International Conferences: CoopIS, DOA-SVI, and ODBASE 2012, Proceedings. PART 1 ed. Vol. 7565 LNCS. 2012. p. 20-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 1). doi: 10.1007/978-3-642-33606-5_3

Configurable declare: Designing customisable flexible process models

Abstract

Publication series

Conference

Keywords

Access to Document

Handle.net

Other files and links

Fingerprint

Cite this