Refining Action Systems within B-Tool

Marina Walden, Kaisa Sere

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

9 Citeringar (Scopus)

Sammanfattning

Action systems is a formalism designed for the construction of parallel and distributed systems in a stepwise manner within the refinement calculus. In this paper we show how action systems can be derived and refined within a mechanical proof tool, the B-Tool. We describe how action systems are embedded in B-Tool. Due to this embedding we can now develop parallel and distributed systems within the B-Tool. We also show how a typical and nontrivial refinement rule, the superposition refinement rule, is formalized and applied on action systems within B-Tool. A derivation towards a distributed load balancing algorithm is given as a case study.
OriginalspråkEngelska
Titel på gästpublikationProceedings of Formal Methods Europe (FME'96)
Undertitel på gästpublikationSymposium on Industrial Benefit and Advances in Formal Methods
UtgivningsortOxford, England
FörlagSpringer Verlag
Sidor84-103
StatusPublicerad - 1996
MoE-publikationstypA4 Artikel i en konferenspublikation

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer Verlag
Volym1051

Fingeravtryck

Fördjupa i forskningsämnen för ”Refining Action Systems within B-Tool”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här