ViOpContract is a prototype tool that helps developers to draw visual operation contracts. It is Eclipse plug-in. The Graphical Editing Framework (GEF) is used to provide the means of representing the graphical elements of the visual contracts such as components, layers, and links. The Eclipse Modeling Framework (EMF) is used to implement the data model. The workplace data can be saved as an XMI format file ends with “.voc” extension. The visual editor of ViOpContract allows developers to export visual operation contracts as images, and to do zooming in and out, and to transform visual contracts to textual format.
The main view of ViOpContract starts with two basic window tabs, or views. The first view helps to draw the domain model. The second view is the system operation view, which allows the addition of visual operation contracts to the system operations. Then, each visual operation contracts will have its own view.
You can find more about the tool and its usage by reading my master thesis: http://hdl.handle.net/10393/34976 , or http://dx.doi.org/10.20381/ruor-4935