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ó Lengyel | 1 | 172 | 25.15 |
Tihamér Levendovszky | 2 | 185 | 14.96 |
Gergely Mezei | 3 | 143 | 24.62 |
Bertalan Forstner | 4 | 18 | 7.65 |
Hassan Charaf | 5 | 211 | 31.15 |