Java

Logic-based workflows

2009-today

This project aims to enhance the development of process workflows with AI techniques so that various properties of the models are verified as they are being built, i.e. workflows that are correct-by-construction. In particular, we employ the proofs-as-processes paradigm which describes the correspondence between Classical Linear Logic (CLL) proofs with π-calculus processes. This enables us to …

WorkflowFM Composer

2009-2022

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/ About The WorkflowFM Composer consists of a Java-based server and GUI for formally verified …

Integrated Care Pathways for HIV patients

2014-2018

We work in close collaboration with the NHS Lothian and NHS Greater Glasgow and Clyde boards to improve HIV care by mapping the processes involved in the form of an Integrated Care Pathways (ICPs). We employ a rigorous methodology involving contextual interviews, questionnaires, and shadowing to capture the and record necessary knowledge. Using the logic-based tool WorkflowFM for this purpose …