Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review


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.
Titel på gästpublikationProceedings of FMCO 2002: First International Symposium on Formal Methods for Components and Objects
StatusPublicerad - 2002
MoE-publikationstypA4 Artikel i en konferenspublikation


Fördjupa i forskningsämnen för ”Design with Asynchronously Communicating Components”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här