Advertisement

Higher-Order Dynamics in Event Structures

  • David S. Karcher
  • Uwe NestmannEmail author
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9399)

Abstract

Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Recently, Arbach et al. introduced the new Dynamic Causality Event Structure (DCES), in which some event may change the causal dependencies of other events, by adding or dropping causal predecessors. Interestingly, DCES turned out to be incomparable—concerning their expressive power—to van Glabbeek’s and Plotkin’s Event Structure for Resolvable Conflicts (RCES), up to then considered to be one of the most general ES models.

In this paper, also motivated by process modelling in the health care domain, we present a generalisation of the DCESs, by firstly allowing sets of events for modifying dependencies, and secondly by introducing higher-order dynamics. We show that the newly defined structure is strictly more expressive than the RCESs.

References

  1. 1.
    Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures. In: Graf, S., Viswanathan, M. (eds.) Formal Techniques for Distributed Objects, Components, and Systems. LNCS, vol. 9039, pp. 83–97. Springer, Heidelberg (2015) CrossRefGoogle Scholar
  2. 2.
    Arbach, Y., Karcher, D., Peters, K., Nestmann, U.: Dynamic causality in event structures (Technical report) (2015). Available from http://www.arxiv.org/
  3. 3.
    Boudol, G., Castellani, I.: Flow models of distributed computations: three equivalent semantics for CCS. Inf. Comput. 114(2), 247–314 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343–350. Springer, Heidelberg (2012) CrossRefGoogle Scholar
  5. 5.
    Langerak, R.: Transformations and Semantics for LOTOS. Ph.D. thesis, Twente (1992)Google Scholar
  6. 6.
    Trénous, J.: On the Utility and Usability of Event Structures to Model Dynamic Processes in a Clinical Case Study. Bachelor Thesis in Computer Science, to be submitted in August 2015Google Scholar
  7. 7.
    van Glabbeek, R.J., 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
  8. 8.
    van Glabbeek, R.J., Plotkin, G.D.: Configuration structures, event structures and petri nets. Theor. Comput. Sci. 410(41), 4111–4159 (2009). Festschrift for Mogens Nielsen 60th birthdayMathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Winskel, G.: Events in Computation. Ph.D. thesis, Edinburgh (1980)Google Scholar
  10. 10.
    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
  11. 11.
    Winskel, G.: Distributed probabilistic and quantum strategies. In: Proceedings of MFPS. ENTCS, vol. 298, pp. 403–425. Elsevier (2013)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Technische Universität BerlinBerlinGermany

Personalised recommendations