Changes for page Transformation Mapping (KTM)

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

From version < 20.1 >

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

To version < 10.1 >

edited by Alexander Schulz-Rosengarten
on 2014/01/03 17:00

Change comment: added example for Mapping and TransformationTree creation

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 since 0.11"}}
--This article is deprecated. KTM was redesigned is now available as KiTT included in KiCool.
--{{/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.
@@ -30,11 +30,11 @@
  The structure of the model can be separated into two parts.
--**First part** (upper half) is a tree of transformations. Each ModelWrapper-class is a representation of a model which is transformed. So ModelWrapper are nodes and ModelTransformations are edges. Thus the ModelWrapper representing the initial-source-model of all transformation is also the root of a TransformationTree-model.
++**First part** (upper half) is a tree of transformations. Each Model-class is a representation of a concrete model which is transformed. So models are nodes and ModelTransformations are edges. Thus the Model representing the root-model of a tree is also the root of a concrete TransformationTree-model.
--**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.
++**Second part** (lower half) is object-mapping. Instances of models contain EObjects as their elements, which are represented by Element-class in TransformationTree metamodel. The Elements of two models are connected with ElementTransformations-class to model their origination relationship in corresponding model transformation.
--\\
++
  An abstract example of an instance of this model:
@@ -66,8 +66,8 @@
  == Implementation Details ==
--* All references to EObjects in EObjectWrapper are references to a copy of the original EObject. This allows to represent immutable mapping. To reidentify corresponding EObjects TransformationTreeExtensions provides search functions which will check for structural matching models.
--* Models in TransformationTrees may be transient. This indicates that all references to EObjects in all Elements of the transient model are removed. Thus these models can't be source of a new appended transformation and can not be associated with it's original model. The main propose of this feature is to improve scalability of TransformationTrees by removing unnecessary references to internal model, but preserve traversing functionality of the object-mapping.
++* All references to EObjects are references to a copy of the original EObject. This allows to represent immutable mapping. To reidentify corresponding EObjects TransformationTreeExtensions provides search functions which will check for structural matching models.
++* Models in TransformationTrees may be transient. This indicates that all references to EObjects in all Elements of the transient model are removed. Thus these models can't be source of a new appended transformation and can not be associated with it's original model. The main propose of this feature is to improve scalability of TransformationTrees by removing unnecessary references to internal model, but preserve traversing functionality of the ObjectMapping.
  * Mappings can be incomplete causing resulting transfromation tree to be incomplete. A incomplete tree does not represent every object in a model with a corresponding Element. This may break some paths of element transformations, but allows to omit model-immanent objects like annotations from mapping. TranformationMapping extension provies a function to check completeness of mapping against its models.
  ----
@@ -74,36 +74,32 @@
  == 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.
++{{code title="Modified SCChart Transformation" theme="Eclipse" linenumbers="true" language="java" firstline="1" collapse="true"}}
++package de.cau.cs.kieler.ktm.test.transformations
--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
++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
++    // -- Mapping Access
      def extractMapping() {
          extractMappingData;
      }
--...
--
      //-------------------------------------------------------------------------
      //--                 S P L I T   T R A N S I T I O N                     --
      //-------------------------------------------------------------------------
@@ -114,7 +114,6 @@
      //     Set the T_eff to have T's target state. Set T to have the target C.
      //     Add T_eff to C's outgoing transitions.
      def Region transformTriggerEffect(Region rootRegion) {
--        clearMapping; //NEW - clear previous mapping information to assure a single consistent mapping
          // Clone the complete SCCharts region
          var targetRootRegion = rootRegion.mappedCopy; //NEW - mapping information (changed copy to mappedCopy)
          // Traverse all transitions
@@ -121,160 +121,61 @@
          for (targetTransition : targetRootRegion.getAllContainedTransitions) {
              targetTransition.transformTriggerEffect(targetRootRegion);
          }
--        val completeness = checkMappingCompleteness(rootRegion, targetRootRegion); //NEW - DEBUG
          targetRootRegion;
      }
      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) ||
--            transition.effects.size > 1) {
++        // 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, "ABO",
++                            aboSplitTE, "ABO-splitTriEff");
--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-splitTriEff.
--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.
--
--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.
--
--\\
++Here you can see the effect of the transformation causing the transformation to split up.

Confluence.Code.ConfluencePageClass[0]

Id

@@ -1,1 +1,1 @@
--50823223
++8651563

URL

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

Changes for page Transformation Mapping (KTM)

Summary

Details

Navigation

Quick Links