Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Composition and refinement in the B-method

  • Conference paper
  • First Online:
B’98: Recent Advances in the Development and Use of the B Method (B 1998)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1393))

Included in the following conference series:

  • 184 Accesses

Abstract

In this paper, we propose a framework to study refinement of abstract machines in the B-method. It allows us to properly deal with shared variables, possibly introduced by composition primitives sees and imports. We exhibit local conditions on components which are sufficient to ensure global correctness of a software system. Finally, we show how restrictions on the architecture of software systems may guarantee these conditions.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. J-R. Abrial, The B-Book, Cambridge University Press, 1996.

    Google Scholar 

  2. Steria Méditerranée, fr Le Langage B. Manuel de référence version 1.5, S.A.V. Steria, BP 16000, 13791 Aix-en-Provence cedex 3, France.

    Google Scholar 

  3. D. Bert, M-L. Potet, Y. Rouzaud, A Study on Components and Assembly Primitives in B, In First Conference on the B Method, 47–62, H. Habrias, editor, 1996.

    Google Scholar 

  4. R. J. R. Back, J. von Wright, Refinement calculus I: Sequential Nondeterministic Programs, In Stepwise Refinement of Distributed Systems, J. W. deBakker, W. P. deRoever, and G. Rozenberg, editors, LNCS 430, 42–66, Springer-Verlag, 1990.

    Google Scholar 

  5. The VDM-SL Tool Group, User's Manual for the IFAD VDM-SL Toolbox, IFAD, Forskerparken 10, 5230 Odense M, Denmark, 1994.

    Google Scholar 

  6. B. Liskov, J. Wing, A Behavioural Notion of Subtyping, ACM Transactions on Programming Languages and Systems, 16(6), 1811–1841, 1994.

    Article  Google Scholar 

  7. B. Meyer, Object-Oriented Construction, Prentice-Hall, 1988.

    Google Scholar 

  8. M. Moriconi, X. Qian, R. A. Riemenschneider, Correct Architecture Refinement, IEEE Transactions on Software engineering, 21(4), 356–372, 1995.

    Article  Google Scholar 

  9. M. Spivey, Understanding Z: a Specification Language and its Formal Semantics, Cambridge University Press, 1988.

    Google Scholar 

  10. D. Sannella, A. Tarlecki, Towards Formal Development of Programs from Algebraic Specifications: Implementations Revisited, Acta Informatica, 25, 233–281, 1988.

    Article  MATH  MathSciNet  Google Scholar 

  11. M. Wirsing, Structured Algebraic Specifications: A Kernel Language, Theoretical Computer Science, 42, 123–249, 1986.

    Article  MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSR-IMAG, Grenoble, France

    Marie -Laure Potet & Yann Rouzaud

  2. Laboratoire Logiciels Systèmes Réseaux - Institut, IMAG (UJF - INPG - CNRS), BP 72, F-38402, Saint Martin d'Hères Cedex

    Marie -Laure Potet & Yann Rouzaud

Authors
  1. Marie -Laure Potet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yann Rouzaud
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Didier Bert

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Potet, M.L., Rouzaud, Y. (1998). Composition and refinement in the B-method. In: Bert, D. (eds) B’98: Recent Advances in the Development and Use of the B Method. B 1998. Lecture Notes in Computer Science, vol 1393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0053355

Download citation

  • DOI: https://doi.org/10.1007/BFb0053355

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-64405-7

  • Online ISBN: 978-3-540-69769-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation