%0 Conference Proceedings
%T Distributed Coordination Runtime Assertions for the Peer Model
%+ Vienna University of Technology = Technische Universität Wien (TU Wien)
%A Kühn, Eva
%A Radschek, Sophie, Therese
%A Elaraby, Nahla
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 20th International Conference on Coordination Languages and Models (COORDINATION)
%C Madrid, Spain
%Y Giovanna Di Marzo Serugendo
%Y Michele Loreti
%I Springer International Publishing
%3 Coordination Models and Languages
%V LNCS-10852
%P 200-219
%8 2018-06-18
%D 2018
%R 10.1007/978-3-319-92408-3_9
%K Coordination model
%K Runtime assertions
%K Distributed systems
%K Tuple space
%Z Computer Science [cs]
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X Major challenges in the software development of distributed systems are rooted in the complex nature of coordination. Assertions are a practical programming mechanism to improve the quality of software in general by monitoring it at runtime. Most approaches today limit assertions to statements about local states whereas coordination requires reasoning about distributed states. The Peer Model is an event-based coordination programming model that relies on known foundations like shared tuple spaces, Actor Model, and Petri Nets. We extend it with distributed runtime invariant assertions that are specified and implemented using its own coordination mechanisms. This lifts the concept of runtime assertions to the level of coordination modeling. The concept is demonstrated by means of an example from the railway domain.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-01821497/document
%2 https://inria.hal.science/hal-01821497/file/468924_1_En_9_Chapter.pdf
%L hal-01821497
%U https://inria.hal.science/hal-01821497
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ IFIP-COORDINATION
%~ IFIP-DISCOTEC
%~ IFIP-LNCS-10852