Last modified by Richard Kreissig on 2023/09/14 11:09
<
From version < 46.1 >
edited by wah
on 2012/10/31 13:10
To version < 45.1 >
edited by wah
on 2012/10/31 13:05
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -9,10 +9,107 @@
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>>doc:Comparison of the textual description language]]
12 +* Comparison of the textual description language
13 13  
14 +|=(((
14 14  
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
15 15  
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 +
16 16  |=(((
17 17  
18 18  )))|=(((
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -2982377
1 +2982373
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982377/A SyncChart-Editor based on Yakindu
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982373/A SyncChart-Editor based on Yakindu

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage