Mapping visual notations to MOF compliant models with QVT relations

ABSTRACT

Model-centric methodologies rely on the definition of domain-specific modeling languages for being able to create domain-specific models. With MOF the OMG adopted a standard which provides the essential constructs for the definition of semantic language constructs (abstract syntax). However, there are no specifications on how to define the notations (concrete syntax) for abstract syntax elements. Usually, the concrete syntax of MOF compliant languages is described informally.

We propose to define MOF-based metamodels for abstract syntax and concrete syntax and to connect them by model transformations specified with QVT Relations in a flexible, declarative way. Using a QVT based transformation engine one can easily implement a Model View Controller architecture by integrating modeling tools and metadata repositories

REFERENCES

• 1: OMG: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification, Final Adopted Specification (OMG Document ptc/05-11-01), November 2005.
• 2: OMG: OCL 2.0 Specification Version 2.0 (OMG Document ptc/2005-06-06), June 2005.
• 3: OMG: Meta Object Facility Core Specification, Version 2.0 (OMG Document formal/06-01-01), January 2006.
• 4: Arie van Deursen , Paul Klint, Little languages: little maintenance, Journal of Software Maintenance: Research and Practice, v.10 n.2, p.75-92, March-Arpil 1998 [doi>10.1002/(SICI)1096-908X(199803/04)10:2<75::AID-SMR168>3.0.CO;2-5 ]
• 5: Arie van Deursen , Paul Klint , Joost Visser, Domain-specific languages: an annotated bibliography, ACM SIGPLAN Notices, v.35 n.6, p.26-36, June 2000 [doi>10.1145/352029.352035]
• 6: Clark T., Evans A., Kent S., and Sammut P. The MMF Approach to Engineering Object-Oriented Design Languages. In Workshop on Language Descriptions, Tools and Applications, 2001.
• 7: D. Akehurst et al. OCL 2.0: Implementing the Standard. Technical report, Computer Laboratory, University of Kent, 2003.
• 8: F. Fondement, Thomas Baar. Making Metamodels Aware of Concrete Syntax. In Proceedings of the ECMDA-FA, Nuremberg, Germany, November 2005, October 2005.
• 9: Richard B. Kieburtz , Laura McKinney , Jeffrey M. Bell , James Hook , Alex Kotov , Jeffrey Lewis , Dino P. Oliva , Tim Sheard , Ira Smith , Lisa Walton, A software engineering experiment in software component generation, Proceedings of the 18th international conference on Software engineering, p.542-552, March 25-29, 1996, Berlin, Germany
• 10: R. Bardohl. GENGED: Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD thesis, Technical University Berlin, 1999.
• 11: OMG: Unified Modeling Language: Infrastructure, Version 2.0 (OMG Document formal/05-07-05), March 2006.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.12 Interoperability

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.1 Formal Definitions and Theory
      D.3.2 Language Classifications

General Terms:
Languages, Standardization

Keywords:
OCL, QVT relations, domain specific languages, model transformation, visual languages