Paper Info
Title
Metamodel-Based Model Transformation with Aspect-Oriented Constraints
Abstract
Model transformation means converting an input model available at the beginning of the transformation process to an output model. A widely used approach to model transformation uses graph rewriting as the underlying transformation technique. In case of diagrammatic languages, such as the Unified Modeling Language (UML), the exclusive topological matching is found to be not enough. To define precisely the transformation steps beyond the topology of the visual models, additional constraints must be specified which ensures the correctness of the attributes, or other properties to be enforced. Dealing with OCL constraints provides a solution for these unsolved issues, because topological and attribute transformation methods cannot perform and express the problems which can be addressed by constraint validation. The use of OCL as a constraint and query language in modeling is essential. We have shown that it can be applied to model transformations as well. 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 crosscutting constraints in transformation rules, and provides an aspect-oriented solution for it. Our approach makes it possible to define constraints separately from the transformation steps, and facilitates specifying their propagation assignment to graph transformation rules. To illustrate the conceptual results, a case study is also provided, which introduces (i) how our approach generates user interface handler source code for mobile platform from a resource model and a statechart diagram, and (ii) how it validates specific properties during the transformation steps using aspect-oriented constraints.
Year
DOI
Venue
2006
10.1016/j.entcs.2005.10.020
Electr. Notes Theor. Comput. Sci.
Keywords
Field
DocType
metamodel-based model transformation rules,constraint weaving,model transformation,transformation rule,ocl,crosscutting constraints,transformation process,underlying transformation technique,transformation step,graph transformation rule,aspect-oriented constraints,input model,vmts,output model,metamodel-based model transformation,resource model,attribute transformation method,graph rewriting,unified modeling language,query language,aspect oriented,graph transformation,source code,user interface
Query language,Model transformation,Programming language,Unified Modeling Language,Aspect-oriented programming,Computer science,Correctness,Theoretical computer science,Graph rewriting,Object Constraint Language,Metamodeling
Journal
Volume
ISSN
Citations 
152,
Electronic Notes in Theoretical Computer Science
4
PageRank 
References 
Authors
0.52
8
5
Name
Order
Citations
PageRank
László Lengyel117225.15
Tihamér Levendovszky218514.96
Gergely Mezei314324.62
Bertalan Forstner4187.65
Hassan Charaf521131.15