What We Do
Process Analysis
We analyse everyday practices and break them down to individual clinical and administrative tasks, the involved actors and the necessary resources. We collaborate closely with different members of the clinical teams to better understand their point-of-view.
Formal Modelling
We formally model the analysed processes as visual artefacts based on their requirements and outputs. Our engine constructs rigorous logic-based specifications automatically in the background.
Workflow Composition
We connect the visual processes to form well-defined workflows. Mathematical proofs are run automatically to minimize errors and ensure trust.
Automated Deployment
The workflows automatically translate to executable solutions. We can simulate patient journeys through the modelled practices or deploy them for real use in the form of electronic checklists.
Workflow FM
WorkflowFM is a smart framework for modelling, verifying and deploying workflows.
It allows the visual modelling, rigorous composition and verification of healthcare processes. In so doing, it allows for a systematic account of resources and information flow tracking, while enabling the incorporation of policies and clinical guidelines into the workflow model. Last but not least, it automatically generates executable software that faithfully implements the modelled workflow.
WorkflowFM offers an all-in-one solution, from specification to deployment. Its technology is backed by some of the latest research in Artificial Intelligence.
Easy to use and intuitive.
Consistency and continuity of model.
In-depth analysis of scenarios.
Swift software deployment.
The Team
Petros
