Charmy Version 2.0
Core
- PLUGINS MANAGEMENT
- No default plugins are required.
- Each plugin is represented as a jar file.
- FEATURES
- Through the features it is possible to load a subset of installed plugins (if the features are not set then the system load the installed plugins with more recent version).
- FILE MANAGER
- Each plugin can extend the charmy xschema for defining its saving info.
- Plugins extension mechanism: Extension Points (experimental).
Plugin
- Charmy File (new plugin): it substitutes the old plugin core.a04file. It uses the new feature for managing the plugins.
- Topology Diagram
- Used the extension points.
- Saves info extending the info contained into the plugin CharmyFile
- State Diagram
- bugs fixed
- Saves info extending the info contained into the plugin CharmyFile
- Sequence Diagram
- Bug fixed
- Extended to Property Sequence Charts (PSC).
- Buchi Automata
- PSC2BA: extended to support the translation of PSC diagrams
- TeStor