Dynamic Causality in Event Structures - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2015

Dynamic Causality in Event Structures

Résumé

Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e. they cannot change during a system run. Thus the common ESs only model a static view on systems. We dynamize causality such that causal dependencies between some events can be changed by occurrences of other events. We first model and study the case in which events may entail the removal of causal dependencies, then we consider the addition of causal dependencies, and finally we combine both approaches in the so-called Dynamic Causality ESs. For all three newly defined types of ESs, we study their expressive power in comparison to the well-known Prime ESs, Dual ESs, Extended Bundle ESs, and ESs for Resolvable Conflicts. Interestingly Dynamic Causality ESs subsume Extended Bundle ESs and Dual ESs but are incomparable with ESs for Resolvable Conflicts.
Fichier principal
Vignette du fichier
978-3-319-19195-9_6_Chapter.pdf (311.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01767322 , version 1 (16-04-2018)

Licence

Identifiants

Citer

Youssef Arbach, David Karcher, Kirstin Peters, Uwe Nestmann. Dynamic Causality in Event Structures. 35th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2015, Grenoble, France. pp.83-97, ⟨10.1007/978-3-319-19195-9_6⟩. ⟨hal-01767322⟩
170 Consultations
120 Téléchargements

Altmetric

Partager

More