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
-
... ... @@ -9,107 +9,10 @@ 9 9 = Yakindu SCT Editor VS KIELER SyncCharts Editor = 10 10 11 11 * [[Comparison of the graphical representation>>doc:Comparison of the graphical representation]] 12 -* Comparison of the textual description language 12 +* [[Comparison of the textual description language>>doc:Comparison of the textual description language]] 13 13 14 -|=((( 15 15 16 -)))|=((( 17 -KIELER 18 -)))|=((( 19 -YAKINDU 20 -)))|=((( 21 - 22 -))) 23 -|((( 24 -Transition 25 -)))|((( 26 -[[image:attach:image2012-10-11 13:46:43.png]] 27 -)))|((( 28 -[[image:attach:image2012-10-11 13:46:50.png]] 29 -)))|((( 30 -**YAKINDU**: There is only one type for transitions 31 31 32 -**KIELER**: Strong Abort, Week Abort, Normal Termination 33 -))) 34 -|((( 35 -State 36 -)))|((( 37 -[[image:attach:image2012-10-11 13:47:11.png]] 38 -)))|((( 39 -[[image:attach:image2012-10-11 13:49:10.png]] 40 -)))|((( 41 - 42 -))) 43 -|((( 44 -Composite State 45 -)))|((( 46 -[[image:attach:image2012-10-11 13:47:20.png]] 47 -)))|((( 48 -[[image:attach:image2012-10-11 13:47:58.png]] 49 -)))|((( 50 - 51 -))) 52 -|((( 53 -Initial State 54 -)))|((( 55 -[[image:attach:image2012-10-15 14:41:10.png]][[image:attach:image2012-10-11 13:46:58.png]] 56 -)))|((( 57 -[[image:attach:image2012-10-11 13:52:3.png]] 58 -)))|((( 59 -**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. 60 - 61 -(% style="color: rgb(0,0,0);" %)**KIELER**: Initial states are supposed to have a thicker border than normal states 62 -))) 63 -|((( 64 -Final State 65 -)))|((( 66 -[[image:attach:image2012-10-15 14:40:31.png]][[image:attach:image2012-10-11 13:47:5.png]] 67 -)))|((( 68 -[[image:attach:image2012-10-11 13:51:43.png]] 69 -)))|((( 70 -**YAKINDU**: Final States are pseudo states. The Final State may not be a Composite State 71 - 72 -**KIELER**: Final states are depicted with a double border 73 -))) 74 -|((( 75 -History 76 -)))|((( 77 -[[image:attach:image2012-10-11 13:47:27.png]][[image:attach:image2012-10-11 13:47:32.png]] 78 -)))|((( 79 -[[image:attach:image2012-10-11 13:47:54.png]] 80 -)))|((( 81 -**YAKINDU**: 82 - 83 -* Shallow History: (% style="color: rgb(0,0,0);" %)is a pseudo state. It is placed inside a region of a composite state. 84 -* (% 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.- 85 - 86 -**KIELER**: A History is a attribute of a Transition 87 -))) 88 -|((( 89 -Synchronization 90 -)))|((( 91 - 92 -)))|((( 93 -[[image:attach:image2012-10-11 13:47:49.png]] 94 -)))|((( 95 -**YAKINDU**: Synchronization is a pseudo state. 96 - 97 -**KIELER**: Synchronization not needed in KIELER 98 - 99 -* 100 -** No interlevel transitions 101 -** Closest construct: normal termination 102 -))) 103 -|((( 104 -Choice 105 -)))|((( 106 -[[image:attach:image2012-10-11 13:47:38.png]] 107 -)))|((( 108 -[[image:attach:image2012-10-11 13:47:44.png]] 109 -)))|((( 110 - 111 -))) 112 - 113 113 |=((( 114 114 115 115 )))|=(((
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -298237 31 +2982377 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/298237 3/A SyncChart-Editor based on Yakindu1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982377/A SyncChart-Editor based on Yakindu