Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets

Karolin Winter, Stefanie Rinderle-Ma

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

2 Scopus citations


Instance Spanning Constraints (ISC) establish controls across multiple instances of one or several business process types. Consider, e.g., medical treatments during which drug-drug interactions might occur. Different treatments are likely to be modeled in separate processes, but yet have to be coordinated in order to avoid harm for patients. ISC typically stem from regulatory documents and must be integrated into business processes. In order to facilitate ISC integration, we provide six ISC patterns which are based on a real-world ISC collection as well as a categorization of ISC. The presented ISC patterns are formalized using Proclets based on timed colored workflow nets. This formalization choice results from an elaborated requirements analysis and enables the synchronization of instances of one or several process types while employing well-known process modeling approaches. The ISC patterns are evaluated through their application to i) selected business processes and ii) existing approaches for batching and security in business processes.

Original languageEnglish
Title of host publicationConceptual Modeling - 39th International Conference, ER 2020, Proceedings
EditorsGillian Dobbie, Ulrich Frank, Gerti Kappel, Stephen W. Liddle, Heinrich C. Mayr
PublisherSpringer Science and Business Media Deutschland GmbH
Number of pages15
ISBN (Print)9783030625214
StatePublished - 2020
Externally publishedYes
Event39th International Conference on Conceptual Modeling, ER 2020 - Vienna, Austria
Duration: 3 Nov 20206 Nov 2020

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12400 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference39th International Conference on Conceptual Modeling, ER 2020


  • Business process compliance
  • Business process modeling
  • Instance spanning constraints
  • Patterns and reuse


Dive into the research topics of 'Defining Instance Spanning Constraint Patterns for Business Processes Based on Proclets'. Together they form a unique fingerprint.

Cite this