Layout and Visual Comparison
Diploma Thesis, Real-Time and Embedded
Systems Group, Christian-Albrechts-Universitšt zu
Abstract: Statecharts are a generally accepted method to model safety critical reactive sys-
tems, 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.
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 State-
chart. This can be exploited by pattern-based layout, increasing the readability and
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.