workflowfm/workflowfm-reasoner

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

Language: OCaml - Size: 4.19 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

workflowfm/pew

A persistent execution engine for pi-calculus workflows

Language: Scala - Size: 4.84 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

workflowfm/proter-online 📦

Language: Scala - Size: 105 KB - Last synced at: 5 months ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

workflowfm/workflowfm-composer

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

Language: Java - Size: 3.44 MB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

workflowfm/proter

A discrete event simulator for asynchronous prioritized processes

Language: Scala - Size: 17.5 MB - Last synced at: 5 months ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

workflowfm/vis-workflow-timeline

An application of vis-timeline to workflow data.

Language: JavaScript - Size: 442 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

workflowfm/proter-online-frontend

Language: JavaScript - Size: 1.24 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

workflowfm/workflowfm.github.io

Language: CSS - Size: 248 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

workflowfm/hol-light Fork of jrh13/hol-light

HOL Light fork with the WorkflowFM Reasoner

Language: OCaml - Size: 25.6 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

workflowfm/pew-deploy.g8

Template of deployment project for the WorkflowFM PEW Engine

Language: Scala - Size: 11.7 KB - Last synced at: 5 months ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

workflowfm/HealthcareHandover

Simulation environment for patient handover (assignment/delegation).

Language: Scala - Size: 146 KB - Last synced at: 5 months ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

workflowfm/ProterTutorial

Tutorial Example for Proter

Language: Scala - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

workflowfm/d3-workflow-timeline

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

Language: JavaScript - Size: 33.2 KB - Last synced at: 5 months ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0