Intersert: Assertions on Distributed Process Interaction Sessions

Newsham, Zack; Oliveira, Augusto Born de; Petkovich, Jean-Christophe; Rehman, Ahmad Saif Ur; Tchamgoue, Guy Martin; Fischmeister, Sebastian

doi:10.1109/qrs.2017.32

Search citation statements

Order By: Relevance

Paper Sections

Select...

Related Work1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2018

Publication Types

Select...

Book1

Relationship

Self Cite0

Independent1

Authors

Journals

Cited by 1 publication

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The work presented in [19] investigates the realization of infrastructures to maintain and access data and use it in assertions. Assertions can be managed across distributed system to support sophisticated assertions for intercommunications in distributed systems.…”

Section: Related Workmentioning

confidence: 99%

Distributed Coordination Runtime Assertions for the Peer Model

Kühn

Radschek

El-Araby

2018

Lecture Notes in Computer Science

View full text Add to dashboard Cite

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.

show abstract

Section: Related Workmentioning

confidence: 99%