Towards a compositional approach to model transformation for software development

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Towards a compositional approach to model transformation for software development

Full text

Pdf (392 KB)

Source

Symposium on Applied Computing archive
Proceedings of the 2009 ACM symposium on Applied Computing table of contents

Honolulu, Hawaii

SESSION: Software engineering track table of contents

Pages 468-475

Year of Publication: 2009

ISBN:978-1-60558-166-8

Authors

Soichiro Hidaka	National Institute of Informatics, Tokyo, Japan
Zhenjiang Hu	National Institute of Informatics, Tokyo, Japan
Hiroyuki Kato	National Institute of Informatics, Tokyo, Japan
Keisuke Nakano	The University of Electro-Communications, Tokyo, Japan

Sponsor

SIGAPP: ACM Special Interest Group on Applied Computing

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 11, Downloads (12 Months): 59, Citation Count: 0

Additional Information:

abstract references index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/1529282.1529383 What is a DOI?

ABSTRACT

Model transformation plays an important role in model-driven software development that aims to introduce significant efficiencies and rigor to the theory and practice of software development. Although models may have different notations and representations, they are basically graphs, and model transformations are thus nothing but graph transformations. Despite a large amount of theoretical work and a lot of experience with research prototypes on graph-based model transformations, it remains an open issue how to compose model transformations. In this paper, we report our first attempt at a compositional framework for graph-based model transformations using the graph querying language UnQL. The main idea of UnQL is that graph queries are fully captured by structural recursion that is suitable for efficient composition. We show that the idea can be applied to graph-based model transformations. We have implemented a prototype of the framework and tested it with several nontrivial examples. Our new framework supports systematic development of model transformation "in the large" with the advantage that it can automatically remove inefficiencies arising from their composition.

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Z. M. Ariola and J. W. Klop. Equational term graph rewriting. In 704, page 55. Centrum voor Wiskunde en Informatica (CWI), ISSN 0169-118X, 30 1995.
	2	ATLAS group. KM3: Kernel MetaMetaModel manual. http://www.eclipse.org/gmt/at1/doc/.
	3	J. Bezivin, B. Rumpe, and T. L. Schürr A. Model transformation in practice workshop announcement. In MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005). Springer-Verlag, 2005. http://sosym.dcs.kcl.ac.uk/events/mtip/.
	4	E. Börger, A. Gargantini, and E. Riccobene, editors. Abstract State Machines, Advances in Theory and Practice, 10th International Workshop, ASM 2003, Taormina, Italy, March 3--7, 2003, Proceedings, volume 2589 of LNCS. Springer, 2003.
	5	P. Buneman, S. Davidson, M. Fernandez, and D. Suciu. Adding structure to unstructured data. Technical Report MS-CIS-96-21, University of Pennsylvania, 1996.
	6	Peter Buneman , Mary Fernandez , Dan Suciu, UnQL: a query language and algebra for semistructured data based on structural recursion, The VLDB Journal — The International Journal on Very Large Data Bases, v.9 n.1, p.76-110, March 2000 [doi>10.1007/s007780050084]
	7	Andrea Corradini , Fabio Gadducci, A 2-Categorical Presentation of Term Graph Rewriting, Proceedings of the 7th International Conference on Category Theory and Computer Science, p.87-105, September 04-06, 1997
	8	K. Czarnecki and S. Helsen. Classification of model transformation approaches. In Workshop on Generative Techniques in the Context of Model-Driven Architecture, 2003.
	9	H. Ehrig, K. Ehrig, G. Taentzer, J. de Lara, D. Varró, and S. Varró-Gyapay. Termination criteria for model transformation. In J. R. Cordy, R. Lämmel, and A. Winter, editors, Transformation Techniques in Software Engineering, volume 05161 of Dagstuhl Seminar Proceedings. Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005.
	10	K. Ehrig, E. Guerra, J. de Lara, L. Lengyel, T. Levendovszky, U. Prange, G. Taentzer, D. Varró, and S. Varró-Gyapay. Model transformation by graph transformation: A comparative study. In MTiP 2005, International Workshop on Model Transformations in Practice (Satellite Event of MoDELS 2005). Springer-Verlag, 2005.
	11	David Frankel, Model Driven Architecture: Applying MDA to Enterprise Computing, John Wiley & Sons, Inc., New York, NY, 2002
	12	H. Giese and R. Wagner. Incremental model synchronization with triple graph grammars. In O. Nierstrasz, J. Whittle, D. Harel, and G. Reggio, editors, Models '06: Proc. of the 9th International Conference on Model Driven Engineering Languages and Systems, volume 4199 of LNCS, pages 543--557. Springer Verlag, October 2006.
	13	R. Giugno and D. Shasha. Graphgrep: A fast and universal method for querying graphs, 2002.
	14	L. Grunske, L. Geiger, and M. Lawley. A graphical specification of model transformation of model transformations with triple graph grammars, 2005.
	15	S. Hidaka, Z. Hu, H. Kato, and K. Nakano. Towards compositional approach to model transformations for software development. Technical Report GRACE-TR08-01, GRACE Center, National Institute of Informatics, Aug. 2008.
	16	F. Jouault and I. Kurtev. Transforming models with ATL. In Proceedings of Satellite Events at the MoDELS 2005 Conference, volume 3844 of LNCS, pages 128--138. Springer, 2006.
	17	A. Konigs and A. Schurr. Tool integration with triple graph grammars - a survey. Electronic Notes in Theoretical Computer Science, 148(1): 113--150, February 2006.
	18	L. Lengyel, T. Levendovszky, G. Mezei, and H. Charaf. Model transformation with a visual control flow language. International Journal of Computer Science (IJCS), 1(1): 45--53, 2006.
	19	OMG. MOF QVT final adopted specification. http://www.omg.org/docs/ptc/05-11-01.pdf, 2005.
	20	T. W. Pratt. Pair grammars, graph languages and string-to-graph translations. J. Comput. Syst. Sci., 5(6): 560--595, 1971.
	21	Grzegorz Rozenberg, Handbook of graph grammars and computing by graph transformation: volume I. foundations, World Scientific Publishing Co., Inc., River Edge, NJ, 1997
	22	A Graph Query Language and Its Query Processing, Proceedings of the 15th International Conference on Data Engineering, p.572, March 23-26, 1999
	23	G. Taentzer. AGG: A graph transformation environment for modeling and validation of software. In J. L. Pfaltz, M. Nagl, and B. Böhlen, editors, AGTIVE, volume 3062 of LNCS, pages 446--453. Springer, 2003.