170 likes | 300 Views
C H I L I E S Project. Domain-specific Templates for Refinement Transformations. Lucia Kapova , Thomas Goldschmidt, Jens Happe, Ralf Reussner. Source: pixelio.de. Motivation. Motivation. !?. (. ). (. ). NULL. !?. (. ). Motivation. (. ). (. ). NULL. (. ). Idea.
E N D
CHILIESProject Domain-specific Templates for Refinement Transformations Lucia Kapova, Thomas Goldschmidt, Jens Happe, Ralf Reussner Source: pixelio.de
Motivation Lucia Kapova: Domain-specific Templates for Refinement Transformations
Motivation !? ( ) ( ) NULL !? ( ) Lucia Kapova: Domain-specific Templates for Refinement Transformations
Motivation ( ) ( ) NULL ( ) Lucia Kapova: Domain-specific Templates for Refinement Transformations
Idea • Transformationshavereoccuringparts • Template Library tobuildtransformationproductlines Template Library Transformations TransformationArchitect Lucia Kapova: Domain-specific Templates for Refinement Transformations
Model-Driven Interoperability Abstract Software Model QoSPrediction Domain Performance Reliability Maintainability How to decrease the complexity of transformation development? How to reuse transformation parts in different quality domains? Lucia Kapova: Domain-specific Templates for Refinement Transformations How to reuse similar transformation parts for different quality domains? How to decrease the complexity of transformation development?
Building Template Library Copy Rules Lucia Kapova: Domain-specific Templates for Refinement Transformations
Quality Refinement Source Model Transformation Target Model Sender Adaptor Receiver Adaptor Middleware Lucia Kapova: Domain-specific Templates for Refinement Transformations
Quality Transformation Templates Lucia Kapova: Domain-specific Templates for Refinement Transformations
Solution • Variation points • Template Variation Point • Domain Variation Point • Literal Expression Variation Point • relation Source2Target{ • checkonly domain source sourceElement : Metamodel::Type { • map_pattern= pattern : Metamodel::Type {} • }; • enforce domain target targetElement: Metamodel::Type{ • name = varName • map_pattern= pattern : Metamodel::Type {} • }; • when {} • } Template Library Lucia Kapova: Domain-specific Templates for Refinement Transformations
QVT-R Template Example - Adaptor Lucia Kapova: Domain-specific Templates for Refinement Transformations
Solution Template Instantiation Variation Point Instance: LiteralExp: MyAdaptor Template: Ref:Interface Class Template: Ref:Interface Class Template Config Template Library Transformations Lucia Kapova: Domain-specific Templates for Refinement Transformations
Solution Template Instantiation Higher-Order Transformation for Template Instantiation: Template Repository Transformation Add Typed Models Integrate Relations Bind Template Variation Points Template Library Transformations Lucia Kapova: Domain-specific Templates for Refinement Transformations
Quality Transformation Templates Lucia Kapova: Domain-specific Templates for Refinement Transformations
Summary TransformationArchitect Performance Reliability Maintainability Template Library Transformations Lucia Kapova: Domain-specific Templates for Refinement Transformations
Conclusion and Future Work Lucia Kapova: Domain-specific Templates for Refinement Transformations
CHILIESProject http://sdqweb.ipd.kit.edu/wiki/Chilies !? Thanks! kapova@ipd.uka.de http://sdq.ipd.uka.de