Design with Asynchronously Communicating Components

  • J. Plosila
  • K. Sere
  • M. Waldén
Conference paper

DOI: 10.1007/978-3-540-39656-7_18

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2852)
Cite this paper as:
Plosila J., Sere K., Waldén M. (2003) Design with Asynchronously Communicating Components. In: de Boer F.S., Bonsangue M.M., Graf S., de Roever WP. (eds) Formal Methods for Components and Objects. FMCO 2002. Lecture Notes in Computer Science, vol 2852. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • J. Plosila
    • 1
  • K. Sere
    • 2
  • M. Waldén
    • 2
    • 3
  1. 1.University of Turku Turku Centre for Computer Science (TUCS) 
  2. 2.Åbo Akademi University Turku Centre for Computer Science (TUCS)TurkuFinland
  3. 3.Financing via the Academy of Finland 

Personalised recommendations