Abstract

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic Causality in Event Structures (Technical Report). TU Berlin (2015), http://arxiv.org/
  2. 2.
    Baldan, P., Busi, N., Corradini, A., Pinna, G.M.: Domain and event structure semantics for Petri nets with read and inhibitor arcs. Theoretical Computer Science 323(1-3), 129–189 (2004)CrossRefMATHMathSciNetGoogle Scholar
  3. 3.
    Baldan, P., Corradini, A., Montanari, U.: Contextual Petri Nets, Asymmetric Event Structures, and Processes. Information and Computation 171(1), 1–49 (2001)CrossRefMATHMathSciNetGoogle Scholar
  4. 4.
    Boudol, G., Castellani, I.: Flow Models of Distributed Computations: Three Equivalent Semantics for CCS. Information and Computation 114(2), 247–314 (1994)CrossRefMATHMathSciNetGoogle Scholar
  5. 5.
    Crafa, S., Varacca, D., Yoshida, N.: Event structure semantics of parallel extrusion in the pi-calculus. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol. 7213, pp. 225–239. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  6. 6.
    Katoen, J.P.: Quantitative and Qualitative Extensions of Event Structures. PhD thesis, Twente (1996)Google Scholar
  7. 7.
    Kuske, D., Morin, R.: Pomsets for Local Trace Languages - Recognizability, Logic & Petri Nets. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 426–441. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  8. 8.
    Langerak, R.: Transformations and Semantics for LOTOS. PhD thesis, Twente (1992)Google Scholar
  9. 9.
    Langerak, R., Brinksma, E., Katoen, J.P.: Causal Ambiguity and Partial Orders in Event Structures. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 317–331. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  10. 10.
    Reichert, M., Dadam, P., Bauer, T.: Dealing with forward and backward jumps in workflow management systems. Software and Systems Modeling 2(1), 37–58 (2003)CrossRefGoogle Scholar
  11. 11.
    Rensink, A.: Posets for Configurations! In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 269–285. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  12. 12.
    van Glabbeek, R., Plotkin, G.: Event Structures for Resolvable Conflict. In: Fiala, J., Koubek, V., Kratochvíl, J. (eds.) MFCS 2004. LNCS, vol. 3153, pp. 550–561. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  13. 13.
    Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data & Knowledge Engineering 66(3), 438–466 (2008)CrossRefGoogle Scholar
  14. 14.
    Winskel, G.: Events in Computation. PhD thesis, Edinburgh (1980)Google Scholar
  15. 15.
    Winskel, G.: An introduction to event structures. In: de Bakker, J.W., de Roever, W.-P., Rozenberg, G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. LNCS, vol. 354, pp. 364–397. Springer, Heidelberg (1989)CrossRefGoogle Scholar
  16. 16.
    Winskel, G.: Distributed Probabilistic and Quantum Strategies. In: Proceedings of MFPS. ENTCS, vol. 298, pp. 403–425. Elsevier (2013)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2015

Authors and Affiliations

  • Youssef Arbach
    • 1
  • David Karcher
    • 1
  • Kirstin Peters
    • 1
  • Uwe Nestmann
    • 1
  1. 1.Technische Universität BerlinBerlinGermany

Personalised recommendations