Distributed Coordination Runtime Assertions for the Peer Model

@inproceedings{Khn2018DistributedCR,
  title={Distributed Coordination Runtime Assertions for the Peer Model},
  author={eva K{\"u}hn and Sophie Therese Radschek and Nahla Elaraby},
  booktitle={COORDINATION},
  year={2018}
}
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… CONTINUE READING

Citations

Publications citing this paper.

Coordination Models and Languages

  • Lecture Notes in Computer Science
  • 2019
VIEW 6 EXCERPTS
CITES BACKGROUND
HIGHLY INFLUENCED