Last modified by Richard Kreissig on 2023/09/14 11:09
<
From version < 7.1 >
edited by wah
on 2012/10/10 15:50
To version < 15.1 >
edited by wah
on 2012/10/11 14:10
>
Change comment: There is no comment for this version

Summary

Details

Page properties
Content
... ... @@ -1,5 +1,102 @@
1 1  = Yakindu SCT =
2 2  
3 -YAKINDU is a tool kit for model based development and the statechart tools are the first modules provided by this project. The tools apply the concept of state machines that are well understood and formal enough to describe behaviour unambiguously. The statechart tools support editing, validating, simulating state machines and generating code from state machines. The tools are provided as Eclipse-plugins and integrate tightly into the IDE ([[Yakindu SCT Website>>url:http://www.itemis.de/itemis-ag/produkte/yakindu-open-source/yakindu-statechart-tools/language=de/43437/produktbeschreibung||shape="rect"]]).
3 +YAKINDU Statechart Tools (SCT) is an open source tool for the specification and development of reactive, event-based systems using state machines.
4 4  
5 +It consists of a graphical tool for editing and provides validation, simulation, and code generators for different target platforms. The tools are provided as Eclipse-plugins and integrate tightly into the IDE ([[Yakindu SCT Website>>url:http://www.itemis.de/itemis-ag/produkte/yakindu-open-source/yakindu-statechart-tools/language=de/43437/produktbeschreibung||shape="rect"]]).
6 +
5 5  [[image:attach:Yakindu SCT.png]]
8 +
9 += Yakindu SCT Editor VS KIELER SyncCharts Editor =
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**: 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.
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**: Final States are pseudo states. 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**:
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**: A History is a Transition
80 +)))
81 +|(((
82 +Synchronization
83 +)))|(((
84 +
85 +)))|(((
86 +[[image:attach:image2012-10-11 13:47:49.png]]
87 +)))|(((
88 +
89 +)))
90 +|(((
91 +Choise
92 +)))|(((
93 +[[image:attach:image2012-10-11 13:47:38.png]]
94 +)))|(((
95 +[[image:attach:image2012-10-11 13:47:44.png]]
96 +)))|(((
97 +
98 +)))
99 +
100 +
101 +
102 += Master =
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -2982041
1 +2982057
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982041/A SyncChart-Editor based on Yakindu
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982057/A SyncChart-Editor based on Yakindu

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage