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

Summary

Details

Page properties
Content
... ... @@ -1,95 +1,5 @@
1 1  = Yakindu SCT =
2 2  
3 -YAKINDU Statechart Tools (SCT) is an open source tool for the specification and development of reactive, event-based systems using state machines.
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"]]).
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 -
7 7  [[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**: 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 -2982051
1 +2982041
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982051/A SyncChart-Editor based on Yakindu
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982041/A SyncChart-Editor based on Yakindu

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage