Trace- and failure-based semantics for responsiveness

W. Vogler, C. Stahl, R. Müller

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)


We study open systems modeled as Petri nets with an interface for asynchronous communication with other open systems. As a minimal requirement for successful communication, we investigate bounded responsiveness, which guarantees that an open system and its environment always have the possibility to communicate, while the number of pending messages never exceeds a previously known bound. Bounded responsiveness accordance describes when one open system can be safely replaced by another open system. We present a trace-based characterization for accordance. As this relation turns out not to be compositional (i.e., it is no precongruence), we characterize the coarsest compositional relation (i.e., the coarsest precongruence) that is contained in this relation, using a variation of should testing, and show decidability.
Originele taal-2Engels
TitelAdvances in Service-Oriented and Cloud Computing (Workshops of ESOCC 2013, Málaga, Spain, September 11-13, 2013, Revised Selected Papers)
RedacteurenC. Canal, M. Villari
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-45363-2
StatusGepubliceerd - 2013

Publicatie series

NaamCommunications in Computer and Information Science
ISSN van geprinte versie1865-0929


Duik in de onderzoeksthema's van 'Trace- and failure-based semantics for responsiveness'. Samen vormen ze een unieke vingerafdruk.

Citeer dit