MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations

  • C. Amelunxen
  • A. Königs
  • T. Rötschke
  • A. Schürr
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4066)

Abstract

The crucial point in Model Driven Architecture (MDA) is that software and system development are based on abstract models that are successively transformed into more specific models, ideally resulting in the desired system. To this end, developers must be enabled to model different aspects like structure, behavior, consistency constraints of the system. This results in a variety of related models, which in turn need tool support on the metalevel. However, there is a lack of tools offering uniform support for metamodel definition, analysis, transformation, and integration. In this paper we present the metamodeling framework MOFLON that addresses these issues by bringing together the latest OMG standards with graph transformations and their formal semantics. MOFLON provides a combination of visual and textual notations and offers powerful modularization concepts. Using MOFLON, developers can generate code for specific tools needed to perform the desired modeling tasks.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Object Management Group: Meta Object Facility (MOF) Core Specification (2006) formal/06-01-01Google Scholar
  2. 2.
    Amelunxen, Bichler, Schürr: Codegenerierung für Assoziationen in MOF 2.0. In: Proc. Modellierung 2004, Marburg, Germany, pp. 149–168 (2004) (in German)Google Scholar
  3. 3.
    Rötschke, T.: Re-engineering a Medical Imaging System Using Graph Transformations. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 185–201. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  4. 4.
    Altheide, F., et al.: An Architecture for a Sustainable Tool Integration. In: Dörr, Schürr (eds.) TIS 2003 Workshop on Tool Integration in System Development, pp. 29–32 (2003)Google Scholar
  5. 5.
    Dirckze, R.: JavaTM Metadata Interface (JMI) Specification, Version 1.0. Unisys. (2002)Google Scholar
  6. 6.
    Matula, M.: NetBeans Metadata Repository. SUN Microsystems (2003)Google Scholar
  7. 7.
    Object Management Group: OCL 2.0 Specification (2005), ptc/2005-06-06Google Scholar
  8. 8.
    Löcher, S., Ocke, S.: A Metamodel-Based OCL-Compiler for UML and MOF. In: Schmitt, P. (ed.) Workshop Proc. OCL 2.0 - Industry standard or scientific playground? Electronic Notes in Theoretical Computer Science, vol. 102, pp. 43–61. Elsevier, Amsterdam (2004)Google Scholar
  9. 9.
    Zündorf, A.: Rigorous Object Oriented Software Development. University of Paderborn, Habilitation Thesis (2001)Google Scholar
  10. 10.
    Amelunxen, C., Rötschke, T., Schürr, A.: Graph Transformations with MOF 2.0. In: Giese, H., Zündorf, A. (eds.) Proc. 3rd International Fujaba Days 2005, Universität Paderborn, vol. tr-ri-05-259, pp. 25–31 (2005)Google Scholar
  11. 11.
    Geiger, L., Schneider, C., Reckord, C.: Template- and Modelbased Code Generation for MDA-Tools. In: 3rd International Fujaba Days 2005, Paderborn, Germany (2005)Google Scholar
  12. 12.
    Königs, A., Schürr, A.: Tool Integration with Triple Graph Grammars - A Survey. In: Heckel, R. (ed.) Proc. SegraVis School on Foundations of Visual Modelling Techniques. Electronic Notes in Theoretical Computer Science, vol. 148, pp. 113–150. Elsevier Science Publ., Amsterdam (2006)Google Scholar
  13. 13.
    Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOSL: Composing a Visual Language for a Metamodeling Framework. In: IEEE Symposium on Visual Languages and Human-Centric Computing (submitted, 2006)Google Scholar
  14. 14.
    Nagl, M.: Graph-Grammatiken. Vieweg Press, German (1979)MATHGoogle Scholar
  15. 15.
    Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)Google Scholar
  16. 16.
    Czarnecki, Helsen: Classification Of Model Transformation Approaches. In: 2nd OOPSLA Workshop on Generative Techniques in the context of Model Driven Architecture (2003), http://www.softmetaware.com/oopsla2003/czarnecki.pdf
  17. 17.
    Agrawal, A., Levendovszky, T., Sprinkle, J., Shi, F., Karsai, G.: Generative Programming via Graph Transformations in the Model Driven Architecture. In: Proc. Workshop on Generative Techniques in the Context of Model Driven Architecture (2002)Google Scholar
  18. 18.
    Schippers, H., Van Gorp, P., Janssens, D.: Levering UML Profiles to Generate Plugins from Visual Model Transformations. In: Proc. Software Evolution through Transformations, pp. 7–17 (2004)Google Scholar
  19. 19.
    Microsoft Corporation: Visual Studio 2005: Domain-Specific Language Tools (2006), http://msdn.microsoft.com/vstudio/DSLTools/
  20. 20.
    MetaCase: MetaEdit+®metaCASE tool (2006), http://www.metacase.com
  21. 21.
    Schürr, A., Winter, A., Zündorf, A.: PROGRES: Language and Environment, vol. 2, pp. 487–550. World Scientific, Singapore (1999)Google Scholar
  22. 22.
    Lawley, M., Steel, J.: Practical Declarative Model Transformation With Tefkat. In: Bézivin, J., Rumpe, B., Schürr, A., Tratt, L. (eds.) Proc. Workshop on Model Transformations in Practice (2005), http://sosym.dcs.kcl.ac.uk/events/mtip05/
  23. 23.
    The Eclipse Foundation: Eclipse Graphical Modeling Framework (2006), http://www.eclipse.org/gmf/
  24. 24.
    De Lara Jaramillo, J., Vangheluwe, H., Moreno, M.A.: Meta-modelling and Graph Grammars for Multi-Paradigm Modelling in AToM3. Software & Systems Modeling 3(3), 194–209 (2004)Google Scholar
  25. 25.
    Minas, M.: Concepts and Realization of a Diagram Editor Generator-based on Hypergraph Transformation. Science of Computer Programming 44, 157–180 (2002)MATHCrossRefGoogle Scholar
  26. 26.
    Böhlen, B., Jäger, D., Schleicher, A., Westfechtel, B.: UPGRADE: A Framework for Building Graph-Based Interactive Tools. In: Mens, T., Schürr, A., Taentzer, G. (eds.) Proc. International Workshop on Graph-Based Tools. Electronic Notes in Theoretical Computer Science, vol. 72(2) (2002)Google Scholar
  27. 27.
    Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Proc. Workshop on Model Transformations in Practice (2005)Google Scholar
  28. 28.
    Münch, M.: Generic Modelling with Graph Rewriting Systems. PhD thesis, RWTH Aachen (2002)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • C. Amelunxen
    • 1
  • A. Königs
    • 1
  • T. Rötschke
    • 1
  • A. Schürr
    • 1
  1. 1.Real-Time Systems LabDarmstadt University of Technology 

Personalised recommendations