Design with Asynchronously Communicating Components

Juha Plosila; Kaisa Sere; Marina Walden

Design with Asynchronously Communicating Components

Juha Plosila, Kaisa Sere, Marina Walden

Information Technology

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-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 language	English
Title of host publication	Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised lectures
Publisher	Springer
ISBN (Print)	9783540203032
Publication status	Published - 2003
MoE publication type	A4 Article in a conference publication

Publication series

Name	Lecture notes in computer science
Number	2852
ISSN (Print)	0302-9743

Access to Document

https://link.springer.com/chapter/10.1007/978-3-540-39656-7_18

Cite this

@inproceedings{de39482201f94ac287967c002825e987,

title = "Design with Asynchronously Communicating Components",

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.",

author = "Juha Plosila and Kaisa Sere and Marina Walden",

year = "2003",

language = "English",

isbn = "9783540203032",

series = "Lecture notes in computer science",

publisher = "Springer",

number = "2852",

booktitle = "Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised lectures",

}

Design with Asynchronously Communicating Components. / Plosila, Juha; Sere, Kaisa; Walden, Marina.
Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised lectures. Springer, 2003. (Lecture notes in computer science; No. 2852).

Research output: Chapter in Book/Conference proceeding › Published conference proceeding › Scientific › peer-review

TY - GEN

T1 - Design with Asynchronously Communicating Components

AU - Plosila, Juha

AU - Sere, Kaisa

AU - Walden, Marina

PY - 2003

Y1 - 2003

N2 - 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.

AB - 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.

M3 - Published conference proceeding

SN - 9783540203032

T3 - Lecture notes in computer science

BT - Formal methods for components and objects, First international symposium, FMCO 2002, Leiden, the Netherlands, November 2002, Revised lectures

PB - Springer

ER -

Design with Asynchronously Communicating Components

Abstract

Publication series

Access to Document

Fingerprint

Cite this