Presentation is loading. Please wait.

Presentation is loading. Please wait.

Specification of UML Model Transformations PhD Student : Shekoufeh Kolahdouz Rahimi Supervisors : Dr Kevin Lano, Dr.

Similar presentations


Presentation on theme: "Specification of UML Model Transformations PhD Student : Shekoufeh Kolahdouz Rahimi Supervisors : Dr Kevin Lano, Dr."— Presentation transcript:

1 Specification of UML Model Transformations PhD Student : Shekoufeh Kolahdouz Rahimi Supervisors : Dr Kevin Lano, Dr Iman Hafiz Poernomo

2 Introduction to Model Transformation

3 Different Issues In Model Transformation Specification Techniques for MT Different styles for MT Different approaches for MT 3 ImperativeKermeta Pure-Relation (University Of Kent)-Tefkat HybridGraph Transformation-ATL- QVT

4 Case Studies 4 Slicing of State Machines Quality of Service Requirements S< syn C ^ S= sem C UML+QoS MDA transformatio n MDA transformatio n Code that adapts to meet QoS PIM PSM

5 The UML-RSDS Approach Hybrid UML+OCL UML2WEB Transformation Rules

6 6 IntroducePrimaryKey( c : UMLClass ) pre: post: c.stereotypeNames includes(persistent") c.ownedAttribute.stereotypeNames excludes(identity") c.feature.name excludes(c.name + Id") c.stereotypeNames includes(persistent") c.ownedAttribute.stereotypeNames excludes(identity") c.feature.name excludes(c.name + Id") a : Property a.oclIsNew() s : Stereotype s.oclIsNew() a.name = c.name + Id s.name = identity" a.stereotypeNames = Set { s } c.ownedAttribute = including( a ) a.type = IntegerType a : Property a.oclIsNew() s : Stereotype s.oclIsNew() a.name = c.name + Id s.name = identity" a.stereotypeNames = Set { s } c.ownedAttribute = including( a ) a.type = IntegerType Simple Transformation Rule UMLClassProperty Type StereotypeElement Name: String feature * ownedAttribute *{subset feature} classifier * stereotypes * TransformationRules Introduceprimarykey(c:U MLClass) 1 type *

7 StateMachine 7

8 Future Work ApproachModularityValidationVerificationImplementation Pure relational OCL checker Translation to B Transformation to Java(incomplete) UML-RSDS classes Inspection/OCL checker Translation to B Code synthesis(incomplete) QVTrules Inspection/OCL checker Translation to proof tool Interpreter KermetaclassesBy executionAlready executable Graph Transformations rulesOCL checker Translation to proof tool Produce Imperative version

9 9 Questions?


Download ppt "Specification of UML Model Transformations PhD Student : Shekoufeh Kolahdouz Rahimi Supervisors : Dr Kevin Lano, Dr."

Similar presentations


Ads by Google