Core meta-modelling semantics of UML: The pUML approach

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

Volumn 1723, Issue , 1999, Pages 140-155

  Evans, Andy ^a   Kent, Stuart ^b  

^a UNIVERSITY OF YORK   (United Kingdom)

^b UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

SEMANTICS;

DENOTATIONAL SEMANTICS; DEVELOPMENT TECHNIQUE; FORMAL ANALYSIS; FORMALISATION STRATEGIES; INTERNATIONAL GROUP; PRECISE DEFINITION; SEPARATION OF CONCERNS; WELL FORMEDNESS RULES;

UNIFIED MODELING LANGUAGE;

EID: 84947778414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46852-8_11     Document Type: Conference Paper

References (12)

1. A.S.Evans, R.B.France, K.C.Lano, and B.Rumpe, Towards a core meta mod-elling semantics of UML, Behavoral Specifications for Businesses and Sys-tems (Haim Kilov, ed.), Kluwer Press, 1999, To appear.
2. J-M. Bruel and R.B.France, Transforming UML models to formal specifica-tions, UML'98-Beyond the notation, LNCS 1618, Springer-Verlag, 1998.
3. G. Booch, J. Rumbaugh, and I. Jacobson, The Unified Modeling Language user guide, Addison-Wesley, 1998.
4. D. D'Souza and A.C.Wills, Objects, components and frameworks with UML, Object Technology Series, Addison-Wesley, 1998.
5. Andy Evans, Robert France, Kevin Lano, and Bernhard Rumpe, Developing the UML as a formal modelling notation,UML'98 Proceedings (Jean Bezivin and Pierre-Allain Muller, eds.), Springer-Verlag, LNCS 1618, 1998.
6. R. France, A. Evans, K. Lano, and B. Rumpe, The UML as a formal mod-eling notation, Computer Standards & Interfaces 19 (1998).
7. Object Management Group, OMG UnifuedModeling Language Specification, version 1.3beta. found at: http://www.omg.org, 1999.
8. ISO/IEC, Reference model of open distributed processing-part 1-5, ISO/IEC DIS 10746-1, Tech. report, 1996.
9. pG99. The pUML Group, The precise UML web site: http://www.cs.york.ac.uk/puml, 1999.
10. J. Rumbaugh, I. Jacobson, and G. Booch, The Unified Modeling Language reference manual, Addison-Wesley, 1999.
11. D. A. Schmidt, Denotational semantics: A methodology for language devel-opment, Allyn and Bacon, 1986.
12. J.M. Spivey, The Z reference manual, 2nd edition, Prentice Hall, 1992.