Changes for page Visual Kompare (KIViK)

Last modified by Richard Kreissig on 2023/09/14 10:34
<
From version < 3.1 >
edited by cds
on 2012/03/24 15:03
To version < 6.1 >
edited by msp
on 2012/10/02 15:42
>
Change comment: Migrated to Confluence 5.3

Summary

Details

Page properties
Parent
... ... @@ -1,0 +1,1 @@
1 +Discontinued Projects
Author
... ... @@ -1,1 +1,1 @@
1 -XWiki.cds
1 +XWiki.msp
Content
... ... @@ -1,17 +1,22 @@
1 -{{warning}}
2 -This page is not migrated yet. Try the [[old wiki>>url:http://trac.rtsys.informatik.uni-kiel.de/trac/kieler||shape="rect"]] until someone fills me with content.
3 -{{/warning}}
1 +{{note title="Legacy Project"}}
2 +KIViK is currently not maintained and hence not part of the KIELER release. Source code is only available for Eclipse 3.3.
3 +{{/note}}
4 4  
5 -{{panel title="Project Overview" borderStyle="dashed"}}
6 -Responsible:
7 -
8 -* [[Christian Motika>>url:http://www.informatik.uni-kiel.de/rtsys/kontakt/cmot/||shape="rect"]]
9 -
5 +{{panel borderStyle="dashed" title="Project Overview"}}
10 10  Related Theses:
11 11  
12 12  * Arne Schipper, Layout and Visual Comparison of Statecharts, December 2008 ([[pdf>>url:http://rtsys.informatik.uni-kiel.de/%7Ebiblio/downloads/theses/ars-dt.pdf||shape="rect"]])
13 13  {{/panel}}
14 14  
15 -{{note title="Legacy Project"}}
16 -KIViK is currently not maintained and hence not part of the KIELER release. Source code is only available for Eclipse 3.3.
17 -{{/note}}
11 +Statecharts are a generally accepted method to model safety critical reactive systems, reducing modeling errors of the developers. As Statecharts are inherently graphical, two problems arise when working with them. One issue is to receive a sound layout of Statecharts automatically, the other addresses the comparison of Statecharts at the diagram level.
12 +
13 +Much research has already been done considering layout and automatic layout of Statecharts. This thesis continues these works and provides an implementation of a framework enabling Statechart layout in Eclipse. Great importance is attached to meta layout facilities, enabling different layout types for different parts of a Statechart. This can be exploited by pattern-based layout, increasing the readability and comprehensiveness.
14 +
15 +Working with projects usually results in the need to compare different versions of files. So far, there is no useful solution to compare Statecharts visually. This thesis evaluates several possible approaches and presents one promising one. As a proof of concept, and for later use in a meta-tool framework, both proposals are implemented in Eclipse.
16 +
17 +[[image:attach:image2012-10-2 11:30:6.png]]
18 +KiViK compare window
19 +
20 +
21 +
22 +
image2012-10-2 11:30:6.png
Author
... ... @@ -1,0 +1,1 @@
1 +XWiki.XWikiGuest
Size
... ... @@ -1,0 +1,1 @@
1 +47.8 KB
Content
Confluence.Code.ConfluencePageClass[0]
Id
... ... @@ -1,1 +1,1 @@
1 -2981941
1 +328109
URL
... ... @@ -1,1 +1,1 @@
1 -https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/2981941/Visual Kompare (KIViK)
1 +https://rtsys.informatik.uni-kiel.de/confluence//wiki/spaces/KIELER/pages/328109/Visual Kompare (KIViK)

Navigation

Quick Links

KIELER on GitHub
RTSYS Homepage