Transformation of Typed Composite Graphs with Inheritance and Containment Structures

• Autorzy: Jurack S. , Taentzer G.
• Języki publikacji: EN

Abstrakty

EN

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 modeldriven 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.

Słowa kluczowe

EN

graph transformation; distributed graph; composite modeling; model-driven development

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2012
• Tom: Vol. 118, nr 1-2
• Strony: 97--134
• Opis fizyczny: Bibliogr. 26 poz., wykr.

Twórcy

autor

Jurack S.

autor

Taentzer G.

• Department of Mathematics and Computer Science, Hans-Meerwein-Strasse, 35032 Marburg, Germany,

Bibliografia

• [1] Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: Advanced Concepts and Tools for In-Place EMF Model Transformation, Proc. of 13th Int. Conference on Model Driven Engineering Languages and Systems (MoDELS 2010), LNCS, Springer, 2010, 121-135.
• [2] Biermann, E., Ermel, C., Taentzer, G.: Precise Semantics of EMF Model Transformations by Graph Transformation, Model Driven Engineering Languages and Systems, 11th International Conference, MoDELS 2008, Toulouse, France, September 28 - October 3, 2008. Proceedings (K. Czarnecki, I. Ober, J.-M. Bruel, A. Uhl, M. Völter, Eds.), 5301, Springer, 2008, 53-67.
• [3] Bruni, R., Gadducci, F., Lluch-Lafuente, A.: An Algebra of Hierarchical Graphs, Trustworthly Global Computing - 5th International Symposium, TGC 2010, Munich, Germany, February 24-26, 2010, Revised Selected Papers, 6084, Springer, 2010, 205-221.
• [4] Clarke, S.: Extending standard UML with model composition semantics, Sci. Comput. Program., 44(1), 2002, 71-100.
• [5] Drewes, F., Hoffmann, B., Plump, D.: Hierarchical Graph Transformation, J. Comput. Syst. Sci., 64(2), 2002, 249-283.
• [6] Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories, Fundam. Inform., 74(1), 2006, 31-61.
• [7] Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation, Monographs in Theoretical Computer Science. An EATCS Series, Springer, 2006.
• [8] Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M.: A Generic Component Framework for System Modeling, 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, 2306, Springer, 2002, 33-48.
• [9] Ehrig, H., Orejas, F., Prange, U.: Categorical Foundations of Distributed Graph Transformation, Graph Transformations, Third International Conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings (A. Corradini, H. Ehrig, U. Montanari, L. Ribeiro, G. Rozenberg, Eds.), 4178, Springer, 2006, 215-229.
• [10] EMF: Eclipse Modeling Framework, http://www.eclipse.com/emf, 2010.
• [11] Estublier, J., Ionita, A. D.: Extending UML for Model Composition, 16th Australian Software Engineering Conference (ASWEC 2005), 31 March - 1 April 2005, Brisbane, Australia, IEEE Computer Society, 2005, 31-38.
• [12] Goedicke, M., Meyer, T., Taentzer, G.: View Point-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies, Proc. 4th IEEE Int. Symposium on Requirements Engineering (RE'99), June 7-11, 1999, University of Limerick, Ireland, IEEE Computer Society, 1999, 92-99, ISBN 0-7695-0188-5.
• [13] Heidenreich, F., Henriksson, J., Johannes, J., Zschaler, S.: On Language-Independent Model Modularisation, T. Aspect-Oriented Software Development VI, 2009, 39-82.
• [14] Henshin: http://www.eclipse.org/modeling/emft/henshin, 2010.
• [15] Hermann, F., Ehrig, H., Ermel, C.: Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks, Proc. International Conference on Fundamental Aspects of Software Engineering (FASE'09) (M. Wirsing, M. Chechik, Eds.), 5503, Springer, 2009, ISBN 978-3-642-00592-3, 325-339.
• [16] Jurack, S., Taentzer, G.: Towards Composite Model Transformations Using Distributed Graph Transformation Concepts, Proc. of 12th Int. Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, USA (A. Schürr, B. Selic, Eds.), 5795, Springer, 2009, 226-240.
• [17] Jurack, S., Taentzer, G.: A Component Concept for Typed Graphs with Inheritance and Containment Structures, Proc. of 5th Int. Conference on Graph Transformation (ICGT 2010), Enschede, LNCS, Springer, 2010, 187-202.
• [18] Kelsen, P., Ma, Q.: A Modular Model Composition Technique, Proc. of 13th Int. Conference on Fundamental Approaches to Software Engineering, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, 2010, 6013, Springer, 2010, 173-187.
• [19] Knirsch, P., Kuske, S.: Distributed Graph Transformation Units, Proc. of 1st Int. Conference on Graph Transformation, ICGT 2002, Barcelona, Spain (A. Corradini, H. Ehrig, H.-J. Kreowski, G. Rozenberg, Eds.), 2505, Springer, 2002, 207-222.
• [20] de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance, Theor. Comput. Sci., 376(3), 2007, 139-163.
• [21] Mezei, G., Juhasz, S., Levendovsky, T.: A distribution technique for graph rewriting and model transformation systems, Proc. of the IASTED Int. Conference on Parallel and Distributed Computing Networks (H. Burkhart, Ed.), IASTED/ACTA Press, 2007, ISBN 978-0-88986-639-3, 63-68.
• [22] OMG: Meta Object Facilities 2.0 Specification, http://www.omg.org/spec/MOF/2.0/, 2010.
• [23] Pierce, B. C.: Basic Category Theory for Computer Scientists, MIT Press, 1991.
• [24] Ranger, U., Lüstraeten, M.: Search Trees for Distributed Graph Transformation Systems, Electronic Communication of the EASST, 4, 2006.
• [25] Steinberg, D., Budinsky, F., Patenostro, M., Merks, E.: EMF: Eclipse Modeling Framework, 2nd Edition, Addison Wesley, 2008.
• [26] Taentzer, G.: Parallel and Distributed Graph Transformation: Formal Description and Application to Communication Based Systems, Ph.D. Thesis, Technical University of Berlin, 1996.