The 2CL Eclipse Plug-in
Installation
The 2CL plug-in for the Eclipse IDE can be downloaded from this link. If you need some help to install the plug-in you can take a look at this video.
To generate the interaction graph without installing the plug-in take a look at this link. In this way it is not possible to define the protocol specification graphically and to navigate the interaction graph.
Compatibility
The plug-in was developed for Eclipse Indigo and was tested in the following operative systems:- Ubuntu 11.10 with Java 1.7.0
- Macosx 10.6 with Java 1.6.o
- Windows XP Professional with Java 1.6.0
Features
The plug-in foreseen two editors: the constitutive and the regulative editors. The former allows the specification of a set of actions following the 2CL protocols grammar. The latter allows the design of a set of constraints as shown in the figure below.
Moreover, it provides the feature Graph explorer (see figure below) which supplies different functionalities, like the visualization of the shortest path given a source and a target state, and the visualisation of legal (or illegal) paths only. The user can add or delete a node in a path; search a state starting from a label; and search all the states that contain a certain fact or commitment. Moreover, the tool allows the exploration of the graph one state at a time, by choosing which node to expand.
