3 Different Issues In Model Transformation Specification Techniques for MTDifferent styles for MTDifferent approaches for MTImperativeKermetaDeclarativePure-Relation (University Of Kent)-TefkatHybridGraph Transformation-ATL- QVT
4 Code that adapts to meet QoS Case StudiesQuality of Service RequirementsSlicing of State MachinesS<syn C ^ S= sem CUML+QoSPIMMDAtransformationPSMCode that adapts to meet QoS
5 The UML-RSDS Approach Hybrid UML+OCL UML2WEB Transformation Rules
8 Future Work Approach Modularity Validation Verification Implementation Pure relationalOCL checkerTranslation to BTransformation to Java(incomplete)UML-RSDSclassesInspection/OCL checkerCode synthesis(incomplete)QVTrulesTranslation to proof toolInterpreterKermetaBy executionAlready executableGraph TransformationsProduce Imperative version
Your consent to our cookies if you continue to use this website.