Construction of asynchronous communicating systems: weak termination guaranteed!

K.M. Hee, van, N. Sidorova, J.M.E.M. Werf, van der

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)
1 Downloads (Pure)


Correctness of asynchronously communicating systems (ACS) is known to be a hard problem, which became even more actual after the introduction of Service Oriented Architectures and Service Oriented Computing. In this paper, we focus on one particular correctness property, namely weak termination: at any moment of the system execution, at least one option to terminate should be available. We present a compositional method for constructing an ACS that guarantees weak termination. The method allows for refinement of single components, refinement of compositions of components and the creation of new components in the system. For two important classes of ACS, weak termination follows directly from their structure. These classes focus on the concurrency over components and on the implementation of protocols and communicating choices.
Originele taal-2Engels
TitelSoftware Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings)
RedacteurenB. Baudry, E. Wohlstadter
Plaats van productieBerlin
ISBN van geprinte versie978-3-642-14045-7
StatusGepubliceerd - 2010

Publicatie series

NaamLecture Notes in Computer Science
ISSN van geprinte versie0302-9743


Duik in de onderzoeksthema's van 'Construction of asynchronous communicating systems: weak termination guaranteed!'. Samen vormen ze een unieke vingerafdruk.

Citeer dit