A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memory

Anti Alman, Fabrizio Maria Maggi, Marco Montali*, Fabio Patrizi, Andrey Rivkin

*Corresponding author for this work

Research output: Contribution to journalJournal articleResearchpeer-review

41 Downloads (Pure)

Abstract

So far, approaches for business process modeling, enactment and monitoring have mainly been based on process specifications consisting of a single process model. This setting aptly captures monolithic scenarios from domains in which all possible behaviors can be folded into a single model. However, the same strategy cannot be applied to domains where multiple interacting (procedural) processes simultaneously work over the same objects, in the presence of additional (declarative) constraints relating activities from the same or different processes. A relevant example for this setting is that of healthcare, where co-morbid patients may be subject to multiple clinical pathways at once, in the presence of additional, general constraints capturing basic medical knowledge. To fill this gap, we have previously presented the M3 Framework and an accompanying monitoring technique, which allows for a hybrid representation of a process using both procedural and declarative models, and supports the modular creation of multi-process specifications where domain experts can focus on specific procedures and domain constraints without being forced to merge them into one single specification. In this paper, we make significant extensions to this framework, allowing us to go from simple toy examples towards addressing practical real-life scenarios. We achieve this by introducing a richer form of integration between the interacting process components, in particular supporting asynchronous and synchronous activities that may operate over local and global (shared) data variables. This is framed by a discussion of the business meaning of these concepts, the introduction of the corresponding modeling patterns, and the application of our approach to real-life business processes, the latter being the driving-force behind this paper.
Original languageEnglish
Article number102271
JournalInformation Systems
Volume119
Number of pages25
ISSN0306-4379
DOIs
Publication statusPublished - 2023

Keywords

  • Automata-based techniques
  • Business process enactment
  • Business process modeling
  • Business process monitoring
  • Data Petri nets
  • Declarative processes
  • Hybrid processes
  • Multi-process specifications

Fingerprint

Dive into the research topics of 'A framework for modeling, executing, and monitoring hybrid multi-process specifications with bounded global–local memory'. Together they form a unique fingerprint.

Cite this