CoIn Graphical Modelling Tool
The CoIn modelling tool is a graphical Java application for visual modelling of component interaction in component-based systems using CI automata. In the tool, each basic/primitive component (on the lowest level of system hierarchy, with no sub-components) is modelled explicitly via entering its states and transitions, whereas the models of composite components are specified via listing their sub-components and intended type of composition. The states and transitions of a composite component do not need to be specified explicitly, as they are fully determined by the models of sub-components, and can be hence enumerated automatically whenever needed.
The Main Developer
Overview of the functionality
The essential functionality of the tool includes:
Primitive automata
- Visual entering of states and transitions
- Adjustable shapes of transitions
- Editable states (name, initial state) and transitions (label)
- Automatically computed hierarchy of component names
- Zooming of the visual view
- Export of the visual view to GIF, PNG, EPS and PDF
Composite automata
- Insertion and modification of the list of sub-components
- Controlled set of possible sub-components (restricted to those defined before the composite, and not used already)
- Drag-and-drop changing of the order of component definitions (via moving the tabs)
- Four predefined types of composition
Others
- Syntactic checking of used names during modelling
- Export of the model into the textual notation accepted by the verification tool