JSON API

The second mode of the WorkflowFM Reasoner exposes a JSON API that can enable interaction with external and web based systems.

The JSON API mode can be loaded using the following command:

1loads (!hol_dir ^ "/workflowfm/make.ml");;

The rest of this section describes the main types involved in the JSON schema, as well as the format for providing commands and the responses the reasoner can generate.