Changes for page Transformation Mapping (KTM)

Last modified by Richard Kreissig on 2023/09/14 11:14

From version < 18.1 >

edited by Alexander Schulz-Rosengarten
on 2018/11/22 14:44

To version < 11.1 >

edited by Alexander Schulz-Rosengarten
on 2014/01/10 11:28

Change comment: update according to metamodel changes

Raw
Rendered

Summary

Page properties (1 modified, 0 added, 0 removed)
Objects (1 modified, 0 added, 0 removed)
- Confluence.Code.ConfluencePageClass[0]

Details

Page properties

Content

@@ -1,11 +1,7 @@
  = KTM - KIELER Transformation Mapping =
--{{panel bgColor="orange" title="DEPRECATED"}}
--This article is deprecated. KTM was redesigned is now available as KiTT.
--{{/panel}}
++
--\\
--
  === Topics ===
@@ -20,7 +20,7 @@
  == Transformation Tree Model ==
--\\
++
  To offer a mapping between model-elements during multiple transformations KTM introduces a model called TransformationTree to represent these relations.
@@ -34,7 +34,7 @@
  **Second part** (lower half) is object-mapping. Instances of models contain EObjects as their elements, which are represented by EObjectWrapper-class in this metamodel. The EObjectWrapper of two models are connected with EObjectTransformations-class to express their origination relationship in corresponding model transformation.
--\\
++
  An abstract example of an instance of this model:
@@ -74,36 +74,29 @@
  == Example ==
--In this example we will perform some transformations on SCCharts.
--
--The source chart is a ABO, the "Hello World" of SCCharts.
--
--ABO is already a CoreSCChart, so we will perform normalization and a transformation to SCG.
--
  === Creating Mapping during Transformation ===
--In order to note every single element transformation of a model transformation, we use the TransformationMapping extension.
++The following code is a modifcation of the tranformation "Spilt Trigger and Effects" of SCCharts.
--After each creation of new Objects for transformed model the mapping must be updated with it's origin information.
--
--The codeblock blow show a snipped of SCChartCoreTransformation with additional mapping registration.
--
--\\
--
--{{code language="java" theme="Eclipse" firstline="1" title="transformTriggerEffect CodeSnipped" linenumbers="true" collapse="true"}}
--...
--    @Inject
++{{code title="Modified SCChart Transformation" theme="Eclipse" linenumbers="true" language="java" firstline="1" collapse="true"}}
++package de.cau.cs.kieler.ktm.test.transformations
++import com.google.inject.Inject
++import de.cau.cs.kieler.ktm.extensions.TransformationMapping
++import de.cau.cs.kieler.sccharts.Region
++import de.cau.cs.kieler.sccharts.Transition
++import de.cau.cs.kieler.sccharts.extensions.SCChartsExtension
++/**
++ * @author als
++ */
++class SCChartTestTransformation {
++    @Inject
      extension TransformationMapping
--
--...
--
++    @Inject
++    extension SCChartsExtension
      // NEW - Mapping access delegation
      def extractMapping() {
          extractMappingData;
      }
--
--...
--
      //-------------------------------------------------------------------------
      //--                 S P L I T   T R A N S I T I O N                     --
      //-------------------------------------------------------------------------
@@ -121,160 +121,70 @@
          for (targetTransition : targetRootRegion.getAllContainedTransitions) {
              targetTransition.transformTriggerEffect(targetRootRegion);
          }
--        val completeness = checkMappingCompleteness(rootRegion, targetRootRegion); //NEW - DEBUG
--        targetRootRegion;
++        //check if mapping is complete (only for test proposes)
++        val diff = rootRegion.checkMappingCompleteness(targetRootRegion);
++        if (diff.key.empty && diff.value.empty) {
++            targetRootRegion;
++        } else {
++            null
++        }
      }
      def void transformTriggerEffect(Transition transition, Region targetRootRegion) {
--       // Only apply this to transition that have both, a trigger (or is a termination) and one or more effects
--        if (((transition.trigger != null || !transition.immediate || transition.typeTermination) && !transition.effects.nullOrEmpty) ||
++        // Only apply this to transition that have both, a trigger and one or more effects
++        if (((transition.trigger != null || !transition.immediate) && !transition.effects.nullOrEmpty) ||
              transition.effects.size > 1) {
              val targetState = transition.targetState
              val parentRegion = targetState.parentRegion
              val transitionOriginalTarget = transition.targetState
              var Transition lastTransition = transition
--            val firstEffect = transition.effects.head
              for (effect : transition.effects.immutableCopy) {
--                 // Optimization: Prevent transitions without a trigger
--                 if(transition.immediate && transition.trigger == null && firstEffect == effect) {
--                        // skip
--                 } else {
--                    val effectState = parentRegion.createState(GENERATED_PREFIX + "S")
--                    effectState.mapParents(transition.mappedParents); //NEW - mapping information
--                    effectState.uniqueName
--                    val effectTransition = createImmediateTransition.addEffect(effect)
--                    effectTransition.mapParents(transition.mappedParents); //NEW - mapping information
--
--                    effectTransition.setSourceState(effectState)
--                    lastTransition.setTargetState(effectState)
--                    lastTransition = effectTransition
--                 }
++                val effectState = parentRegion.createState(targetState.id + effect.id)
++                effectState.mapParents(transition.mappedParents); //NEW - mapping information
++                effectState.setTypeConnector
++                val effectTransition = createImmediateTransition.addEffect(effect)
++                effectTransition.mapParents(transition.mappedParents); //NEW - mapping information
++                effectTransition.setSourceState(effectState)
++                lastTransition.setTargetState(effectState)
++                lastTransition = effectTransition
              }
              lastTransition.setTargetState(transitionOriginalTarget)
          }
      }
++}
  {{/code}}
