Changes for page Leveraging Ptolemy Semantics (KlePto)
Last modified by Richard Kreissig on 2023/09/14 10:55
Change comment:
Update document after refactoring.
Summary
-
Page properties (3 modified, 0 added, 0 removed)
-
Attachments (0 modified, 8 added, 0 removed)
-
Objects (1 modified, 0 added, 0 removed)
Details
- Page properties
-
- Parent
-
... ... @@ -1,0 +1,1 @@ 1 +Kieler.SCCharts.Previous Versions (Deprecated Documentation).WebHome - Author
-
... ... @@ -1,1 +1,1 @@ 1 -XWiki. cmot1 +XWiki.als - Content
-
... ... @@ -1,4 +1,8 @@ 1 -{{panel title="Project Overview" borderStyle="dashed"}} 1 +{{panel bgColor="orange" title="Deprecated since 0.12"}} 2 +This article is deprecated. The described features are no longer available in current releases. 3 +{{/panel}} 4 + 5 +{{panel borderStyle="dashed" title="Project Overview"}} 2 2 Responsible: 3 3 4 4 * [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]] ... ... @@ -80,7 +80,7 @@ 80 80 81 81 [[image:attach:klepto-problems.jpg]] 82 82 83 - 87 +\\ 84 84 85 85 === unsaved changes === 86 86 ... ... @@ -88,7 +88,7 @@ 88 88 89 89 * If you have any unsaved changes, you must save your model in order to simulate it because the transformation only considers the model file. You cannot start a simulation for an editor with any unsaved changes (even only graphical/non-semantical ones). 90 90 91 - 95 +\\ 92 92 93 93 === model changes during simulation === 94 94 ... ... @@ -96,7 +96,7 @@ 96 96 97 97 * If you change the model during the simulation, you will be warned about this. The transformation took place on the last saved version of your model and the simulation cannot consider on-the-fly changes. If you ignore this warning, keep in mind that you do not simulate the (changed) model in your editor. 98 98 99 - 103 +\\ 100 100 101 101 === Ptolemy Model could not be generated === 102 102 ... ... @@ -105,7 +105,7 @@ 105 105 * If the transformation could not take place, there might be some unsolved problems left. Check the "Problems" View of Eclipse (s.a.). 106 106 * This error message for example indicates that you have used an output signal in a trigger or an input signal in an output action. But this is fully brought to your attention when you inspect the "Problems" View as already described above. 107 107 108 - 112 +\\ 109 109 110 110 === Ptolemy Model could not make a step === 111 111 ... ... @@ -117,7 +117,7 @@ 117 117 118 118 [[image:attach:klepto-error4b.jpg]] 119 119 120 -* If Ptolemy states about undeterministic transitions that you should inspect the priorities that must be destinct. This is also indicated as an error tag in the SyncCha rts editor.124 +* If Ptolemy states about undeterministic transitions that you should inspect the priorities that must be destinct. This is also indicated as an error tag in the SyncChatrs editor. 121 121 122 122 ---- 123 123
- klepto-error1.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +19.2 KB - Content
- klepto-error2.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +22.2 KB - Content
- klepto-error3.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +10.4 KB - Content
- klepto-error4.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +21.6 KB - Content
- klepto-error4b.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +20.9 KB - Content
- klepto-logo.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +15.5 KB - Content
- klepto-problems.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +88.0 KB - Content
- klepto-screenshot.jpg
-
- Author
-
... ... @@ -1,0 +1,1 @@ 1 +XWiki.XWikiGuest - Size
-
... ... @@ -1,0 +1,1 @@ 1 +181.0 KB - Content
- Confluence.Code.ConfluencePageClass[0]
-
- Id
-
... ... @@ -1,1 +1,1 @@ 1 -8 850431 +328097 - URL
-
... ... @@ -1,1 +1,1 @@ 1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/8 85043/Leveraging Ptolemy Semantics (KlePto)1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/328097/Leveraging Ptolemy Semantics (KlePto)