Using formal metamodels to check consistency of functional views in information systems specification

Information and Software Technology

Volumn 50, Issue 7-8, 2008, Pages 797-814

  Laleau, Régine ^a   Polack, Fiona ^b  

^a UNIVERSITÉ PARIS EST   (France)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

Formal notation; Information system design; Metamodel; Unified modelling language notation

Indexed keywords

DATA STRUCTURES; FORMAL LANGUAGES; MATHEMATICAL MODELS; METADATA; UNIFIED MODELING LANGUAGE;

FORMAL NOTATION; MAPPING RULES; METAMODELS; UNIFIED MODELLING LANGUAGE NOTATION;

INFORMATION SYSTEMS;

EID: 42649122312     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2007.10.007     Document Type: Article

References (29)

1. Abrial J.-R. The B-Book: Assigning Programs to Meanings (1996), Cambridge University Press, Cambridge
2. J.-R. Abrial, D. Cansell, Click'n Prove: Interactive Proofs within Set Theory, in: TPHOLs, Roma, Italy, Volume 2758 of LNCS, Springer-Verlag, 2003.
3. F. Badeau, A. Amelot, Using B as a High Level Programming Language in an Industrial Project: Roissy VAL, in: ZB 2005: Formal Specification and Development in Z and B: 4th International Conference of B and Z Users, Guildford, UK, Volume 3455 of LNCS, Springer-Verlag, 2005.
4. Clearsy, Atelier B, http://www.atelierb.societe.com.
5. S. Dupuy, Y. Ledru, M. Chabre-Peccoud, An overview of RoZ: a tool for integrating UML and Z specifications, in: 12th International Conference Advanced Information Systems Engineering (CAiSE'00), Volume 1789 of LNCS, Springer-Verlag, 2000.
6. A. Hall, Using Z as a specification calculus for object-oriented systems, in: VDM'90, 3rd International Conference, Kiel, Germany, Volume 428 of LNCS. Springer-Verlag, 1990.
7. S.K. Kim, D. Carrington, Formalizing the UML class diagram using OBJECT-Z, In UML99, Volume 1723 of LNCS, Springer-Verlag, 1999.
8. R. Laleau, On the interest of combining UML with the B formal method for the specification of database applications, in: ICEIS2000, 2nd International Conference on Enterprise Information Systems, Stafford, UK, July 2000.
9. Laleau R., and Mammar A. An overview of a method and its support tool for generating B specifications from UML notations. ASE: 15th IEEE Conference on Automated Software Engineering (2000), IEEE Computer Society Press, Grenoble, France
10. R. Laleau, F. Polack, 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.
11. Laleau R., and Polack F. Specification of integrity-preserving operations in information systems by using a formal UML-based language. Information and Software Technology 43 (2001) 693-704
12. R. Laleau, F. Polack, Coming and going from UML to B: a proposal to support traceability in rigorous IS development, in: ZB2002, Formal Specification and Development in B and Z, 2nd International Conference of B and Z Users, Grenoble, France, Volume 2272 of LNCS, Springer-Verlag, January 2002.
13. R. Laleau, Conception et développement formels d'applications bases de données, Habilitation Thesis, CEDRIC Laboratory, France, 2002, Available at www.univ-paris12.fr/lacl/laleau/.
14. H. Ledang, J. Souquieres, Modeling class operations in B: application to UML behavioral diagrams, in: The Sixteenth IEEE International Conference on Automated Software Engineering (ASE'01), IEEE Computer Society, 2001.
15. A. Mammar, R. Laleau, Design of an automatic prover dedicated to the refinement of database applications, in: FM03, The 12th International FME Symposium, Pisa, Italy, Volume 2805 of LNCS, Springer-Verlag, September 8-14, 2003.
16. Mammar A., and Laleau R. From a B formal specification to an executable code: application to the relational database domain. Information and Software Technology 48 4 (2006)
17. Mammar A., and Laleau R. UB2SQL: a tool for building database applications using UML and B formal method. Journal of Database Management 17 4 (2006) 70-89
18. Marcano R., and Levy N. Transformation rules of OCL constraints into B formal expressions. In: Jurjens J., Cengarle M.V., Fernandez E.B., Rumpe B., and Sandner R. (Eds). Critical Systems Development with UML. Proceedings of the UML'02 workshop (2002), Technische Universitat Munchen, Institut fur Informatik 155-162
19. Modelware: http://www.modelware-ist.org/index.php.
20. MOF Core Specification 2.0 http://www.omg.org/cgi-bin/apps/doc?formal/06-01-01.pdf, January 2006.
21. H.P. Nguyen, Dérivation de spécifications formelles B à partir de spécifications semi-formelles, PhD thesis, CEDRIC Laboratory, CNAM, Dec 1998, available from: www.univ-paris12.fr/lacl/laleau/.
22. Object Management Group, Action Semantics for the UML, doc ad/2001-08-04, available from: http://www.kabira.com/as/.
23. R.F. Paige, P.J. Brooke, J.S. Ostroff, Agile development of a metamodel in Eiffel, in: Fifteenth IEEE International Symposium on Software Reliability Engineering, St-Malo, France, November 2004.
24. Paige R.F., Brooke P.J., and Ostroff J.S. Metamodel-based model conformance and multiview consistency checking. ACM Transactions on Software Engineering and Methodology 16 3 (2007)
25. Rational Rose, http://www.rational.com, 2003.
26. Rumbaugh J., Jacobson I., and Booch G. The UML Reference Manual (1999), Addison-Wesley
27. Snook C., and Butler M. UML-B: formal modelling and design aided by UML. ACM Transactions on Software Engineering and Methodology 15 1 (2006) 92-122
28. H. Treharne, Supplementing a UML development process with B, in: FME02: Formal Methods Europe, Copenhagen, Denmark, Volume 2391 of LNCS, Springer-Verlag, July 2002.
29. Warmer J., and Kleppe A. The object constraint language. 2nd ed. Getting Your Models Ready for MDA (2003), Addison-Wesley