Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Research output: Chapter in Book/Conference proceedingConference contributionScientificpeer-review

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 publicationProceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects
PublisherSpringer-Verlag
Volume2852
Publication statusPublished - 2002
MoE publication typeA4 Article in a conference publication

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

Cite this