Parallel program design: a foundation
Parallel program design: a foundation
The synthesizer generator: a system for constructing language-based editors
The synthesizer generator: a system for constructing language-based editors
Superimposition for interacting processes
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
A superimposition control construct for distributed systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verification of a distributed algorithm (abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A Discipline of Programming
A Distributed Implementation of a Task Pool
Research Directions in High-Level Parallel Programming Languages
Trace Refinement of Action Systems
CONCUR '94 Proceedings of the Concurrency Theory
An Approach to the Design of Distributed Systems with B AMN
ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
From Action Systems to Modular Systems
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume 2: Tutorials
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Action systems in incremental and aspect-oriented modeling
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Formal development of NoC systems in B
Nordic Journal of Computing - Selected papers of the 17th nordic workshop on programming theory (NWPT'05), October 19-21, 2005
Documenting the Progress of the System Development
Methods, Models and Tools for Fault Tolerance
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
An extension of event b for developing grid systems
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Some guidelines for formal development of web-based applications in b-method
ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B
Refinement of statemachines using event b semantics
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Formal transformation of platform independent models into platform specific models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Development of fault tolerant grid applications using distributed b
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Model-based analysis tools for component synthesis
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Node coordination in peer-to-peer networks
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Refinement-Preserving translation from event-b to register-voice interactive systems
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Hi-index | 0.00 |
The action system formalism has been succesfully used whenconstructing parallel and distributed systems in a stepwise mannerwithin the refinement calculus. Usually the derivation is carried outmanually. In order to be able to produce more trustworthy software,some mechanical tool is needed. In this paper we show how actionsystems can be derived and refined within the B-Toolkit, which is amechanical tool supporting a software development method, theB-Method. We describe how action systems are embedded in theB-Method. Furthermore, we show how a typical and nontrivialrefinement rule, the superposition refinement rule, is formalized andapplied on action systems within the B-Method. In addition toproviding tool support for action system refinement we also extendthe application area of the B-Method to cover parallel anddistributed systems. A derivation towards a distributed loadbalancing algorithm is given as a case study.