Abstract
To specify the proposed case study, we first use semi-formal notations (object diagram, state/transition diagram,...) which give an initial graphical overview of the information system. Then, by applying diverse rules [4,5], we derive a partial B formal specification [1]. Finally, this specification is completed by the body of the operations and the invariants corresponding to integrity constraints which couldn’t be graphically expressed.
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
Abrial J.R. (1996) The B-Book, Cambridge University Press.
Abrial J.-R., Mussat L. (1998) Introducing Dynamic Constraints in B. In: 2nd International B Conference, Montpellier, France, April 1998. Springer-Verlag, LNCS Vol. 1393, 83–128.
DIGILOG groupe STERIA (1996) Ateliers Reference Manual. DIGILOG, BP 16000, 13791 Aix-en-Provence Cedex 3 France.
Facon P., Laleau R., Nguyen H. P. (1996) Mapping Object Conceptual Diagrams into B Specifications. In: Proceedings of the Methods Integration Workshop, Leeds, United Kingdom, March 1996, Springer-Verlag, EWiCS.
Nguyen H.P. (1998) Dérivation de spécifications formelles B à partir de spécifications semi-formelles. PHD thesis, CEDRIC laboratory, Paris, France.
Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorensen W. (1991) Object-Oriented Modelling and Design. Prentice Hall, New Jersey.
Tardieu H., Rochfeld A., Colletti R. (1983) La méthode Merise - Tome 1: Principe et outils. Les Editions d’Organisation, Paris, France.
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag London Limited
About this chapter
Cite this chapter
Facon, P., Laleau, R., Nguyen, H.P. (2001). From OMT Diagrams to B Specifications. In: Frappier, M., Habrias, H. (eds) Software Specification Methods. Formal Approaches to Computing and Information Technology FACIT. Springer, London. https://doi.org/10.1007/978-1-4471-0701-9_4
Download citation
DOI: https://doi.org/10.1007/978-1-4471-0701-9_4
Publisher Name: Springer, London
Print ISBN: 978-1-85233-353-9
Online ISBN: 978-1-4471-0701-9
eBook Packages: Springer Book Archive