Dynamic Causality in Event Structures
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...
Main Authors: | , , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2018-02-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/4196/pdf |
_version_ | 1797268645116641280 |
---|---|
author | Youssef Arbach David S. Karcher Kirstin Peters Uwe Nestmann |
author_facet | Youssef Arbach David S. Karcher Kirstin Peters Uwe Nestmann |
author_sort | Youssef Arbach |
collection | DOAJ |
description | 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 make causality dynamic by allowing causal dependencies between some
events to 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. |
first_indexed | 2024-04-25T01:35:46Z |
format | Article |
id | doaj.art-963caebbcfde402db814c15b529928d2 |
institution | Directory Open Access Journal |
issn | 1860-5974 |
language | English |
last_indexed | 2024-04-25T01:35:46Z |
publishDate | 2018-02-01 |
publisher | Logical Methods in Computer Science e.V. |
record_format | Article |
series | Logical Methods in Computer Science |
spelling | doaj.art-963caebbcfde402db814c15b529928d22024-03-08T09:53:24ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742018-02-01Volume 14, Issue 110.23638/LMCS-14(1:17)20184196Dynamic Causality in Event StructuresYoussef ArbachDavid S. KarcherKirstin Petershttps://orcid.org/0000-0002-4281-0074Uwe NestmannEvent 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 make causality dynamic by allowing causal dependencies between some events to 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.https://lmcs.episciences.org/4196/pdfcomputer science - logic in computer science |
spellingShingle | Youssef Arbach David S. Karcher Kirstin Peters Uwe Nestmann Dynamic Causality in Event Structures Logical Methods in Computer Science computer science - logic in computer science |
title | Dynamic Causality in Event Structures |
title_full | Dynamic Causality in Event Structures |
title_fullStr | Dynamic Causality in Event Structures |
title_full_unstemmed | Dynamic Causality in Event Structures |
title_short | Dynamic Causality in Event Structures |
title_sort | dynamic causality in event structures |
topic | computer science - logic in computer science |
url | https://lmcs.episciences.org/4196/pdf |
work_keys_str_mv | AT youssefarbach dynamiccausalityineventstructures AT davidskarcher dynamiccausalityineventstructures AT kirstinpeters dynamiccausalityineventstructures AT uwenestmann dynamiccausalityineventstructures |