MOF-Metamodels and Formal Languages
暂无分享,去创建一个
This chapter describes how to automatically translate MOF metamodels into NEREUS (Favre, 2005) (Favre, Martinez, & Pereira, 2005). We describe a bridge between MOF metamodels and NEREUS based on reusable schemes and a system of transformation rules. We consider MOF metamodels that are expressed by UML class diagrams, packages diagrams and OCL specifications. The text of a NEREUS specification is completed gradually. Figure 1 shows the main steps of this transformation. First, the signature and axioms are obtained by instantiating the reusable scheme BOX_. Next, associations are transformed by instantiating reusable schemes that exist in the component Association. Finally, OCL specifications are transformed using a set of transformation rules. Then, a specification that reflects all the information of UML diagrams is constructed. Following we describe the transformation of a basic package (that does not depend on others) including only classes and relationships. Following sections describe how to transform basic classes and associations. The transformation processes is supported by reusable schemes and a system of transformation rules for translating OCL specifications into NEREUS.
[1] Peter D. Mosses,et al. CASL User Manual: Introduction to Using the Common Algebraic Specification Language , 2004 .
[2] Liliana Favre,et al. Foundations for MDA-based Forward Engineering , 2005, J. Object Technol..
[3] Liliana Favre. A Formal Foundation for Metamodeling , 2009, Ada-Europe.
[4] Liliana Favre. A Rigorous Framework for Model-Driven Development , 2006 .