论文信息 - On OCL as part of the metamodeling framework MOFLON

On OCL as part of the metamodeling framework MOFLON

The metamodeling framework MOFLON combines MOF 2.0, OCL 2.0 and graph transformations to generate sophisticated metamodel implementations. In this paper we describe the role of OCL in MOFLON. Furthermore, we present a set of constraints which corrects, completes and improves MOF 2.0 for the application as graph schema language.

Andy Schürr | Carsten Amelunxen

[1] Martin Gogolla,et al. Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report , 2004, UML.

[2] Lutz Bichler,et al. Codegeneratoren für MOF-basierte Modellierungssprachen , 2005 .

[3] Tobias Rötschke,et al. MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[4] Sten Loecher,et al. A Metamodel-Based OCL-Compiler for UML and MOF , 2004, Electron. Notes Theor. Comput. Sci..