Page History

...

First part (upper half) is a tree of transformations. Each ModelModelWrapper-class is a representation of a concrete model which is transformed. So models So ModelWrapper are nodes and ModelTransformations are edges. Thus the Model the ModelWrapper representing the rootinitial-source-model of a tree all transformation 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 ElementEObjectWrapper-class in TransformationTree this metamodel. The Elements The EObjectWrapper of two models are connected with ElementTransformationsEObjectTransformations-class to model express their origination relationship in corresponding model transformation.

...

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 ObjectMappingobject-mapping.
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.

...

Code Block

theme	Eclipse
language	java
title	Modified SCChart Transformation
firstline	1
linenumbers	true
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 Accessaccess  delegation  
    def extractMapping() {
        extractMappingData;
    }

    //-------------------------------------------------------------------------
    //--                 S P L I T   T R A N S I T I O N                     --
    //-------------------------------------------------------------------------
    // For every transition T that has both, a trigger and an effect do the following:
    //   For every effect:
    //     Create a conditional C and add it to the parent of T's source state S_src.
    //     create a new true triggered immediate effect transition T_eff and move all effects of T to T_eff.
    //     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
        for (targetTransition : targetRootRegion.getAllContainedTransitions) {
            targetTransition.transformTriggerEffect(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 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
            for (effect : transition.effects.immutableCopy) {
                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 Block

theme	Eclipse
language	java
title	Transform and create TranformationTree
firstline	1
linenumbers	true
collapse	true

aboSplitTE = transformation.transformTriggerEffect(abo);

Model aboSplitTEModel = transformationTreeExtensions.initializeTransformationTree(
                            transformation.extractMapping(),
                            "splitTriggerEffect", 
                            abo, "ABOcoreSCChart", 
                            aboSplitTE, "ABOcoreSCChart-splitTriEffsplitTriggerEffect");

tranformationTree = transformationTreeExtensions.root(aboSplitTEModel);

The result of transformation is the following SCChart. ABO-splitTriEffsplitTriggerEffect.

Resulting TransformationTree has following structure.

...

Here you can see the effect of the transformation causing the transformation to split up.

Image Added

Page tree

Versions Compared

Old Version 9

New Version 10

Key