90 likes | 311 Views
Specification of UML Model Transformations. PhD Student : Shekoufeh Kolahdouz Rahimi Shekoufeh.kolahdouzrahimi@kcl.ac.uk Supervisors : Dr Kevin Lano , Dr Iman Hafiz Poernomo Kevin.lano@kcl.ac.uk , Iman.poernomo@kcl.ac.uk. Introduction to Model Transformation.
E N D
Specification of UML Model Transformations PhD Student : ShekoufehKolahdouzRahimi Shekoufeh.kolahdouzrahimi@kcl.ac.uk Supervisors : Dr Kevin Lano, Dr Iman Hafiz Poernomo Kevin.lano@kcl.ac.uk , Iman.poernomo@kcl.ac.uk
Different Issues In Model Transformation • Specification Techniques for MT • Different styles for MT • Different approaches for MT
Slicing of State Machines Case Studies Quality of Service Requirements S<synC ^S= semC UML+QoS PIM MDA transformation Code that adapts to meet QoS PSM
Hybrid UML+OCL UML2WEB The UML-RSDS Approach • Transformation Rules http://www.dcs.kcl.ac.uk/staff/kcl/uml2web
Simple Transformation Rule * Element Stereotype * stereotypes Name: String c.stereotypeNames includes(“persistent") c.ownedAttribute.stereotypeNames excludes(“identity") c.feature.name excludes(c.name + “Id") • IntroducePrimaryKey( c : UMLClass ) • pre: • post: TransformationRules Introduceprimarykey(c:UMLClass) Type a : Property a.oclIsNew() s : Stereotype s.oclIsNew() a.name = c.name + “Id“ s.name = “identity" a.stereotypeNames = Set { s } c.ownedAttribute = (c.ownedAttribute)@pre including( a ) a.type = IntegerType type 1 * Property UMLClass feature * ownedAttribute *{subset feature} classifier