Abstract
Graph rewriting is a widely used approach to model transformation. In general, graph rewriting rules parse graphs only by topological concerns, but they are not sophisticated enough to match a graph with a node which has a special property. In case of diagrammatic languages, such as the Unified Modeling Language (UML), the exclusive topological parsing is found to be not enough. To define the transformation steps in a more refined way additional constraints must be specified, which ensures the correctness of the attributes among others. Dealing with OCL constraints provides a solution for the unsolved issues. Often, the same constraint is repetitiously applied in many different places in a transformation. It would be beneficial to describe a common constraint in a modular manner, and to designate the places where it is to be applied. This paper presents the problem of the crosscutting constraints in graph transformation steps, provides an aspect-oriented solution for it, and introduces the weaving algorithms used to propagate aspect-oriented constraints to graph transformation steps.
This is a preview of subscription content, log in via an institution to check access.
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
MDA Guide Version 1.0.1, OMG, doc. number: omg/2003-06-01 (June 12, 2003), www.omg.org/docs/omg/03-06-01.pdf
Levendovszky, T., Lengyel, L., Mezei, G., Charaf, H.: A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS, ENTCS. In; International Workshop on Graph-Based Tools (GraBaTs) Rome (2004)
Object Constraint Language Specification (OCL), http://www.omg.org
AOSD Homepage, http://www.aosd.net/
The AspectJ Programming Guide, http://www.aspectj.org
Rozenberg: Handbook on Graph Grammars and Computing by Graph Transformation: Foundations, vol. 1. World Scientific, Singapore (1997)
Levendovszky, T., Lengyel, L., Charaf, H.: Implementing a Metamodel-Based Model Transformation System, Buletinul Stiintific al Universitatii “Politehnica” din Timisoara, Romania Seria Automatica si Calculatoare Periodica Politechnica. Transactions on Automatic Control and Computer Science 49(63) (2004) ISSN 1224-600X
UML 2.0 Specifications, http://www.omg.org/uml/
Elrad, T., Filman, R.E., Bader, A.: Aspect-oriented Programing. CACM 44(10) (October 2001)
Gray, J., Bapty, T., Neema, S.: Aspectifying Constraints in Model-Integrated Computing. In: OOPSLA Workshop on Advanced Separation of Concerns in Object-Oriented Systems, Minneapolis, MN (October 2000)
The VMTS Homepage, http://avalon.aut.bme.hu/~tihamer/research/vmts/
Levendovszky, T., Lengyel, L., Charaf, H.: Software Composition with a Multipurpose Modeling and Model Transformation Framework. In: IASTED 2004, Innsbruck, pp. 590–594 (2004)
PROGRES system can be, downloaded from http://www-i3.informatik.rwth-aachen.de/research/projects/progres/main.html
Lengyel, L., Levendovszky, T., Charaf, H.: Managing Crosscutting Constraints in Metamodel-Based Model Transformation Frameworks. In: International Carpathian Control Conference, ICCC 2005, Vol. II, Miskolc-Lillafüred, Hungary, May 24-27, pp. 41–46 (2005)
Lengyel, L., Levendovszky, T., Kozma, P., Charaf, H.: Compiling and validating OCL constraints in metamodeling environments and visual model compilers. In: IASTED on SE, Innsbruck, Austria, February 15-17, pp. 48–54 (2005)
Lengyel, L., Levendovszky, T., Charaf, H.: Weaving Crosscutting Constraints in Metamodel-Based Transformation Rules. In: 8th International Conference on Information Systems Implementation and Modeling, ISIM 2005, Czech Republic, April 19-20, pp. 119–126 (2005)
Levendovszky, T., Charaf, H.: Pattern Matching in Metamodel-Based Model Transformation Systems, Submitted to Periodica Polytechnica Electrical Engineering ISSN 0324-6000
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lengyel, L., Levendovszky, T., Charaf, H. (2005). Weaving Aspect-Oriented Constraints into Metamodel-Based Model Transformation Steps. In: Bozanis, P., Houstis, E.N. (eds) Advances in Informatics. PCI 2005. Lecture Notes in Computer Science, vol 3746. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11573036_37
Download citation
DOI: https://doi.org/10.1007/11573036_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29673-7
Online ISBN: 978-3-540-32091-3
eBook Packages: Computer ScienceComputer Science (R0)