domain-specific templates for refinement transformations
DESCRIPTION
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. - PowerPoint PPT PresentationTRANSCRIPT
www.kit.edu
Placeholder for Pictures
Domain-specific Templates for Refinement Transformations
Lucia Kapova, Thomas Goldschmidt, Jens Happe, Ralf Reussner
Source: pixelio.de
CHILIES Project
2
Motivation
Lucia Kapova: Domain-specific Templates for Refinement Transformations
3
Motivation
)(!?
!? )(
)( NULL
Lucia Kapova: Domain-specific Templates for Refinement Transformations
4
Motivation
Lucia Kapova: Domain-specific Templates for Refinement Transformations
)(
)(
)( NULL
5
Transformations have reoccuring parts
Transformations
Idea
TransformationArchitect
Template Library
Lucia Kapova: Domain-specific Templates for Refinement Transformations
Template Library to build transformation product lines
6
Model-Driven Interoperability
Performance
Reliability
Maintainability
Abstract Software Model QoS Prediction Domain
How to reuse transformation parts in different quality domains?
How to decrease the complexity of transformation development?
Lucia Kapova: Domain-specific Templates for Refinement Transformations
7
Building Template Library
Copy Rules
Lucia Kapova: Domain-specific Templates for Refinement Transformations
8
Source Model
Target Model
Middleware
Sender Adaptor
Receiver Adaptor
Quality Refinement
Transformation
Lucia Kapova: Domain-specific Templates for Refinement Transformations
9
Quality Transformation Templates
Lucia Kapova: Domain-specific Templates for Refinement Transformations
10
Solution
Template Library
Lucia Kapova: Domain-specific Templates for Refinement Transformations
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 {}
}
11
QVT-R Template Example - Adaptor
Lucia Kapova: Domain-specific Templates for Refinement Transformations
12
Transformations
Solution
Template Instantiation
Template Library
Lucia Kapova: Domain-specific Templates for Refinement Transformations
Variation Point Instance:
LiteralExp: MyAdaptor
Template: Ref:Interface Class
Template: Ref:Interface Class
Template Config
13
Transformations
Solution
Template Instantiation
Template Library
Lucia Kapova: Domain-specific Templates for Refinement Transformations
Higher-Order Transformation for Template Instantiation:
1. Template Repository Transformation
2. Add Typed Models
3. Integrate Relations
4. Bind Template Variation Points
14
Quality Transformation Templates
Lucia Kapova: Domain-specific Templates for Refinement Transformations
15
Transformations
Summary
TransformationArchitect
Template Library
Lucia Kapova: Domain-specific Templates for Refinement Transformations
Performance ReliabilityMaintainability
16
Conclusion and Future Work
Evaluation• Implementation Prototype: http://sdqweb.ipd.kit.edu/wiki/Chilies• Case Studies from domains of different quality prediction models
Contributions
• Template Metamodel (QVT-R)• Higher-Order Transformations for Template Instantiation
Future Work• Many MDD research questions arise during use of MDD:• Structuring and maintainability of transformations• Generation of transformation in general (beyond easy to compose
relations)
Lucia Kapova: Domain-specific Templates for Refinement Transformations
17
http://sdq.ipd.uka.de
!?
CHILIES Project
http://sdqweb.ipd.kit.edu/wiki/Chilies