Summary

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

Details

Page properties

Content

...	...	@@ -26,9 +26,9 @@
26	26
27	27	The structure of the model can be separated into two parts.
28	28
29		-**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.
	29	+**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.
30	30
31		-**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.
	31	+**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.
32	32
33	33
34	34
...	...	@@ -62,8 +62,8 @@
62	62
63	63	== Implementation Details ==
64	64
65		-* 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.
66		-* 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.
	65	+* 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.
	66	+* 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.
67	67	* 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.
68	68
69	69	----
...	...	@@ -76,7 +76,6 @@
76	76
77	77	{{code title="Modified SCChart Transformation" theme="Eclipse" linenumbers="true" language="java" firstline="1" collapse="true"}}
78	78	package de.cau.cs.kieler.ktm.test.transformations
79		-
80	80	import com.google.inject.Inject
81	81	import de.cau.cs.kieler.ktm.extensions.TransformationMapping
82	82	import de.cau.cs.kieler.sccharts.Region
...	...	@@ -90,12 +90,10 @@
90	90	extension TransformationMapping
91	91	@Inject
92	92	extension SCChartsExtension
93		-
94		- // -- Mapping Access
	92	+ // NEW - Mapping access delegation
95	95	def extractMapping() {
96	96	extractMappingData;
97	97	}
98		-
99	99	//-------------------------------------------------------------------------
100	100	//-- S P L I T T R A N S I T I O N --
101	101	//-------------------------------------------------------------------------
...	...	@@ -106,6 +106,7 @@
106	106	// Set the T_eff to have T's target state. Set T to have the target C.
107	107	// Add T_eff to C's outgoing transitions.
108	108	def Region transformTriggerEffect(Region rootRegion) {
	106	+ clearMapping; //NEW - clear previous mapping information to assure a single consistent mapping
109	109	// Clone the complete SCCharts region
110	110	var targetRootRegion = rootRegion.mappedCopy; //NEW - mapping information (changed copy to mappedCopy)
111	111	// Traverse all transitions
...	...	@@ -112,11 +112,18 @@
112	112	for (targetTransition : targetRootRegion.getAllContainedTransitions) {
113	113	targetTransition.transformTriggerEffect(targetRootRegion);
114	114	}
115		- targetRootRegion;
	113	+ //check if mapping is complete (only for test proposes)
	114	+ val diff = rootRegion.checkMappingCompleteness(targetRootRegion);
	115	+ if (diff.key.empty && diff.value.empty) {
	116	+ targetRootRegion;
	117	+ } else {
	118	+ null
	119	+ }
116	116	}
117	117	def void transformTriggerEffect(Transition transition, Region targetRootRegion) {
118	118	// Only apply this to transition that have both, a trigger and one or more effects
119		- if (((transition.trigger != null || !transition.immediate) && !transition.effects.nullOrEmpty) || transition.effects.size > 1) {
	123	+ if (((transition.trigger != null || !transition.immediate) && !transition.effects.nullOrEmpty) ||
	124	+ transition.effects.size > 1) {
120	120	val targetState = transition.targetState
121	121	val parentRegion = targetState.parentRegion
122	122	val transitionOriginalTarget = transition.targetState
...	...	@@ -151,13 +151,13 @@
151	151	Model aboSplitTEModel = transformationTreeExtensions.initializeTransformationTree(
152	152	transformation.extractMapping(),
153	153	"splitTriggerEffect",
154		- abo, "ABO",
155		- aboSplitTE, "ABO-splitTriEff");
	159	+ abo, "coreSCChart",
	160	+ aboSplitTE, "coreSCChart-splitTriggerEffect");
156	156
157	157	tranformationTree = transformationTreeExtensions.root(aboSplitTEModel);
158	158	{{/code}}
159	159
160		-The result of transformation is the following SCChart. ABO-splitTriEff.
	165	+The result of transformation is the following SCChart. ABO-splitTriggerEffect.
161	161
162	162	[[image:attach:example_abo_splitTE.jpeg]]
163	163
...	...	@@ -170,3 +170,5 @@
170	170	[[image:attach:example_tree_transformation.jpeg]]
171	171
172	172	Here you can see the effect of the transformation causing the transformation to split up.
	178	+
	179	+[[image:attach:als-ktm-splitTriggerEffect-detail.jpg]]

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-8651563
	1	+8651594

URL

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