Last modified by Richard Kreissig on 2023/09/14 11:09
<
From version < 9.1 >
edited by wah
on 2012/10/11 13:44
To version < 11.1 >
edited by wah
on 2012/10/11 13:53
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -7,3 +7,89 @@
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 -2982045
1 +2982049
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982045/A SyncChart-Editor based on Yakindu
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982049/A SyncChart-Editor based on Yakindu

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage