The 4C spectrum of fundamental behavioral relations for concurrent systems

Polyvyanyy, Artem, Weidlich, Matthias, Conforti, Raffaele, La Rosa, Marcello, & ter Hofstede, Arthur H.M. (2014) The 4C spectrum of fundamental behavioral relations for concurrent systems. In 35th International Conference, PETRI NETS 2014, Tunis, Tunisia, June 23-27, 2014. Proceedings [Lecture Notes in Computer Science, Application and Theory of Petri Nets and Concurrency], Springer International Publishing, Tunis, Tunisia, pp. 210-232.

View at publisher


The design of concurrent software systems, in particular process-aware information systems, involves behavioral modeling at various stages. Recently, approaches to behavioral analysis of such systems have been based on declarative abstractions defined as sets of behavioral relations. However, these relations are typically defined in an ad-hoc manner. In this paper, we address the lack of a systematic exploration of the fundamental relations that can be used to capture the behavior of concurrent systems, i.e., co-occurrence, conflict, causality, and concurrency. Besides the definition of the spectrum of behavioral relations, which we refer to as the 4C spectrum, we also show that our relations give rise to implication lattices. We further provide operationalizations of the proposed relations, starting by proposing techniques for computing relations in unlabeled systems, which are then lifted to become applicable in the context of labeled systems, i.e., systems in which state transitions have semantic annotations. Finally, we report on experimental results on efficiency of the proposed computations.

Impact and interest:

9 citations in Scopus
Search Google Scholar™

Citation counts are sourced monthly from Scopus and Web of Science® citation databases.

These databases contain citations from different subsets of available publications and different time periods and thus the citation count from each is usually different. Some works are not in either database and no count is displayed. Scopus includes citations from articles published in 1996 onwards, and Web of Science® generally from 1980 onwards.

Citations counts from the Google Scholar™ indexing service can be viewed at the linked Google Scholar™ search.

Full-text downloads:

142 since deposited on 17 Oct 2013
28 in the past twelve months

Full-text downloads displays the total number of times this work’s files (e.g., a PDF) have been downloaded from QUT ePrints as well as the number of downloads in the previous 365 days. The count includes downloads for all files if a work has more than one.

ID Code: 63443
Item Type: Conference Paper
Refereed: Yes
Additional URLs:
DOI: 10.1007/978-3-319-07734-5_12
ISBN: 978-3-319-07733-8
Divisions: Current > QUT Faculties and Divisions > Science & Engineering Faculty
Copyright Owner: Copyright 2013 Please consult the authors
Deposited On: 17 Oct 2013 05:19
Last Modified: 24 Jun 2017 07:43

Export: EndNote | Dublin Core | BibTeX

Repository Staff Only: item control page