Abstract
In this paper we combine the ‘event-driven B’ style of B specification developed by Abrial with state machine refinement techniques to systematically refine abstract non-distributed models of telecommunication and network systems towards distributed implementations.
The aim is to link event-driven B techniques with object-oriented methods such as UML, and so enhance the industrial usability of these techniques.
We describe two case studies: a simple telecommunications system and a more complex network time service.1
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J R Abrial, The B Book: Assigning Programs to Meanings, Cambridge University Press, 1996.
J Abrial, L Mussat. Specification and Design of a Transmission Protocol by Successive Refinements using B, in Mathematical Methods in Program Development, Broy, Manfred and Schieder, Birgit, editors, Springer Verlag NATO ASI Series F: Computer and Systems Sciences, vol. 158, 1997, pp. 129–200.
J Abrial, L Mussat. Introducing Dynamic Constraints in B, 2nd International B Conference, Springer Verlag, Lecture Notes in Computer Science vol. 1393, 1998.
Q Charatan, R Anthony, Specification of a Distributed Time Service in VDM-SL, http://homepages.uel.ac.uk/Q.H.Charatan/dist.html/Q. H. Charatan/dist.html, 1998.
S Cook and J Daniels. Designing Object Systems: Object-Oriented Modelling with Syntropy. Prentice Hall, Sept 1994.
K Lano. Distributed System Specification in VDM ++, FORTE’95, Montreal, 1995.
K Lano, J Bicarregui.Formalising the UML in Structured Temporal Theories, ECOOP 98 Workshop on Precise Behavioural Semantics of Object-oriented Systems, Brussels, July 1998.
D Mery, P Gibson. Safe combination of services using B, Safecomp 97, Springer Verlag, 1997.
Rational Software, UML Notation Guide, Version 1.1, http://www.rational.com/uml, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag London Limited
About this paper
Cite this paper
Lano, K., Androutsopoulos, K. (1999). Reactive System Refinement of Distributed Systems in B. In: Araki, K., Galloway, A., Taguchi, K. (eds) IFM’99. Springer, London. https://doi.org/10.1007/978-1-4471-0851-1_22
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0851-1_22
Publisher Name: Springer, London
Print ISBN: 978-1-85233-107-8
Online ISBN: 978-1-4471-0851-1
eBook Packages: Springer Book Archive