--=== Create TransformationTree ===
++=== Create TransformationTree with Mapping ===
--The following code will now perform each transformation stepwise and updates a transformation tree each step.
++To test the transformation and mapping we will transform th following ABO-SCChart.
--\\
++[[image:attach:example_abo.jpeg]]
--{{code language="java" theme="Eclipse" firstline="1" title="Transform and create TranformationTree" linenumbers="true" collapse="true"}}
--aboSplitTE = SCCtransformation.transformTriggerEffect(abo);
++The following code snipped performs the transformation on our ABO-example, extracts the mapping and creates a transformation tree.
--ModelWrapper aboSplitTEModel =
--        transformationTree.initializeTransformationTree(SCCtransformation.extractMapping(), "TriggerEffect", abo, "coreSCChart", aboSplitTE, "coreSCChart-splitTriggerEffect");
++{{code title="Transform and create TranformationTree" theme="Eclipse" linenumbers="true" language="java" firstline="1" collapse="true"}}
++aboSplitTE = transformation.transformTriggerEffect(abo);
--aboNormalized = SCCtransformation.transformSurfaceDepth(aboSplitTE);
++Model aboSplitTEModel = transformationTreeExtensions.initializeTransformationTree(
++                            transformation.extractMapping(),
++                            "splitTriggerEffect",
++                            abo, "coreSCChart",
++                            aboSplitTE, "coreSCChart-splitTriggerEffect");
--ModelWrapper aboNormalizedModel =
--        transformationTree.addTransformationToTree(SCCtransformation.extractMapping(), aboSplitTEModel, "SurfaceDepth", aboSplitTE, aboNormalized, "normalizedCoreSCChart");
--
--aboSCG = SCGtransformation.transformSCG(aboNormalized);
--
--ModelWrapper aboSCGModel =
--        transformationTree.addTransformationToTree(SCGtransformation.extractMapping(), aboNormalizedModel, "SCC2SCG", aboNormalized, aboSCG,"SCG");
--
--tree = transformationTree.root(aboSCGModel);
++tranformationTree = transformationTreeExtensions.root(aboSplitTEModel);
  {{/code}}
