workflowfm / workflowfm-reasoner

A logic-based library for correct-by-construction process modelling and composition.

http://docs.workflowfm.com/workflowfm-reasoner

workflowfm/workflowfm-reasoner Issues

Console composer should enable deployment commands
Updated 3 years ago
Console composer allows you to store a composition with the same name as a component of one of its components
Updated 3 years ago
Encode/decode process terms properly
Updated 5 years ago
Move provenance info to the process structure
Closed 5 years ago1
Input provenance tracking seems to report same channel multiple times
Closed 5 years ago
More control over generated channel names
Closed 5 years ago
A flexible console mode to use the reasoner at the toplevel
Closed 5 years ago
Scala code generation must be updated to PEW 1.3.0
Closed 5 years ago
Allow multiple instances of the same correspondence.
Updated 6 years ago1