Summary

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

Details

Page properties

Author

...	...	@@ -1,1 +1,1 @@
1		-XWiki.ssm
	1	+XWiki.als

Content

...	...	@@ -1,5 +1,11 @@
	1	+{{note title="Deprecated since 0.12"}}
	2	+This article is deprecated. The described features are no longer available in current releases.
	3	+{{/note}}
1	1
	5	+\\
2	2
	7	+
	8	+
3	3	{{toc/}}
4	4
5	5	= Core SCChart to SCL Transformation =
...	...	@@ -12,11 +12,12 @@
12	12
13	13	For the following optimizations two assuptions are made:
14	14
15		-* A transition does not require an explizit goto instruction
	21	+* A transition does not require an explicit goto instruction
16	16	* A thread terminates, iff its parallel block is exited (via the next par statement or join)
17	17
18	18	The optimization level can be specified in the CoreToSCLTransformation class.
19	19
	26	+(% class="wrapped" %)
20	20	|=(((
21	21	Optimization
22	22	)))|=(((
...	...	@@ -39,7 +39,7 @@
39	39	OPTIMIZE_SELFLOOP
40	40	)))|(% colspan="1" %)(% colspan="1" %)
41	41	(((
42		-If a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implizit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.
	49	+If a state has only one outgoing non-default transition, the expression of that transition is negated, the transition target is changed to itself and the implicit selfloop is deleted. So, if the original expression is true, the sequential control flow is used to proceed and no goto jump is necessary.
43	43	)))
44	44	|(% colspan="1" %)(% colspan="1" %)
45	45	(((
...	...	@@ -57,7 +57,7 @@
57	57	(planned)
58	58	)))|(% colspan="1" %)(% colspan="1" %)
59	59	(((
60		-
	67	+\\
61	61	)))
62	62	|(% colspan="1" %)(% colspan="1" %)
63	63	(((
...	...	@@ -66,5 +66,5 @@
66	66	(planned)
67	67	)))|(% colspan="1" %)(% colspan="1" %)
68	68	(((
69		-
	76	+\\
70	70	)))

Confluence.Code.ConfluencePageClass[0]

Id

...	...	@@ -1,1 +1,1 @@
1		-6750236
	1	+50823284

URL

...	...	@@ -1,1 +1,1 @@
1		-https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750236/SCL Transformation
	1	+https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823284/SCL Transformation