A rigorous metamodel for UML static conceptual modelling of information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2068, Issue , 2001, Pages 402-416

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

^a CEDRIC IIE   (France)

^b UNIVERSITY OF YORK   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS; SPECIFICATIONS; SYSTEMS ENGINEERING;

CONCEPTUAL MODELLING; INFORMATION SYSTEMS DEVELOPMENT; META MODEL; OBJECT-ORIENTED SPECIFICATIONS; SYSTEMS SPECIFICATION;

INFORMATION SYSTEMS;

EID: 84931824468     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (25)

1. J-R. Abrial. The B-Book. CUP, 1996.
2. S. S. Alhir. Extending the Unified Modeling Language (UML). Technical report, January 1999. Available on line, http://home.earthlink.net/salhir/index.html.
3. J. Alvarez, A. Evans, and P. Sammut. MML and the metamodel architecture. In Workshop on Transformations in UML, Fourth European Joint Conference on Theory and Practice of Software (ETAPS’01), Genova, Italy, April 2001.
4. C. Atkinson and T Kühne. Strict profiles: Why and how. In UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of LNCS, pages 309–322. Springer Verlag, 2000.
5. J-M. Bruel and R.B. France. Transforming UML models to formal specifications. In UML’98, volume 1618 of LNCS. Springer Verlag, 1998.
6. A. Clark, A. Evans, S. Kent, S. Brodsky, and S. Cook. A feasibility study in rearchitecting UML as a family of languages using a precise OO meta-modeling approach. Technical report, pUML Group and IBM, September 2000. Available on line, http://www.cs.york.ac.uk/puml/papers/.
7. 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.
8. T. Clark and A. Evans. Foundations of the Unified Modeling Language. In Second Northern Formal Methods Workshop, volume 1241 of LNCS. Springer Verlag, 1997.
9. S. Cook. The UML family: Profiles, prefaces and packages. In UML 2000 - The Unified Modeling Language. Advancing the Standard, volume 1939 of LNCS, pages 255–264. Springer Verlag, 2000.
10. S. Cook, A. Kleppe, R. Mitchell, B. Rumpe, J. Warmer, and A. Wills. Defining UML family members using prefaces. In C. Mingins and B. Meyer, editors, Technology of Object-Oriented Languages and Systems, TOOLS’99 Pacific. IEEE Computer Society, 1999.
11. D. D’Souza, A. Sane, and A. Birchenough. First-class extensibility for UML - packaging of profiles, stereotypes and patterns. In UML 1999 - The Unified Modeling Language. Beyond the Standard, volume 1723 of LNCS. Springer Verlag, 1999.
12. 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.
13. P. Facon, R. Laleau, and H. P. Nguyen. FromOMT diagrams to B specifications. In M. Frappier and H. Habrias, editors, Software Specification Methods. An Overview Usinga Case Study, pages 57–77. Springer, 2000.
14. 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.
15. R. Laleau and N. Hadj-Rabia. Génération automatique de spécifications formelles VDM `a partir d’un schéma conceptuel de données. In INFORSIDS’95, Grenoble, France, June 1995.
16. 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.
17. R. Laleau and A. Mammar. An overview of a method and its support tool for generating B specifications from UML notations. In Proceedings 15th IEEE Int. Conf. on Automated Software Engineering (ASE2000), Grenoble, France, September, 2000., 2000.
18. F. Monge. Formalisation du méta mod`ele des méthodes graphiques d’analyse et conception orientées objet. Master’s thesis, IIE, CEDRIC Laboratory, CNAM, September 1997.
19. H. P. Nguyen. Dérivation de spécifications formelles B`a partir de spécifcations semi–formelles. PhD thesis, CEDRIC Laboratory, CNAM, December 1998.
20. S. H. Nienhuys-Cheng. Classification and syntax of constraints in binary semantical networks. Information Systems, 15(5), 1990.
21. Object Management Group. OMG Unified Modeling Language Specification(draft), April 1999. BetaR1 Release, available on line, www.rational.com/uml.
22. Rational Software Corporation. Unified Modeling Language version 1.1, July 1997. Available on line, www.rational.com/uml.
23. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Guide. Addison-Wesley, 1998.
24. M. Sahbani. Formalisation du relations de composition et d’agrégation des modéles sémantiques. Master’s thesis, IIE, CEDRIC Laboratoty, CNAM, September 1999.
25. 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.