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
-
... ... @@ -7,89 +7,3 @@ 7 7 [[image:attach:Yakindu SCT.png]] 8 8 9 9 = Yakindu SCT VS KIELER = 10 - 11 -|=((( 12 - 13 -)))|=((( 14 -KIELER 15 -)))|=((( 16 -YAKINDU 17 -)))|=((( 18 - 19 -))) 20 -|((( 21 -Transition 22 -)))|((( 23 -[[image:attach:image2012-10-11 13:46:43.png]] 24 -)))|((( 25 -[[image:attach:image2012-10-11 13:46:50.png]] 26 -)))|((( 27 -**YAKINDU**: There is only one type for transitions 28 - 29 -**KIELER**: Strong Abort, Week Abort, Normal Termination 30 -))) 31 -|((( 32 -Initial State 33 -)))|((( 34 -[[image:attach:image2012-10-11 13:46:58.png]] 35 -)))|((( 36 -[[image:attach:image2012-10-11 13:52:3.png]] 37 -)))|((( 38 -**YAKINDU**: An extra State for Initial State. The Initial State may not be a Composite State 39 -))) 40 -|((( 41 -Final State 42 -)))|((( 43 -[[image:attach:image2012-10-11 13:47:5.png]] 44 -)))|((( 45 -[[image:attach:image2012-10-11 13:51:43.png]] 46 -)))|((( 47 -**YAKINDU**: An extra State for Final State. The Final State may not be a Composite State 48 -))) 49 -|((( 50 -State 51 -)))|((( 52 -[[image:attach:image2012-10-11 13:47:11.png]] 53 -)))|((( 54 -[[image:attach:image2012-10-11 13:49:10.png]] 55 -)))|((( 56 - 57 -))) 58 -|((( 59 -Composite State 60 -)))|((( 61 -[[image:attach:image2012-10-11 13:47:20.png]] 62 -)))|((( 63 -[[image:attach:image2012-10-11 13:47:58.png]] 64 -)))|((( 65 - 66 -))) 67 -|((( 68 -History 69 -)))|((( 70 -[[image:attach:image2012-10-11 13:47:27.png]][[image:attach:image2012-10-11 13:47:32.png]] 71 -)))|((( 72 -[[image:attach:image2012-10-11 13:47:54.png]] 73 -)))|((( 74 -**YAKINDU**: A History is a Pseudostate 75 - 76 -**KIELER**: A History is a Transition 77 -))) 78 -|((( 79 -Synchronization 80 -)))|((( 81 - 82 -)))|((( 83 -[[image:attach:image2012-10-11 13:47:49.png]] 84 -)))|((( 85 - 86 -))) 87 -|((( 88 -Choise 89 -)))|((( 90 -[[image:attach:image2012-10-11 13:47:38.png]] 91 -)))|((( 92 -[[image:attach:image2012-10-11 13:47:44.png]] 93 -)))|((( 94 - 95 -)))
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -298204 91 +2982045 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/298204 9/A SyncChart-Editor based on Yakindu1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982045/A SyncChart-Editor based on Yakindu