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. als1 +XWiki.ssm - Content
-
... ... @@ -1,11 +4,5 @@ 1 -{{note title="Deprecated since 0.12"}} 2 -This article is deprecated. The described features are no longer available in current releases. 3 -{{/note}} 4 4 5 -\\ 6 6 7 - 8 - 9 9 {{toc/}} 10 10 11 11 = Core SCChart to SCL Transformation = ... ... @@ -18,12 +18,11 @@ 18 18 19 19 For the following optimizations two assuptions are made: 20 20 21 -* A transition does not require an expli cit goto instruction15 +* A transition does not require an explizit goto instruction 22 22 * A thread terminates, iff its parallel block is exited (via the next par statement or join) 23 23 24 24 The optimization level can be specified in the CoreToSCLTransformation class. 25 25 26 -(% class="wrapped" %) 27 27 |=((( 28 28 Optimization 29 29 )))|=((( ... ... @@ -64,7 +64,7 @@ 64 64 (planned) 65 65 )))|(% colspan="1" %)(% colspan="1" %) 66 66 ((( 67 - \\60 + 68 68 ))) 69 69 |(% colspan="1" %)(% colspan="1" %) 70 70 ((( ... ... @@ -73,5 +73,5 @@ 73 73 (planned) 74 74 )))|(% colspan="1" %)(% colspan="1" %) 75 75 ((( 76 - \\69 + 77 77 )))
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -50 8232841 +6750237 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/50 823284/SCL Transformation1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/6750237/SCL Transformation