Transformation of Typed Composite Graphs with Inheritance and Containment Structures

Model-driven development (MDD) has become a promising trend in software engineering. The model-driven development of highly complex software systems may lead to large models which deserve a modularization concept to enable their structured development in larger teams. Graphs are a natural way to represent the underlying structure of visual models. Typed graphs with inheritance and containment structures are well suited to describe the essentials of models based on the Eclipse Modeling Framework (EMF). Composite graphs can specify the logical distribution of EMF models and therefore, can form the conceptual basis for composite modeling in model-driven development. This is done based on the formal foundation of distributed graphs. Moreover, this category-theoretical foundation allows for the precise definition of consistent composite graph transformations satisfying all inheritance and containment conditions.

[1]  Gabriele Taentzer,et al.  Towards Composite Model Transformations Using Distributed Graph Transformation Concepts , 2009, MoDELS.

[2]  Sabine Kuske,et al.  Distributed Graph Transformation Units , 2002, ICGT.

[3]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[4]  Pierre Kelsen,et al.  A Modular Model Composition Technique , 2010, FASE.

[5]  Hartmut Ehrig,et al.  A Generic Component Framework for System Modeling , 2002, FASE.

[6]  Hartmut Ehrig,et al.  Categorical Foundations of Distributed Graph Transformation , 2006, ICGT.

[7]  Hartmut Ehrig,et al.  Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings , 2006, ICGT.

[8]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[9]  Berthold Hoffmann,et al.  Hierarchical Graph Transformation , 2002, J. Comput. Syst. Sci..

[10]  Gabriele Taentzer,et al.  ViewPoint-oriented software development by distributed graph transformation: towards a basis for living with inconsistencies , 1999, Proceedings IEEE International Symposium on Requirements Engineering (Cat. No.PR00188).

[11]  Siobhán Clarke,et al.  Extending standard UML with model composition semantics , 2002, Sci. Comput. Program..

[12]  Hartmut Ehrig,et al.  Attributed graph transformation with node type inheritance , 2007, Theor. Comput. Sci..

[13]  Gabriele Taentzer,et al.  A Component Concept for Typed Graphs with Inheritance and Containment Structures , 2010, ICGT.

[14]  Jacky Estublier,et al.  Extending UML for model composition , 2005, 2005 Australian Software Engineering Conference.

[15]  Sándor Juhász,et al.  A distribution technique for graph rewriting and model transformation systems , 2007, Parallel and Distributed Computing and Networks.

[16]  Ulrike Ranger,et al.  Search Trees for Distributed Graph Transformation Systems , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[17]  Gabriele Taentzer,et al.  Precise Semantics of EMF Model Transformations by Graph Transformation , 2008, MoDELS.

[18]  Roberto Bruni,et al.  An Algebra of Hierarchical Graphs , 2010, TGC.

[19]  Benjamin C. Pierce,et al.  Basic category theory for computer scientists , 1991, Foundations of computing.

[20]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science. An EATCS Series) , 1992 .

[21]  Frank Budinsky,et al.  EMF: Eclipse Modeling Framework 2.0 , 2009 .

[22]  Hartmut Ehrig,et al.  Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks , 2009, FASE.

[23]  Hartmut Ehrig,et al.  Fundamentals of Algebraic Graph Transformation , 2006, Monographs in Theoretical Computer Science. An EATCS Series.

[24]  Hartmut Ehrig,et al.  Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories , 2006, Fundam. Informaticae.

[25]  Steffen Zschaler,et al.  On Language-Independent Model Modularisation , 2009, LNCS Trans. Aspect Oriented Softw. Dev..

[26]  Ralf-Detlef Kutsche,et al.  Fundamental approaches to software engineering : 5th International Conference, FASE 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings , 2002 .