Dr Petros Papapanagiotou

Senior Scala Engineer

WorkflowFM Composer

The WorkflowFM Composer is a a diagrammatic tool for formally verified process modelling and composition.

It is available under the Apache 2.0 License on GitHub: https://github.com/workflowfm/workflowfm-composer

Website and documentation is available here: http://docs.workflowfm.com/workflowfm-composer/


The WorkflowFM Composer consists of a Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner. It provides a visual, diagrammatic interface to specify processes based on their input and output resources, and compose them together to form more complex workflows.

Actions in the GUI of the Client are sent to the Server, which in turn is able to interact directly with the Reasoner. The Reasoner then performs the necessary logic-based inference within the rigorous environment of the HOL Light theorem prover.

The end result is a composite process that is provably correct and has the following properties:

Key Features