Describing behavior of processes with many-to-many interactions

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

2 Citations (Scopus)

Abstract

Processes are a key application area for formal models of concurrency. The core concepts of Petri nets have been adopted in research and industrial practice to describe and analyze the behavior of processes where each instance is executed in isolation. Unaddressed challenges arise when instances of processes may interact with each other in a one-to-many or many-to-many fashion. So far, behavioral models for describing such behavior either also include an explicit data model of the processes to describe many-to-many interactions, or cannot provide precise operational semantics. In this paper, we study the problem in detail through a fundamental example and evolve a few existing concepts from net theory towards many-to-many interactions. Specifically, we show that three concepts are required to provide an operational, true concurrency semantics to describe the behavior of processes with many-to-many interactions: unbounded dynamic synchronization of transitions, cardinality constraints limiting the size of the synchronization, and history-based correlation of token identities. The resulting formal model is orthogonal to all existing data modeling techniques, and thus allows to study the behavior of such processes in isolation, and to combine the model with existing and future data modeling techniques.

Original languageEnglish
Title of host publicationApplication and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings
EditorsSusanna Donatelli, Stefan Haar
PublisherSpringer
Pages3-24
Number of pages22
ISBN (Print)9783030215705
DOIs
Publication statusPublished - 1 Jan 2019
Event40th International Conference on Application and Theory of Petri Nets and Concurrency, (PetriNets2019) - Aachen, Germany
Duration: 23 Jun 201928 Jun 2019
http://www.petrinets2019.de/

Publication series

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

Conference

Conference40th International Conference on Application and Theory of Petri Nets and Concurrency, (PetriNets2019)
Abbreviated titlePetriNets2019
CountryGermany
CityAachen
Period23/06/1928/06/19
Internet address

Fingerprint

Many to many
Data structures
Interaction
Synchronization
Data Modeling
Semantics
Formal Model
Concurrency
Isolation
Petri nets
One to many
Cardinality Constraints
Operational Semantics
Petri Nets
Data Model
Limiting
Model
Concepts

Keywords

  • Many-to-many interactions
  • Modeling
  • Multi-instance processes
  • Petri nets
  • True-concurrency semantics

Cite this

Fahland, D. (2019). Describing behavior of processes with many-to-many interactions. In S. Donatelli, & S. Haar (Eds.), Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings (pp. 3-24). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11522 LNCS). Springer. https://doi.org/10.1007/978-3-030-21571-2_1
Fahland, Dirk. / Describing behavior of processes with many-to-many interactions. Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. editor / Susanna Donatelli ; Stefan Haar. Springer, 2019. pp. 3-24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).
@inproceedings{1a579fe9109349d0ba10557033ebbd5d,
title = "Describing behavior of processes with many-to-many interactions",
abstract = "Processes are a key application area for formal models of concurrency. The core concepts of Petri nets have been adopted in research and industrial practice to describe and analyze the behavior of processes where each instance is executed in isolation. Unaddressed challenges arise when instances of processes may interact with each other in a one-to-many or many-to-many fashion. So far, behavioral models for describing such behavior either also include an explicit data model of the processes to describe many-to-many interactions, or cannot provide precise operational semantics. In this paper, we study the problem in detail through a fundamental example and evolve a few existing concepts from net theory towards many-to-many interactions. Specifically, we show that three concepts are required to provide an operational, true concurrency semantics to describe the behavior of processes with many-to-many interactions: unbounded dynamic synchronization of transitions, cardinality constraints limiting the size of the synchronization, and history-based correlation of token identities. The resulting formal model is orthogonal to all existing data modeling techniques, and thus allows to study the behavior of such processes in isolation, and to combine the model with existing and future data modeling techniques.",
keywords = "Many-to-many interactions, Modeling, Multi-instance processes, Petri nets, True-concurrency semantics",
author = "Dirk Fahland",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-21571-2_1",
language = "English",
isbn = "9783030215705",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "3--24",
editor = "Susanna Donatelli and Stefan Haar",
booktitle = "Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings",
address = "Germany",

}

Fahland, D 2019, Describing behavior of processes with many-to-many interactions. in S Donatelli & S Haar (eds), Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11522 LNCS, Springer, pp. 3-24, 40th International Conference on Application and Theory of Petri Nets and Concurrency, (PetriNets2019), Aachen, Germany, 23/06/19. https://doi.org/10.1007/978-3-030-21571-2_1

Describing behavior of processes with many-to-many interactions. / Fahland, Dirk.

Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. ed. / Susanna Donatelli; Stefan Haar. Springer, 2019. p. 3-24 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 11522 LNCS).

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

TY - GEN

T1 - Describing behavior of processes with many-to-many interactions

AU - Fahland, Dirk

PY - 2019/1/1

Y1 - 2019/1/1

N2 - Processes are a key application area for formal models of concurrency. The core concepts of Petri nets have been adopted in research and industrial practice to describe and analyze the behavior of processes where each instance is executed in isolation. Unaddressed challenges arise when instances of processes may interact with each other in a one-to-many or many-to-many fashion. So far, behavioral models for describing such behavior either also include an explicit data model of the processes to describe many-to-many interactions, or cannot provide precise operational semantics. In this paper, we study the problem in detail through a fundamental example and evolve a few existing concepts from net theory towards many-to-many interactions. Specifically, we show that three concepts are required to provide an operational, true concurrency semantics to describe the behavior of processes with many-to-many interactions: unbounded dynamic synchronization of transitions, cardinality constraints limiting the size of the synchronization, and history-based correlation of token identities. The resulting formal model is orthogonal to all existing data modeling techniques, and thus allows to study the behavior of such processes in isolation, and to combine the model with existing and future data modeling techniques.

AB - Processes are a key application area for formal models of concurrency. The core concepts of Petri nets have been adopted in research and industrial practice to describe and analyze the behavior of processes where each instance is executed in isolation. Unaddressed challenges arise when instances of processes may interact with each other in a one-to-many or many-to-many fashion. So far, behavioral models for describing such behavior either also include an explicit data model of the processes to describe many-to-many interactions, or cannot provide precise operational semantics. In this paper, we study the problem in detail through a fundamental example and evolve a few existing concepts from net theory towards many-to-many interactions. Specifically, we show that three concepts are required to provide an operational, true concurrency semantics to describe the behavior of processes with many-to-many interactions: unbounded dynamic synchronization of transitions, cardinality constraints limiting the size of the synchronization, and history-based correlation of token identities. The resulting formal model is orthogonal to all existing data modeling techniques, and thus allows to study the behavior of such processes in isolation, and to combine the model with existing and future data modeling techniques.

KW - Many-to-many interactions

KW - Modeling

KW - Multi-instance processes

KW - Petri nets

KW - True-concurrency semantics

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

U2 - 10.1007/978-3-030-21571-2_1

DO - 10.1007/978-3-030-21571-2_1

M3 - Conference contribution

AN - SCOPUS:85067797506

SN - 9783030215705

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

SP - 3

EP - 24

BT - Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings

A2 - Donatelli, Susanna

A2 - Haar, Stefan

PB - Springer

ER -

Fahland D. Describing behavior of processes with many-to-many interactions. In Donatelli S, Haar S, editors, Application and Theory of Petri Nets and Concurrency - 40th International Conference, PETRI NETS 2019, Proceedings. Springer. 2019. p. 3-24. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-030-21571-2_1