Bibliography

[BW+96] Distributed Systems Development in B

Butler.b96 (In proceedings)
Author(s)	Butler, M. and Waldén, M.
Title	« Distributed Systems Development in B »
In	B-96
Editor(s)	Habrias
Page(s)	155--168
Year	1996
Address	IRIN Nantes, France
ISBN number	ISBN 2-906082-25-2

Butler.b96 (In proceedings)

Author(s)

Butler, M. and Waldén, M.

Title

« Distributed Systems Development in B »

B-96

Editor(s)

Habrias

Page(s)

155--168

Year

1996

Address

IRIN Nantes, France

ISBN number

ISBN 2-906082-25-2

Abstract & Keywords
The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is designed for the construction of parallel and distributed systems in a stepwise manner within the refiement calculus. We describe how action systems are written in B AMN. We also show the correspondence between refiement rules for action systems and the proof obligations generated in the B-Method. Furthermore, we propose an extension of the B-Method to cover parallel and distributed systems. Familiarity with B AMN is assumed. Keywords: the B Method, action systems, refiement, distributed systems

Abstract & Keywords

The B-Method is a method for the stepwise derivation of sequential programs. In this paper we show how the B-Method can be used for designing distributed systems by embedding action systems within this method. The action system formalism is designed for the construction of parallel and distributed systems in a stepwise manner within the refiement calculus. We describe how action systems are written in B AMN. We also show the correspondence between refiement rules for action systems and the proof obligations generated in the B-Method. Furthermore, we propose an extension of the B-Method to cover parallel and distributed systems. Familiarity with B AMN is assumed.

Keywords: the B Method, action systems, refiement, distributed systems

BibTeX code

@inproceedings{Butler.b96,
  author = {Butler, M. and Wald{\'e}n, M.},
  domains = {Formal Specification/The Method B:Distributed System:},
  booktitle = {B-96},
  editor = {Habrias},
  address = {IRIN Nantes, France},
  isbn = {ISBN 2-906082-25-2},
  title = {Distributed Systems Development in B},
  pages = {155--168},
  year = 1996,
}

Documents in the same domains

Root

Distributed System

		[BW+96] Butler M. et al., "Distributed Systems Development in B" (1996)
		[KMG+03] Koukam A. et al., "A Multiview Approach to Modeling and..." (2003)
		[LWZ+98] Liles S. et al., "Dynamic Discovery of Simulation Entities..." (1998)
		[PB+99] Phillips C.T. et al., "A Cooperative Human-Adaptive Traffic..." (1999)
		[Rey87] Reynolds C.W., "flocks, Herds, and Schools: A Distrib..." (1987)

Formal Specification/The Method B

		[BW+96] Butler M. et al., "Distributed Systems Development in B" (1996)
		[RBS+96] Roques C. et al., "Les apports de la preuve en B" (1996)