A metamodel for the unified modeling language

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

Volumn 2460 LNCS, Issue , 2002, Pages 2-17

  Naumenko, Andrey ^a   Wegmann, Alain ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE DESIGN; SPECIFICATIONS;

META MODEL; MODEL-DRIVEN; MODELING PRACTITIONERS; UML METAMODEL; UML SPECIFICATIONS;

UNIFIED MODELING LANGUAGE;

EID: 79955150825     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45800-x_2     Document Type: Conference Paper

References (10)

1. ISO, ITU.: ISO/IEC 10746-1, 2, 3, 4 | ITU-T Recommendation X.901, X.902, X.903, X.904. "Open Distributed Processing - Reference Model". 1995-98.
2. Jackson D.: "Alloy: A Lightweight Object Modelling Notation". Technical Report 797, MIT Laboratory for Computer Science, Cambridge, MA, February 2000.
3. Naumenko, A.: "Triune Continuum Paradigm: a paradigm for General System Modeling and its applications for UML and RM-ODP". Ph.D thesis 2581, Swiss Federal Institute of Technology - Lausanne, June 2002. http://stella.epfl.ch/tcp/Naumenko-PhD-Thesis.pdf.
4. Naumenko, A., Wegmann, A.: "A Formal Foundation of the RM-ODP Conceptual Framework" EPFL-DSC technical report No. DSC/2001/040, EPFL, Switzerland, July 2001.
5. Naumenko, A., Wegmann, A.: "RM-ODP part 2: Foundations in Alloy". EPFL-DSC Technical report No. DSC/2001/041, EPFL, Switzerland, August 2001.
6. Naumenko, A., Wegmann, A., Genilloud, G., Frank, W. F.: "Proposal for a formal foundation of RM-ODP concepts". Proceedings of ICEIS 2001, WOODPECKER'2001, J. Cordeiro, H. Kilov (Eds.), Setúbal, Portugal, July 2001.
7. OMG: Unified Modeling Language Specification. Version 1.4, September 2001.
8. OMG: Introduction to OMG's Unified Modeling Language (UML™). January 2002, http://www.omg.org/gettingstarted/what-is-uml.htm.
9. Russell, B.: "Mathematical logic as based on the theory of types". American Journal of Mathematics, 30, 1908, pp. 222-262.
10. Tarski, A.: "Logic, Semantics, Meta-mathematics." Oxford University Press 1956.