Changelog for Workcraft 2 Series
20 June 2014
Usability improvements
Additional checks of file existence and readability before attempting to open or import it. If a file cannot be open an error message explains the reason for this.
Selected portion of a model can be copied as XML to system-wide clipboard for debug purposes. This feature can be switched on/off in Edit→Preferences..→Editor→Debug clipboard).
Model and tool plugins
Dataflow Structures plugin
Use of coloured tokens to distinguish between the pipelined bursts of activity. Source registers generate tokens of changing colours which mix-up while propagating through the pipiline.
Cycle column is populated with information in the cycle analysis table.
Signal Transition Graph plugin
Verification of consistency, output persistency, USC, CSC and normalcy by using specialised MPSat command line parameters.
Verification of conformation (interface conformance) property using a specially generated Reach expression for Mpsat.
Transformation tool for making selected places implicit or explicit. If selection is empty, then the transformation is applied to the whole model.
Transformation tool for mirroring signals - inputs become outputs and vice versa.
Signal names and types can be modified in the ProperyEditor as properties of a model when no nodes are selected.
Conditional Partial order graphs
Digital Circuit plugin
Verification of a circuit with the environment
STG for conformation, deadlocks and hazards. The environment
STG can be selected in the model property by pointing to a .g file or
STG work.
Petri Net plugin
STG-specific verification tools are removed from Tools→Verification menu
Support for non-
STG reachability analysis mode of MPSat is added
Fixes and technical stuff
The Show contacts global option is respected now by the Digital Circuit model. The “Show arrow” global option is removed as the same effect can be achieved by setting Arrow size to none on all connections.
Dot parser is extended with handling of NUMBER tokens, so both the old and new dot formats are recognised.
Fix for incorrect import of .g files - transition instances were forced into auto-generated values.
Allow connecting nodes on any levels (previously the nodes of the higher than the current level were not accessible).
Fix for inconsistent type of newly created
STG transitions when the type of existing transitions with the same name was changed.
Forbid multiple arcs between transitions, thus avoiding implicit places with the same name.
RenderedText and RenderedFormula classes are extended with 2D offset property, independently for X and Y coordinates, to allow correct positioning of labels associated with oblong VisualComponents.
Support for copy-paste in nested groups.
Fix for drawing of arcs and labels in CPOG plugin.
The pattern for
STG dummies is restricted to forbid + and - in their names.
16 Jan 2014
Usability improvements
We started implementing a help system. Currently only three
HTML documents are included in the
Help menu:
Tips and Tricks,
SCENCO plugin and
REACH language. The latter is also available directly from the
Tools→Verification→Check custom property (punf, MPSat) dialogue (a front-end to the
Mpsat
tool).
The scripts run.bat
and run.sh
are renamed to workcraft.bat
and workcraft
respectively. This is to enable running Workcraft by typing workcraft
in the command line (provided its directory is added to the PATH environment variable).
Performance improvements for model rendering and Property Editor updates.
Visual improvements for group rendering
Group boundary calculation takes into account labels and names of children components.
Drawing of the arcs is postponed until all the children vertices of the same parent are visualised (useful for non-transparent groups).
Groups are made transparent in SON and CPOG plugins.
Model and tool plugins
Signal Transition Graph plugin
Clean up of transition properties.
Global settings for colours of input, output, internal and dummy transitions.
Digital Circuit plugin
Dataflow Structures plugin
Cycle analysis tool for visualisation of causes for the limited throughput.
Wagging tool for improving the throughput.
Contraction tool for removal of selected components.
Conditional Partial Order graph plugin
Signal Transition Graph plugin
Clean up of transition properties.
Global settings for colours of input, output, internal and dummy transitions.
Digital Circuit plugin
Improvements of generic simulation tool
Fixes and technical stuff
Run-scripts are corrected to better support white-spaces in the path to Workcraft directory.
log4j.properties default configuration is added to avoid warning messages from log4j logger.
Cp1252 encoding is removed form the run-scripts as it was breaking the UTF8 compatibility.
The GatePlugin project is removed as it is superseded by the CircuitPlugin project.
The Workflow project is removed as the workflow idea did not get developed.
The Workcraft project is renamed into WorkcraftCore to avoid a conflict with the workcraft
shell script.
8 Nov 2013
Usability improvements
Model and tool plugins
Fixes and technical stuff
31 Oct 2013
Usability improvements
Group navigation and selection improvements (thanks to Ashur for advise)
Double click inside a group to enter it (same action as Page Up key)
Double-click outside a group/outside the current group to go one level up (same action as Page Down key)
Press Esc to resets selection
Choose Edit→Select all (or press Ctrl+A) to select all components
Choose Edit→Inverse selection (or exclamation mark) to inverse the selection
In node generator tools only left-click is allowed now (right-click and middle-click are masked)
Four small toggle-buttons are added in the top-left corner (between the horizontal and vertical rulers). These buttons provide a quick control for visibility of the grid, the rulers, components names and labels. They are shortcuts to corresponding properties of the Edit→Preferences dialogue.
Escape and Enter keys work in New work dialogue now as alternatives to OK and Cancel buttons respectively.
Model and tool plugins
Fixes and technical stuff
Fix for visualisation of inverting arcs in Dataflow Structures plugin.
Fix for editing Set and Reset functions of Digital Circuit plugin in the Property Editor.
CPOGs plugin returns an informative error message if there is fewer than 2 scenarios to merge (thanks to Andrey!).
Restored the set and reset properties of function components in Digital Circuit plugin.
15 Oct 2013
Usability improvements
Selection-related operations (grouping-ungrouping, current group change, rotation and flipping, etc) are moved from the Object menu into the Tool controls panel. This decision was made because those operations are only meaningful while the selection tool is active, and the menu had to be disabled in all other tools.
Model and tool plugins
Structural Occurrence Net plugin is added (thanks to Bowen!) It is still in very initial development stage, but already supports the following features: capturing and simulating SON models with sync/async communication, SON-groups and super-groups, and checking for few structural properties.
Conditional Partial Order Graphs plugin is improved (thanks to Stan and Andrey!) Now the Tool control panel of the Selection too has a text editor for entering the graphs in algebraic form. The parser accepts C-style names for the vertices and supports parallel composition (+ or space) and sequential composition (→). Parenthesis can be used for grouping sub-graphs, e.g. (a b)→(c d). See
http://workcraft.org/scenco for details.
Fixes and technical stuff
17 Sep 2013
Usability improvements
Improved copy-paste, especially in
STG plugin (now the instances of transitions are changing rather than the name of the whole transition; all the other plugins use old conflict resolution mechanism and add unique suffix to conflicting node names).
13 Sep 2013
Usability improvements
New models and tools
Fixes and technical stuff
Improved undo-redo granularity (grouping and ungrouping, flipping and rotation, copy-cut-paste, etc).
1 Aug 2013
Usability improvements
Table of signal states in
STG and Circuit simulation tool.
Fixed capacity property of Petri net and
STG places.
Improvements on
STG plugin for creation of signal transitions (Shift modifier for input/output signals and Ctrl modifier for rising/falling transitions).
Fixes and technical stuff