Interpreting the b-method in the refinement calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 411-430

  Rouzaud, Yann ^a,b  

^a LSR IMAG   (France)

^b CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTATION THEORY;

B METHOD; DATA REFINEMENTS; PROOF OBLIGATIONS; REFINEMENT CALCULI; SOFTWARE SYSTEMS;

FORMAL METHODS;

EID: 84958059172     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_24     Document Type: Conference Paper

References (26)

1. [Abr96] J-R. Abrial, The B-Book, Cambridge University Press, 1996.
2. [AM98] J-R. Abrial, L. Mussat, Introducing Dynamic Constraints in B, In Second B International Conference, D. Bert editor, LNCS 1393, 83-128, Springer, 1998.
3. [AtB] Steria Méditerranée, Le Langage B. Manuel de référence version 1.5, S.A.V. Steria, BP 16000, 13791 Aix-en-Provence cedex 3, France.
4. [Ba78] R. J. R. Back, On the Correctness of Refinement Steps in Program Development, Report A-1978-4, Dept. of Computer Science, University of Helsinki, 1978.
5. [BB98] R. J. R. Back, M. Butler, Fusion and Simultaneous Execution in the Refinement Calculus, Acta Informatica 35, 921-949, 1998.
6. [BK83] R. J. R. Back, R. Kurki-Suonio, Decentralisation of Process Nets with Centralized Control, In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 131-142, 1983.
7. [BW90] R. J. R. Back, J. von Wright, Refinement calculus I: Sequential Nondeterministic Programs, In Stepwise Refinement of Distributed Systems, J. W. de- Bakker, W. P. deRoever, G. Rozenberg, editors, LNCS 430, 42-66, Springer, 1990.
8. [BW92] R. J. R. Back, J. von Wright, Combining Angels, Demons and Miracles in Program Specifications, Theoretical Computer Science 100, 365-383, 1992.
9. [BW98] R. J. R. Back, J. von Wright, Refinement Calculus - A Systematic Introduction, Springer, 1998.
10. [BPR96] 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.
11. [BuW96] M. Butler, M. Walden, Distributed System Development in B, In First Conference on the B Method, 155-168, H. Habrias editor, 1996.
12. [CU89] W. Chen, J. T. Udding, Towards a Calculus of Data Refinement, In Mathematics of Program Construction, J. L. A. van de Snepsheut editor, LNCS 375, 197-218, Springer, 1989.
13. [Dij76] E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.
14. [Du97] S. Dunne, Parallel Composition, In B-Talk and BUG mailinglists, http://estas1.inrets.fr:8001/ESTAS/BUG/WWW/MailArchives/,97- 12/msg00003.html and 98-01/msg00003.html.
15. [Du99] S. Dunne, The Safe Machine: a new specification construct for B, In Proceedings of FM'99, World Congress on Formal Methods, Toulouse, 1999.
16. [GM93] P. H. B. Gardiner, C. Morgan, A Single Complete Rule for Data Refinement, Formal Aspects of Computing, 5, 367-392, 1993. Reprinted in [Mo92]
17. [GP85] D. Gries, J. Prins, A New Notion of Encapsulation, in Proc. of Symp. on Languages Issues in Programming Environments, SIGPLAN, 131-139, 1985.
18. [Met] Line 14: Meteor operation, http://www.ratp.fr (available in english).
19. [MS97] A. Mikhajlova, E. Sekerinski, Class Refinement and Interface Refinement in Object-Oriented Programs, In FME'97, J. Fitzgerald, C. Jones, P. Lucas editors, LNCS 1313, 82-101, Springer, 1997.
20. [Mo88] C. Morgan, The Specification Statement, ACM TOPLAS 10(3), July 1988. Reprinted in [Mo92].
21. [Mo92] C. Morgan, On the Refinement Calculus, Springer-Verlag, 1992.
22. [Mor87] J. Morris, A Theoretical Basis for Stepwise Refinement and the Programming Calculus, Science of Computer Programming 9, 287-306, 1987.
23. [PR98] M-L. Potet, Y. Rouzaud, Composition and Refinement in the B-Method, In Second B International Conference, D. Bert editor, LNCS 1393, 46-65, Springer, 1998.
24. [WS96] M. Walden, K. Sere, Refining Action Systems within B-Tool, In FME'96, M-C. Gaudel, J. Woodcock editors, LNCS 1051, 84-103, Springer, 1996.
25. [Wi71] N. Wirth, Program Development by Stepwise Refinement, CACM 14(4), 221-227, 1971.
26. [Wri94] J. von Wright, The Lattice of Data Refinement, Acta Informatica 31, 105-135, 1994.