Construction of asynchronous communicating systems: weak termination guaranteed!

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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (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.
Original languageEnglish
Title of host publicationSoftware Composition (9th International Conference, SC 2010, Malaga, Spain, July 1-2, 2010. Proceedings)
EditorsB. Baudry, E. Wohlstadter
Place of PublicationBerlin
ISBN (Print)978-3-642-14045-7
Publication statusPublished - 2010

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Construction of asynchronous communicating systems: weak termination guaranteed!'. Together they form a unique fingerprint.

Cite this