--\\
++The result of transformation is the following SCChart. ABO-splitTriggerEffect.
--The resulting TransformationTree has following structure and representing each step and model of the transformation.
++[[image:attach:example_abo_splitTE.jpeg]]
--\\
++Resulting TransformationTree has following structure.
--(% class="wrapped" %)
--|=(% style="text-align: center;" colspan="4" %)(% style="text-align: center;" colspan="4" %)
--(((
--(% class="content-wrapper" %)
--(((
  [[image:attach:example_tree.jpeg]]
--)))
--)))
--|(% style="text-align: center;" colspan="1" %)(% style="text-align: center;" colspan="1" %)
--(((
--(% class="content-wrapper" %)
--(((
--[[image:attach:example_abo.jpeg]]
--)))
--)))|(% style="text-align: center;" colspan="1" %)(% style="text-align: center;" colspan="1" %)
--(((
--(% class="content-wrapper" %)
--(((
--[[image:attach:example_abo_splitTE.jpeg]]
--)))
--)))|(% style="text-align: center;" colspan="1" %)(% style="text-align: center;" colspan="1" %)
--(((
--(% class="content-wrapper" %)
--(((
--[[image:attach:example_abo_norm.jpeg]]
--)))
--)))|(% style="text-align: center;" colspan="1" %)(% style="text-align: center;" colspan="1" %)
--(((
--(% class="content-wrapper" %)
--(((
--[[image:attach:example_abo_scg.jpeg]]
--)))
--)))
--\\
++Furthermore the TransformationTree now contains the following mapping information.
--Furthermore the TransformationTree now contains mapping information for the whole transformation chain.
++[[image:attach:example_tree_transformation.jpeg]]
--Now we can use an additional feature of KTM, the resolving of mappings between arbitary models.
++Here you can see the effect of the transformation causing the transformation to split up.
--The following code has starts with an instance of the initial ABO SCChart and SCG, along with the TranformationTree above.
--
--\\
--
--{{code language="java" theme="Eclipse" firstline="1" title="resolveMapping" linenumbers="true" collapse="true"}}
--@Inject
--extension TransformationTreeExtensions
--
--//Find nodes of model instances in tree
--val aboSCCModelWrapper = transformationTree.findModel(aboSCC,"coreSCChart");
--val aboSCGModelWrapper = transformationTree.findModel(aboSCG,"SCG");
--
--//resolve
--val mapping = resolvemapping(aboSCCModelWrapper, aboSCC, aboSCGModelWrapper, aboSCG);
--{{/code}}
--
--\\
--
--The returned mapping is a multi mapping between all object in aboSCC and their resulting objects in aboSCG.
--
--This mapping can now displayed in models or used for various information propagation between elements of the models.
--
--[[image:attach:example_abo_resolved.jpeg]]
--
--\\
--
--Also a more detailed view is available, showing all EObjects relation.
--
--\\
--
--[[image:attach:example_abo_resolved_elements.jpeg]]
--
--== Visualisation ==
--
--If you have a TransformationTree file (.ktmt) you can open a KLighD visualisation by right-clicking on file in project-tree and selecting //'Open Transformation Tree//'.
--
--=== Diagram Options ===
--
--//Model Visualisation//: If enabled tries to visaulize selected models with KLighD else a EObject-represenation is created.
--
--//EObject Attributes//: If enabled shows Attributes of EObject in EObject-represenation.
--
--//Selective mapping edges//: If enabled shows only selected mapping edges.
--
--=== Interaction ===
--
--//CTRL+CLICK//: Selects a Node in TransformationTree as source and displays its represented model.
--
--//SHIFT+CLICK//: Selects a Node in TransformationTree as target, displays both models and the resolved mapping as edges (currenly only between States/Regions).
--
--If Selective selective mapping edge is enabled no mapping edges are displayed. If you select (//CLICK//) an element in one of the two model its relation to corresponding element is displayed. You can multi-select with //CTRL+CLICK// or deselect by clicking on an edge.
--
--\\
++[[image:attach:als-ktm-splitTriggerEffect-detail.jpg]]

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--50823216
++8651594

URL

@@ -1,1 +1,1 @@
--https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823216/Transformation Mapping (KTM)
++https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8651594/Transformation Mapping (KTM)

Changes for page Transformation Mapping (KTM)

Summary

Details

Navigation

Quick Links