Formal definition of MOF 2.0 metamodel components and composition

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

Volumn 5301 LNCS, Issue , 2008, Pages 386-400

  Weisemöller, Ingo ^a   Schürr, Andy ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

Metamodeling; MOF 2.0; Reusability; Software components

Indexed keywords

COMPUTER SOFTWARE REUSABILITY; LINGUISTICS; MODELS; MODULAR CONSTRUCTION; REUSABILITY; SPECIFICATIONS;

ABSTRACT SYNTAXES; COMPONENT COMPOSITIONS; FORMAL DEFINITIONS; GRAPH MORPHISMS; INFORMATION HIDINGS; LANGUAGE DESCRIPTIONS; META OBJECTS; METAMODELING; MODULARIZATION; MOF 2.0; SOFTWARE COMPONENTS; SUBLANGUAGES;

QUERY LANGUAGES;

EID: 56649095658     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87875-9_28     Document Type: Conference Paper

References (11)

1. Amelunxen, C., Schürr, A.: Formalizing Model Transformation Rules for UML/MOF 2. IET Software Journal (accepted for publication, 2007)
2. Amlio, N., Stepney, S., Polack, F.: A Formal Template Language Enabling Metaproof. In: Misra, J., Nipkow, T., Sekerinski, E. (eds.) FM 2006. LNCS, vol. 4085, pp. 252-267. Springer, Heidelberg (2006)
3. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Springer, Heidelberg (1990)
4. Emerson, M., Sztipanovits, J.: Techniques for metamodel composition. In: OOP-SLA - 6th Workshop on Domain Specific Modeling, pp. 123-139 (October 2006)
5. Krahn, H., Rumpe, B., Völkel, S.: Efficient Editor Generation for Compositional DSLs in Eclipse. In: Proceedings of the 7th OOPSLA Workshop on Domain-Specific Modeling (DSM 2007), Montreal, Quebec, Canada (2007)
6. Object Management Group, Inc. Unified Modeling Language: Infrastructure(July 2005), http://doc.omg.org/formal/2005-07-05.pdf
7. Object Management Group. Inc. Unified Modeling Language: Superstructure (July 2005), http://doc.omg.org/formal/2005-07-04.pdf
8. Object Management Group, Inc. Meta Object Facility (MOF) Core Specification (January 2006), http://doc.omg.org/formal/2006-01-01.pdf
9. Object Management Group, Inc. Object Constraint Language (May 2006), http://doc.omg.org/formal/06-05-01.pdf
10. Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication-Based Systems. PhD thesis, Technische Universität Berlin (1996)
11. Winter, A.: Referenz-Metaschema für visuelle Modellierungssprachen. Deutscher Universitätsverlag, Wiesbaden, Dissertation (in german), Institut für Informatik. Universität Koblenz-Landau (2000)