Charmy Version 2.0
Charmy Users
Fixed Bugs:
- delete of a message in the sequence
diagram
- delete of a message in the state diagram
- changed the sequence graphical menu
- managing of the tau messages in the sequence
diagrams
- sequence diagrams are consistent with the rest
of the architecture, managed for example the delete and the
modification of a message in the state
- Repaint when the sequence name is changed
- Copy of a sequence
- fixed the arrows type
- textual properties for state, topology and
sequence diagrams
- fixed guards and empty operations into the state
diagrams,
- changing of the state name
- save with and without name
- mouse scroll feature into editors (selection of
objects outside of the editor screen)
- Declaration var window extended to thread that
not contains local variables
- Empty entry state
- Promela:
- generation of local and global
variables
- fixed some bugs on promela code
generation
- differentiated the tau messages
- Buchi automata:
- fixed some bugs on the Buchi Automata
generation
New Features:
- Introduced the check feature, invoked by the
promela code generation and by the check button:
- in each state diagram it is impossible to
introduce two states with the same name;
- each state diagram must contain one and only
one initial state;
- for each send (receive) message in a
component, there must exists a receive (send) message in another component;
- sequence diagrams can contain only messages
already inserted into the state diagrams of the involved components;
- the sender and the receiver of a message must
be the same (components) in the sequence diagrams and in the state
diagrams;
- messages with the same name must have the same
number of parameters.
Fixed Bugs:
- reorganized the plugin structure
New Features:
- icons local to plugins
- Restructured the plugin data
organization:
- created the interface IPlugData that is
instantiated for each plugs in order to use data of others plugs and to
share its own data
- Introduced the PlugDataManager class that
contains un array of IPlugData used to store the registered
plugins.
Through this class it is possible to obtain the PlugData
for a specific plug by using the plugin
ID.