Abstract
CEDRIC-IIE is researching rigorous information system (IS) development. Previous work includes translation rules for deriving a B specification from object-oriented diagrams, metamodels of IS UML structural and functional concepts, and a prototype translation tool. Here we outline the traceability needs for a tool to assist in rigorous IS development, and provide meta-structures for the required links among B and IS UML concepts, in the context of existing translation rules and IS UML metamodels.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
J-R. Abrial. The B-Book. CUP, 1996.
J-R. Abrial. Event driven sequential program construction. In AFADL01: Approches Formelles dans l’Assistance au Développement des Logiciels, Nancy, France, June 2001.
J-R. Abrial and L. Mussat. Introducing dynamic constraints in B. In B98: Second International B Conference, Montpellier, France, volume 1393 of LNCS, pages 83–128. Springer Verlag, April 1998.
A. Clark, A. Evans, S. Kent, and P. Sammut. The MMFapproac h to engineering object-oriented design languages. In Workshop on Language Descriptions, Tools and Applications, LTDA2001, April 2001.
T. Clark and A. Evans. Foundations of the Unified Modeling Language. In Second Northern Formal Methods Workshop, volume 1241 of LNCS. Springer Verlag, 1997.
Rational Software Corporation. Rational Rose — Using Rational Rose 98. Rational Inc., 1998.
DIGILOG. Atelier B, Manuel de Référence. DIGILOG groupe STERIA, BP 16000, 13791 Aix-en-Provence Cedex 3, France, 1996.
D. F. D’Souza and A. C. Wills. Objects, Components and Frameworks in UML: the Catalysis Approach. Addison-Wesley, 1999.
P. Facon, R. Laleau, A. Mammar, and F. Polack. Formal specification of the UML metamodel for building rigorous CAiSE tools. Technical report, CEDRIC Laboratory, CNAM, September 1999.
P. Facon, R. Laleau, and H. P. Nguyen. Dérivation de spécifications formelles B á partir de spécifications semi-formelles de systèmes d’information. In 1st B Conference, Nantes, France, 1996.
P. Facon, R. Laleau, and H. P. Nguyen. FromOMT diagrams to B specifications. In M. Frappier and H. Habrias, editors, Software Speci.cation Methods. An Overview Using a Case Study, pages 57–77. Springer, 2000.
P. Facon, R. Laleau, H. P. Nguyen, and A. Mammar. Combining UML with the B formal method for the specification of database applications. Technical report, CEDRIC Laboratory, CNAM, September 1999.
R. B. France and M. M. Larrondo-Petrie. A two-dimensional view of integrated formal and informal specification techniques. In Ninth International Conference of Z Users, Limerick, Ireland, September 1995, volume 967 of LNCS, pages 434–448. Springer Verlag, 1995.
J-C. Freire Junior. Pouvoir d’expression de modèles orientés objet. Ingénierie des Systèmes d’Information, 4(2):219–237, 1996.
R. Laleau and A. Mammar. A generic process to refine a B specification into a relational database implementation. In Proceedings, ZB2000: Formal Specification and Development in Z and B, York, August-September 2000, volume 1878 of LNCS, pages 22–41. Springer Verlag, 2000.
R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UML notations. In ASE: 15th IEEE Conference on Automated Software Engineering, Grenoble, France. IEEE Computer Society Press, September 2000.
R. Laleau and F. Polack. Specification of integrity-preserving operations in information systems by using a formal UML-based language. Accepted for publication, Information and Software Technology, 2001.
Y. Ledru. Identifying preconditions with the Z/EVES theorem prover. In ASE: 13th IEEE Conference on Automated Software Engineering. IEEE Computer Society Press, October 1998.
B. Meyer. Object-oriented software construction. Prentice Hall, 1997.
E. Meyer and J. Souquières. A systematic approach to transform OMT diagrams to a B specification. In FM99, Toulouse, France, volume 1708 and 1709 of LNCS, pages 875–895. Springer Verlag, 1999.
F. Monge. Formalisation du méta modèle des méthodes graphiques d’analyse et conception orientèes objet. Master’s thesis, Institut d’Informatique d’Entreprise, Conservatoire National des Arts et Métiers, Evry, September 1997.
H. P. Nguyen. Dérivation de spécifications formelles B à partir de spécifications semi-formelles. PhD thesis, Laboratoire CEDRIC, Conservatoire National des Arts et Mètiers, Evry, December 1998. Available from http://www.iie.cnam.fr/~laleau/thesePHNguyen.ps-gz.
F. Polack. Exploring the informal translations of OMT object models in B. Technical report, University of York, forthcoming, 2001.
F. Polack and R. Laleau. A rigorous metamodel for UML static conceptual modelling of information systems. In CAiSE2001: 13th International Conference on Advanced Information Systems Engineering, Interlaken, Switzerland, volume 2068 of LNCS. Springer Verlag, June 2001.
J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998.
L. T. Semmens, R. B. France, and T. W. G. Docker. Integrated structured analysis and formal specification techniques. The Computer Journal, 35(6):600–610, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Laleau, R., Polack, F. (2002). Coming and Going from UML to B: A Proposal to Support Traceability in Rigorous IS Development. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds) ZB 2002:Formal Specification and Development in Z and B. ZB 2002. Lecture Notes in Computer Science, vol 2272. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45648-1_27
Download citation
DOI: https://doi.org/10.1007/3-540-45648-1_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43166-4
Online ISBN: 978-3-540-45648-3
eBook Packages: Springer Book Archive