User Tools

Site Tools


changelog:v3.0.3

Workcraft v3.0.3 (2015-01-26)

Usability improvements

  • Tools menu is made inactive in simulation mode.
  • The menu items are rearranged and simplified
    • Utility menu is removed and its items are moved to File (Reconfigure plugins) and View (Reset UI layout).
    • Items of Tool→Verification menu are shortened by removing “Check for” prefix.
    • The items of Tools→Synthesis menu are shortened by removing “synthesis” suffix.
  • Offline help and tutorial files are updated. Workcraft overview files are also included.
  • Possibility to undo the action of layout tools.
  • The shape of a connection is preserved on relocation of its adjacent nodes.
  • Rearrangement of back-end tools in their own sub-directories.
  • Flipping and rotation of labels and names of the components.

Model and tool plugins

  • Finite State Machine plugin (new)
    • Built-in verification tools for
      • Determinism.
      • Deadlock-freedom.
      • Unreachable states.
      • Reversibility.
    • Tool for building a state graph of a Petri Net (using Petrify).
    • Tool for synthesis of Petri Net (using Petrify).
    • Tool for converting into Petri Net.
  • Finite State Transducer plugin (new)
    • Import and export of State Graph .sg files.
    • Tool for building a state graph of a Signal Transition Graph (using Petrify).
    • Tool for synthesis of Signal Transition Graph (using Petrify).
    • Tool for converting into Signal Transition Graph.
  • Signal Transition Graph plugin
    • Generalisation of a Reach expression for conformation check.
    • Tool for STG re-synthesis.
    • Tool for conversion between STG and Petri net models.
    • Fix for STG signal renaming in the property editor.
    • Reduced number of Mpsat modes in custom property window.
  • Digital Circuit plugin
    • When a circuit is converted to STG its gates that drive the primary outputs get signal names from the output ports. No new signals are created for the ports themselves.
    • Environment URI is made relative to location of the circuit work file.
    • Forbid input pins of the circuit components to be drivers.
  • Structured Occurrence Net plugin
    • BSON and CSON reachability check.
    • Replace cycle detection algorithm by Tarjan algorithm.
    • Behavioural condition is marked if every its corresponding abstract-initial-condition is marked.
    • Add synchronous communication checking for abstract events.
    • Update the enabled event color in reverse simulation.
    • Reset reverse simulation state when tool is activated or deactivated.
  • Conditional Partial Order Graph plugin
    • Support for Windows version of programmer backend tool.
    • Encoding results now saved into a temporary folder.
    • Renaming of Programmer tool into Scenco.

Fixes and technical stuff

  • Correction of .g parsers for recognition of comments.
  • Generalised model converter tool for translation between similar models.
  • Refactoring of visual connection type.
  • Refactoring the usage of Framework as a singleton class.
  • Reference counting in DefaultMathNodeRemover is replaced with tracking the set of dependent nodes.
  • Unit tests are updated.
  • PetrifyUtilitySettings class is moved from the core to petrify plugin.
  • Bounding box of the current level is calculated in root space for level-up at double click.
  • Move nodes and control points at reparenting.
  • Generalised handling of property based on enum type with predefined values.
  • The deprecated classes for DualModelDeserialisation are removed.