Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceedingPublished conference proceedingScientificpeer-review

4 Citations (Scopus)

Abstract

Software oriented methods allow a higher level of abstraction than the often quite low-level hardware design methods used today. We propose a component-based method to organise a large system derivation within the B Method via its facilities as provided by the tools. The designer proceeds from an abstract high-level specification of the intended behaviour of the target system via correctness-preserving transformation steps towards an implementable architecture of library components which communicate asynchronously. At each step a pre-defined component is extracted and the correctness of the step is proved using the tool support of the B Method. We use Action Systems as our formal approach to system design.
Original languageEnglish
Title of host publication Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised lectures
PublisherSpringer
ISBN (Print)9783540203032
Publication statusPublished - 2003
MoE publication typeA4 Article in a conference publication

Publication series

NameLecture notes in computer science
Number2852
ISSN (Print)0302-9743

Fingerprint

Dive into the research topics of 'Design with Asynchronously Communicating Components'. Together they form a unique fingerprint.

Cite this