Changes for page SCL Transformation
Last modified by Richard Kreissig on 2023/09/14 11:14
Change comment:
There is no comment for this version
Summary
-
Page properties (2 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki.s sm1 +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 expli zit goto instruction21 +* 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 )))|=((( ... ... @@ -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 - 67502371 +50823284 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/ 6750237/SCL Transformation1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50823284/SCL Transformation