Changes for page SCCharts-Editor based on Yakindu
Last modified by Richard Kreissig on 2023/09/14 11:09
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -6,7 +6,7 @@ 6 6 7 7 [[image:attach:Yakindu SCT.png]] 8 8 9 -= Yakindu SCT VS KIELER = 9 += Yakindu SCT Editor VS KIELER SyncCharts Editor = 10 10 11 11 |=((( 12 12 ... ... @@ -24,7 +24,9 @@ 24 24 )))|((( 25 25 [[image:attach:image2012-10-11 13:46:50.png]] 26 26 )))|((( 27 - 27 +**YAKINDU**: There is only one type for transitions 28 + 29 +**KIELER**: Strong Abort, Week Abort, Normal Termination 28 28 ))) 29 29 |((( 30 30 Initial State ... ... @@ -33,7 +33,7 @@ 33 33 )))|((( 34 34 [[image:attach:image2012-10-11 13:52:3.png]] 35 35 )))|((( 36 - 38 +**YAKINDU**: Initials State are pseudo states. The Initial State may not be a Composite State. (% style="color: rgb(0,0,0);" %)An initial state can only have one outgoing transition and no incoming. 37 37 ))) 38 38 |((( 39 39 Final State ... ... @@ -42,7 +42,7 @@ 42 42 )))|((( 43 43 [[image:attach:image2012-10-11 13:51:43.png]] 44 44 )))|((( 45 - 47 +**YAKINDU**: Final States are pseudo states. The Final State may not be a Composite State 46 46 ))) 47 47 |((( 48 48 State ... ... @@ -69,7 +69,14 @@ 69 69 )))|((( 70 70 [[image:attach:image2012-10-11 13:47:54.png]] 71 71 )))|((( 72 - 74 +**YAKINDU**: 75 + 76 +* Shallow History: (% style="color: rgb(0,0,0);" %)is a pseudo state. It is placed inside a region of a composite state. 77 +* (% style="color: rgb(0,0,0);" %)Deep History: (% style="color: rgb(0, 0, 0); color: rgb(0, 0, 0)" %) is similar to shallow history. With a deep history the latest state of multiple nested states is remembered.- 78 + 79 +**KIELER**: 80 + 81 +A History is a Transition 73 73 ))) 74 74 |((( 75 75 Synchronization ... ... @@ -89,3 +89,7 @@ 89 89 )))|((( 90 90 91 91 ))) 101 + 102 + 103 + 104 += Master =
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -298204 71 +2982054 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/298204 7/A SyncChart-Editor based on Yakindu1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982054/A SyncChart-Editor based on Yakindu