HINWEIS: Diese Seiten sind veraltet. Bitte erwägen Sie, auf die Seiten des Nachfolgesystems DEViL zu wechseln.


The VL-Eli System

VL-Eli Statechart Specification for VLFM'01

Specification

statechart.vlag -- Specification of the language structure
statechart.view1.sl -- Computation of the graphical representation
statechart.drawings.fw -- Definition of the ANDStateDrawing

Actually, there is some other stuff which is needed to generate the structure editor. Most of it could be deduced from the specification above. Some other definitions are simple renamings to improve understandablity of the above specifications.

Generated Editor

The generated editor looks like this:

You can test the interactive properties of the editor! vleli-statecharts.tgz contains the generated source-code and can be installed under Linux and Solaris.