Changes for page SCCharts Development
Last modified by Richard Kreissig on 2023/09/14 10:04
Summary
-
Page properties (1 modified, 0 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Content
-
... ... @@ -73,32 +73,72 @@ 73 73 (% style="color: rgb(0,0,0);" %)Reinhard von Hanxleden and Michael Mendler and Joaquín Aguado and Björn Duderstadt and Insa Fuhrmann and Christian Motika and Stephen Mercer and Owen O’Brien and Partha Roop. Sequentially Constructive Concurrency—A Conservative Extension of the Synchronous Model of Computation. (% class="cmti-10" %)ACM Transactions on Embedded Computing(%%) (% class="cmti-10" %)Systems, Special Issue on Applications of Concurrency to System Design(%%), 13(4s):144:1–144:26, July 2014. (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/tecs14.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenMA+14||shape="rect"]] 74 74 * **Overview and High-Level Transformations in Detail:** 75 75 (% style="color: rgb(0,0,0);" %)Reinhard von Hanxleden and Björn Duderstadt and Christian Motika and Steven Smyth and Michael Mendler and Joaquín Aguado and Stephen Mercer and Owen O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. Technical Report 1311, Christian-Albrechts-Universität zu Kiel, Department of Computer Science, December 2013. ISSN 2192-6247. (%%)[[pdf>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/downloads/papers/report-1311.pdf||shape="rect"]](% style="color: rgb(0,0,0);" %), (%%)[[bib>>url:http://rtsys.informatik.uni-kiel.de/~~biblio/cgi-bin/bibcgi.cgi?key=vonHanxledenDM+13b||shape="rect"]] 76 +{{/layout-cell}} 77 +{{/layout-section}} 76 76 79 +{{layout-section ac:type="two_right_sidebar"}} 80 +{{layout-cell}} 77 77 = The SCCharts Metamodel = 78 78 79 -Navigate to the 83 +Navigate to the {{code language="none"}}models{{/code}} folder of the plugin {{code language="none"}}de.cau.cs.kieler.sccharts{{/code}}. Here, open the {{code language="none"}}sccharts.ecore{{/code}} and right-click on the {{code language="none"}}sccharts.ecore{{/code}} file and select //Visualize Ecore Model//. Since you also installed **EcoreViz** from the OpenKieler Suite, you should now see a graphical representation of the SCCharts metamodel. Every SCChart will be a model of this metamodel. 80 80 81 -IMAGE 82 - 83 83 Try to understand most parts of the metamodel. You don't have to understand every detail but you should get the idea. 84 84 85 85 ==== Model Task ==== 86 86 87 -1. (% style="line-height: 20.0px;" %)Answer the following questions88 -11. (% style="line-height: 20.0px;" %)Name the class of the root element of an SCChart89 -11. (% style="line-height: 20.0px;" %)How do you describe a superstate in the model?90 -11. (% style="line-height: 20.0px;" %)What is a valued object?91 -11. (% style="line-height: 20.0px;" %)How do you get the type of an interface variable?89 +1. Answer the following questions 90 +11. Name the class of the root element of an SCChart 91 +11. How do you describe a superstate in the model? 92 +11. What is a valued object? 93 +11. How do you get the type of an interface variable? 92 92 11. Outline the relationship between states, regions, transitions, and valued objects 93 -11. (% style="line-height: 20.0px;" %)What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what?94 -1. (% style="line-height: 20.0px;" %)Write down (on paper, text editor, etc) how the following SCChart models look like95 -11. (% style="line-height: 1.42857;" %)Open the wiki page that explains the96 -11. (% style="line-height: 1.4286; line-height: 1.4286" %)Search the(%%)//SCChart, Initial State, State, Transition and Immediate Transition //example and ...95 +11. What other metamodels are needed for the SCCharts metamodel and write down which one is needed for what? 96 +1. Write down (on paper, text editor, etc) how the following SCChart models look like 97 +11. Open the wiki page that explains the [[doc:KIELER.Textual SCCharts Language SCT]]. 98 +11. Search the //SCChart, Initial State, State, Transition and Immediate Transition //example and ... 97 97 111. write down (on paper or text editor, etc) how the model of that SCChart looks like. 98 98 111. The user now marks C as final. What has to be changed in the model? What semantic problem do you see? 99 -11. (% style="line-height: 1.42857;" %)Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like.101 +11. Now, navigate to the //Super State: Strong Abort Transition //example. Write down (on paper) how the model of that SCCharts looks like. 100 100 11. And finally a more sophisticated model: Write down the model of ABO (from [[doc:KIELER.Examples]]). 101 101 104 + 105 + 106 +{{info title="KLighD Screenshots"}} 107 +By the way: You can //right-click// on the Diagram View surface to select //Save as image...// to create a screenshot! 108 +{{/info}} 109 +{{/layout-cell}} 110 + 111 +{{layout-cell}} 112 +[[image:attach:sccharts_metamodel.png]] 113 + 114 + 115 + 116 + 117 + 118 + 119 + 120 + 121 + 122 +[[image:attach:KLighDSaveAsImage.png]] 123 +{{/layout-cell}} 124 +{{/layout-section}} 125 + 126 +{{layout-section ac:type="single"}} 127 +{{layout-cell}} 128 + 129 + 130 + 131 +{{/layout-cell}} 132 +{{/layout-section}} 133 + 134 +{{layout-section ac:type="single"}} 135 +{{layout-cell}} 136 + 137 +{{/layout-cell}} 138 +{{/layout-section}} 139 + 140 +{{layout-section ac:type="single"}} 141 +{{layout-cell}} 102 102 = Creating SCCharts Models Programmatically = 103 103 104 104 == Creating a Test Project ==
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -16810 2991 +16810300 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810 299/SCCharts Development1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/TUT/pages/16810300/SCCharts Development