• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Asynchronous System Synthesis

Juha Plosila, Kaisa Sere, Marina Waldén, Asynchronous System Synthesis. Science of Computer Programming , 2004.

Abstract:

We propose a method to synthesize a set of components from a high-level
specification of the intended behaviour of the target system. The designer
proceeds via correctness-preserving transformation steps towards an
implementable architecture of components which communicate
asynchronously. The interface model of each component specifies the used
communication protocol. At each step a pre-defined component is extracted
and the correctness of the step is proved. This ensures the compatibility of
the components. We use Action Systems as our formal approach to system
design. The method is inspired by hardware oriented approaches with their
component libraries, but is more general. We also explore the possibility of
using tool support to administrate the derivation, as well as to assist in
correctness proofs. Here we rely on the tools supporting the B Method, as
this method is closely related to Action Systems and has good tool support.

BibTeX entry:

@ARTICLE{jPlSeWa04a,
  title = {Asynchronous System Synthesis},
  author = {Plosila, Juha and Sere, Kaisa and Waldén, Marina},
  journal = {Science of Computer Programming},
  year = {2004},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 2

Edit publication