Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD

  • Oliver Denninger
  • Tom Gelhausen
  • Rubino Geiß
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5088)

Abstract

Graph rewrite systems provide only elementary primitives – many applications require more complex structures though. We present a rewrite system for omnigraphs, a formal extension of hypergraphs with the ability to connect multiple nodes and edges with a single edge. We exemplify the adequacy of this approach in the domain of Model Driven Development (MDD): Using our system trivializes the representation and transformation of advanced UML structures that are awkward to handle with common approaches.

Keywords

Graph rewriting hypergraph omnigraph supergraph 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Berge, C.: Graphs and Hypergraphs. Elsevier Science Ltd., Amsterdam (1985)MATHGoogle Scholar
  2. 2.
    Blomer, J., Geiß, R.: The GrGen.NET User Manual. University of Karlsruhe, Technical report, ISSN 1432-7864 (2007)Google Scholar
  3. 3.
    Conrad, M., Gajewsky, M., Holl-Biniasz, R., Rudolf, M., Demuth, J., Weber, S., Heckel, R., Müller, J., Taentzer, G., Wagner, A.: Graphische Spezifikation ausgewählter Teile von AGG – einem algebraischen Graphgrammatiksystem, Technical report, no. 95-07, TU Berlin (1995)Google Scholar
  4. 4.
    Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3) (2006)Google Scholar
  5. 5.
    Denninger, O.: Erweiterung des Kantenkonzepts deklarativer Graphersetzungssysteme von Einfachkanten über Hyperkanten zu, Superkanten. Diplomarbeit, Universität Karlsruhe (2007)Google Scholar
  6. 6.
    Geiß, R., Batz, G.V., Grund, D., Hack, S., Szalkowski, A.M.: A Fast SPO-Based Graph Rewriting Tool. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 383–397. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Gelhausen, T., Tichy, W.F.: Thematic Role based Generation of UML Models from Real World Requirements. In: First IEEE International Conference on Semantic Computing (ICSC), pp. 282–289 (2007)Google Scholar
  8. 8.
    Holt, R., Schürr, A., Elliott, S., Winter, A.: GXL: A graph-based standard exchange format for reengineering. Science of Computer Programming (2005)Google Scholar
  9. 9.
    Minas, M.: Hypergraphs as a Uniform Diagram Representation Model, TAGT. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 281–295. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  10. 10.
    Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming 44, 157–180 (2002)CrossRefMATHGoogle Scholar
  11. 11.
    Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)MATHGoogle Scholar
  12. 12.
    OMG: Unified Modeling Language: Superstructure, version 2.1.1 (2007)Google Scholar
  13. 13.
    Fujaba Tool Suite. University of Paderborn Software Engineering GroupGoogle Scholar
  14. 14.
    GenSet: Design Information Fusion. University of OregonGoogle Scholar
  15. 15.
    GRAS – A graph oriented database system for (software) engineering environments. Lehrstuhl für Informatik 3, University of Technology Aachen (RWTH)Google Scholar
  16. 16.
    GReAT – Graph Rewrite and Transform System. Institute for Software Integrated Systems, Vanderbilt University, NashvilleGoogle Scholar
  17. 17.
    GROOVE – GRaphs for Object-Oriented VErification. University of TwenteGoogle Scholar
  18. 18.
    OGRE – OmniGraphREwriting System. Institute for Program Structures and Data Organization (IPD), University of Karlsruhe (2007) http://sf.net/projects/ogre-system/
  19. 19.
    PROGRES – A Graph Grammar Programming Environment. Lehrstuhl für Informatik 3, University of Technology Aachen (RWTH)Google Scholar
  20. 20.
    VIATRA – Visual Automated model Transformations. Dept. of Measurement and Information Systems, Budapest University of Technology and EconomicsGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Oliver Denninger
    • 1
  • Tom Gelhausen
    • 1
  • Rubino Geiß
    • 1
  1. 1.Institute for Program Structures and Data Organization (IPD)University of Karlsruhe (TH)Germany

Personalised recommendations