Repositories list

• workflowfm.github.io

  Public
  CSS

  •0•0•0•0•Updated Dec 27, 2023Dec 27, 2023

• workflowfm-reasoner

  Public
  A logic-based library for correct-by-construction process modelling and composition.

  theorem-provingtype-theoryworkflows+ 6workflow-managementbusiness-process-managementcorrect-by-constructionresource-modelingworkflow-modelsproofs-as-processes

  OCaml

  •

  Apache License 2.0

  •0•1•4•0•Updated Dec 27, 2023Dec 27, 2023

• pew

  Public
  A persistent execution engine for pi-calculus workflows

  workflow-engineprocess-algebraworkflows+ 3process-algebra-engineworkflow-managementbusiness-process-management

  Scala

  •

  Apache License 2.0

  •0•3•10•1•Updated Dec 27, 2023Dec 27, 2023

• workflowfm-composer

  Public
  A Java-based server and GUI for formally verified process composition using the WorkflowFM Reasoner

  Java

  •

  Apache License 2.0

  •0•1•0•0•Updated Dec 26, 2023Dec 26, 2023

• proter

  Public
  A discrete event simulator for asynchronous prioritized processes

  simulationsimulation-frameworkresource-management+ 2business-process-managementdiscrete-event-simulation

  Scala

  •

  Apache License 2.0

  •0•1•16•3•Updated Dec 25, 2023Dec 25, 2023

• proter-online

  Public archive
  Scala

  •

  Apache License 2.0

  •0•0•0•0•Updated Jul 27, 2022Jul 27, 2022

• ProterTutorial

  Public
  Tutorial Example for Proter

  Scala

  •

  Apache License 2.0

  •0•1•0•0•Updated Jul 24, 2022Jul 24, 2022

• vis-workflow-timeline

  Public
  An application of vis-timeline to workflow data.

  visualizationworkflowtimeline+ 1vis-timeline

  JavaScript

  •

  Apache License 2.0

  •0•0•0•0•Updated May 17, 2022May 17, 2022

• proter-online-frontend

  Public
  JavaScript

  •

  Apache License 2.0

  •0•0•0•0•Updated Apr 6, 2022Apr 6, 2022

• pew-deploy.g8

  Public
  Template of deployment project for the WorkflowFM PEW Engine

  Scala

  •

  Creative Commons Zero v1.0 Universal

  •0•1•0•0•Updated Jan 26, 2022Jan 26, 2022

• hol-light

  Public
  HOL Light fork with the WorkflowFM Reasoner

  OCaml

  •

  Other

  •79•0•0•0•Updated Oct 13, 2021Oct 13, 2021

• HealthcareHandover

  Public
  Simulation environment for patient handover (assignment/delegation).

  Scala

  •

  Apache License 2.0

  •0•1•0•0•Updated Jul 28, 2021Jul 28, 2021

• d3-workflow-timeline

  Public
  An adaptation of d3-timeline to display workflow data for WorkflowFM.

  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •0•1•0•0•Updated Oct 12, 2020Oct 12, 2020