Distributed System Development in B

Michael Butler, Marina Walden*

*Tämän työn vastaava kirjoittaja

Tutkimustuotos: Kirja/lehti/raporttiTutkimusraporttiAmmatillinen

2 Lataukset (Pure)

Abstrakti

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 refinement calculus. We describe how action systems are written in B AMN. We also show the correspondence between refinement rules for action systems and the proof obligations generated in the B-Method. Furthermore, we propose an exten- sion of the B-Method to cover parallel and distributed systems. Familiarity with B AMN is assumed.
AlkuperäiskieliEnglanti
KustantajaTurku Center for Computer Science (TUCS)
ISBN (painettu)951-650-857-X
TilaJulkaistu - 1996
OKM-julkaisutyyppiD4 Julkaistut kehitykset tai tutkimusraportit tai tutkimukset

Julkaisusarja

NimiTUCS Technical Reports
Vuosikerta53

Viittausmuodot