Changes for page SCCharts-Editor based on Yakindu
Last modified by Richard Kreissig on 2023/09/14 11:09
Summary
-
Page properties (4 modified, 0 added, 0 removed)
-
Attachments (0 modified, 0 added, 34 removed)
- YAKINDU-SCT-UserGuide-1.2.0.pdf
- Yakindu SCT.png
- Yakindu sgraph.pdf
- image2012-10-11 13:46:43.png
- image2012-10-11 13:46:50.png
- image2012-10-11 13:46:58.png
- image2012-10-11 13:47:11.png
- image2012-10-11 13:47:20.png
- image2012-10-11 13:47:27.png
- image2012-10-11 13:47:32.png
- image2012-10-11 13:47:38.png
- image2012-10-11 13:47:44.png
- image2012-10-11 13:47:49.png
- image2012-10-11 13:47:5.png
- image2012-10-11 13:47:54.png
- image2012-10-11 13:47:58.png
- image2012-10-11 13:49:10.png
- image2012-10-11 13:50:11.png
- image2012-10-11 13:50:4.png
- image2012-10-11 13:50:50.png
- image2012-10-11 13:51:24.png
- image2012-10-11 13:51:4.png
- image2012-10-11 13:51:43.png
- image2012-10-11 13:51:52.png
- image2012-10-11 13:52:3.png
- image2012-10-12 10:48:53.png
- image2012-10-12 10:49:16.png
- image2012-10-12 10:51:52.png
- image2012-10-12 10:59:54.png
- image2012-10-15 14:39:49.png
- image2012-10-15 14:40:31.png
- image2012-10-15 14:41:10.png
- sgraph.pdf
- synccharts.pdf
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Title
-
... ... @@ -1,1 +1,1 @@ 1 -SC Charts-Editor based on Yakindu1 +A SyncChart-Editor based on Yakindu - Parent
-
... ... @@ -1,1 +1,0 @@ 1 -SyncCharts - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. cmot1 +XWiki.wah - Content
-
... ... @@ -1,88 +15,104 @@ 1 -{{panel title="Project Overview" borderStyle="dashed"}} 2 -Project Status: 3 - 4 -* **CURRENTLY (% style="color: rgb(0,51,102);" %)__NOT__ (%%)UNDER ACTIVE DEVELOPMENT** 5 - 6 -Responsible: 7 - 8 -* [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]] 9 - 10 -Related Theses: 11 - 12 -* Whabi Haribi, //A SyncChart-Editor based on Yakindu//, March 2013 ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/wah-mt.pdf||shape="rect" class="external-link-new-window"]]) 13 -{{/panel}} 14 - 15 15 = Yakindu SCT = 16 16 17 -YAKINDU Statechart Tools (SCT) is an open source tool for the specification and development of reactive, event-based systems using state machines ([[Yakindu SCT User Guide>>url:http://www.statecharts.org/documentation.html||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. 18 18 19 - YAKINDUSCTconsists 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.statecharts.org||shape="rect"]]).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"]]). 20 20 21 21 [[image:attach:Yakindu SCT.png]] 22 22 23 23 = Yakindu SCT Editor VS KIELER SyncCharts Editor = 24 24 25 -* [[Comparison of the graphical representation>>doc:Comparison of the graphical representation]] 26 -* [[Comparison of the textual description language>>doc:Comparison of the textual description language]] 27 -* [[The KIELER textual SyncCharts>>doc:SCharts Textual Syntax (*\.SCT)]] 28 -* [[doc:Interfaces declarations]] 29 -* [[doc:Transitions priorities]] 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 30 30 31 -= Yakindu SCT module structure = 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**: 32 32 33 -(% style=" margin-left:30.0px;" %)34 - [[SeeYakinduWiki>>url:http://www.statecharts.org/documentation.html#Overview||shape="rect"]]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.- 35 35 36 - = Customizing Yakindu SCTEditor to SyncCharts =79 +**KIELER**: 37 37 38 -Two steps are required to adapt the Yakindu SCT Editor to the SyncCharts syntax: 39 - 40 -* adapting the graphical representation (sgraph + ui) 41 -* adapting the textual description language (stext) 42 - 43 -(% style="margin-left: 30.0px;" %) 44 -== The graphical representation == 45 - 46 -(% style="margin-left: 30.0px;" %) 47 -(% style="color: rgb(0,0,0);" %)To adapt the graphical representation, several steps are required: 48 - 49 -* 50 -*1. adapting the Metamodel for the graphical representation (% style="color: rgb(0,0,0);" %)of the state machine models(%%) (org.yakindu.sct.model.sgraph)\\ 51 -*11. [[Yakindu SCT Metamodel>>attach:sgraph.pdf]] 52 -*11. [[KIELER SyncCharts Metamodel>>attach:synccharts.pdf]] 53 -\\ 54 -*1. Figures (org.yakindu.sct.ui.editor.editor.figures) 55 -\\ 56 -*1. Editparts (org.yakindu.sct.ui.editor.editparts) 57 -\\ 58 -*1. Propertysheets (org.yakindu.sct.ui.editor.propertysheets) 59 -\\ 60 -*1. The palette (org.yakindu.sct.ui.editor/plugin.xml) 61 - 62 -(% style="margin-left: 60.0px;" %) 63 -** 64 -** 65 - 66 -(% style="margin-left: 60.0px;" %) 67 -**Experimentations** 68 - 69 -* [[How to modify Initial and Finial States in Yakindu SCT Editor>>doc:How to modify Initial and Final States in Yakindu SCT Editor]] 70 -* [[doc:How to add Transition Types in Yakindu SCT Editor]] 71 - 72 -(% style="margin-left: 30.0px;" %) 73 -== The textual description language == 74 - 75 -(% style="margin-left: 30.0px;" %) 76 -(% style="color: rgb(0,0,0);" %)Yakindu: The textual [[description language>>url:http://svn.codespot.com/a/eclipselabs.org/yakindu/SCT2/trunk/plugins/org.yakindu.sct.doc.user/help/user/05_Reference/reference.html#Statechartdescriptionlanguage||shape="rect"]] is used to declare and describe behaviors in the state machine. 77 - 78 -* 79 -** [[doc:Yakindu-SCCharts textual desciption language]]. 80 - 81 -((( 82 -(% style="color: rgb(0,0,0);" %) 83 - 81 +A History is a Transition 84 84 ))) 85 - 86 -((( 87 -(% style="color: rgb(0,0,0);" %)Project progress 83 +|((( 84 +Synchronization 85 +)))|((( 86 + 87 +)))|((( 88 +[[image:attach:image2012-10-11 13:47:49.png]] 89 +)))|((( 90 + 88 88 ))) 92 +|((( 93 +Choise 94 +)))|((( 95 +[[image:attach:image2012-10-11 13:47:38.png]] 96 +)))|((( 97 +[[image:attach:image2012-10-11 13:47:44.png]] 98 +)))|((( 99 + 100 +))) 101 + 102 + 103 + 104 += Master =
- YAKINDU-SCT-UserGuide-1.2.0.pdf
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.8 MB - Content
- Yakindu SCT.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -40.9 KB - Content
- Yakindu sgraph.pdf
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -174.8 KB - Content
- image2012-10-11 13:46:43.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.4 KB - Content
- image2012-10-11 13:46:50.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -486 bytes - Content
- image2012-10-11 13:46:58.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.8 KB - Content
- image2012-10-11 13:47:11.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.9 KB - Content
- image2012-10-11 13:47:20.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.1 KB - Content
- image2012-10-11 13:47:27.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -3.6 KB - Content
- image2012-10-11 13:47:32.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.6 KB - Content
- image2012-10-11 13:47:38.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.8 KB - Content
- image2012-10-11 13:47:44.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.5 KB - Content
- image2012-10-11 13:47:49.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -208 bytes - Content
- image2012-10-11 13:47:5.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.2 KB - Content
- image2012-10-11 13:47:54.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -3.8 KB - Content
- image2012-10-11 13:47:58.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.6 KB - Content
- image2012-10-11 13:49:10.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.0 KB - Content
- image2012-10-11 13:50:11.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.1 KB - Content
- image2012-10-11 13:50:4.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -1.6 KB - Content
- image2012-10-11 13:50:50.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -815 bytes - Content
- image2012-10-11 13:51:24.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -533 bytes - Content
- image2012-10-11 13:51:4.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -533 bytes - Content
- image2012-10-11 13:51:43.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -841 bytes - Content
- image2012-10-11 13:51:52.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -550 bytes - Content
- image2012-10-11 13:52:3.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -586 bytes - Content
- image2012-10-12 10:48:53.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -12.4 KB - Content
- image2012-10-12 10:49:16.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -12.4 KB - Content
- image2012-10-12 10:51:52.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -12.4 KB - Content
- image2012-10-12 10:59:54.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -15.7 KB - Content
- image2012-10-15 14:39:49.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -3.0 KB - Content
- image2012-10-15 14:40:31.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.6 KB - Content
- image2012-10-15 14:41:10.png
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -2.0 KB - Content
- sgraph.pdf
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -217.2 KB - Content
- synccharts.pdf
-
- Author
-
... ... @@ -1,1 +1,0 @@ 1 -XWiki.XWikiGuest - Size
-
... ... @@ -1,1 +1,0 @@ 1 -196.2 KB - Content
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -29820 221 +2982054 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/29820 22/SCCharts-Editor based on Yakindu1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2982054/A SyncChart-Editor based on Yakindu