Welcome to the WorkflowFM Composer Client documentation.

The Client provides a Java-based Graphical User Interface or formally verified process composition using the WorkflowFM Reasoner.

The Client requires a running instance of the Server.

It allows the specification of processes using their input and output resources. Processes can then be composed together with simple mouse gestures. Every composition action is sent to the reasoner, via the server, and then performed using logic-based reasoning so that the result is formally verified.

Configuration values are stored in the user's home directory, under .workflowfm/.
Get started