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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berge, C.: Graphs and Hypergraphs. Elsevier Science Ltd., Amsterdam (1985)
Blomer, J., Geiß, R.: The GrGen.NET User Manual. University of Karlsruhe, Technical report, ISSN 1432-7864 (2007)
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)
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3) (2006)
Denninger, O.: Erweiterung des Kantenkonzepts deklarativer Graphersetzungssysteme von Einfachkanten über Hyperkanten zu, Superkanten. Diplomarbeit, Universität Karlsruhe (2007)
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)
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)
Holt, R., Schürr, A., Elliott, S., Winter, A.: GXL: A graph-based standard exchange format for reengineering. Science of Computer Programming (2005)
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)
Minas, M.: Concepts and realization of a diagram editor generator based on hypergraph transformation. Science of Computer Programming 44, 157–180 (2002)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)
OMG: Unified Modeling Language: Superstructure, version 2.1.1 (2007)
Fujaba Tool Suite. University of Paderborn Software Engineering Group
GenSet: Design Information Fusion. University of Oregon
GRAS – A graph oriented database system for (software) engineering environments. Lehrstuhl für Informatik 3, University of Technology Aachen (RWTH)
GReAT – Graph Rewrite and Transform System. Institute for Software Integrated Systems, Vanderbilt University, Nashville
GROOVE – GRaphs for Object-Oriented VErification. University of Twente
OGRE – OmniGraphREwriting System. Institute for Program Structures and Data Organization (IPD), University of Karlsruhe (2007) http://sf.net/projects/ogre-system/
PROGRES – A Graph Grammar Programming Environment. Lehrstuhl für Informatik 3, University of Technology Aachen (RWTH)
VIATRA – Visual Automated model Transformations. Dept. of Measurement and Information Systems, Budapest University of Technology and Economics
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Denninger, O., Gelhausen, T., Geiß, R. (2008). Applications and Rewriting of Omnigraphs – Exemplified in the Domain of MDD. In: Schürr, A., Nagl, M., Zündorf, A. (eds) Applications of Graph Transformations with Industrial Relevance. AGTIVE 2007. Lecture Notes in Computer Science, vol 5088. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-89020-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-89020-1_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-89019-5
Online ISBN: 978-3-540-89020-1
eBook Packages: Computer ScienceComputer Science (R0)