Explore @workflowfm Open Source projects

WorkflowFM (@workflowfm)

workflowfm

Stars
10
Global Org. Rank 156,343 (Top 50 %)
Registered over 5 years ago
Most used languages

Scala
62.5 %

OCaml
12.5 %

Java
12.5 %

JavaScript
12.5 %
Location 🇬🇧 United Kingdom
Country Total Rank 30,827
Country Ranking

OCaml
239

Scala
378

Java
7,352

pew

A persistent execution engine for pi-calculus workflows

d3-workflow-timeline

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

proter

A discrete event simulator for asynchronous prioritized processes

pew-deploy.g8

Template of deployment project for the WorkflowFM PEW Engine

ProterTutorial

Tutorial Example for Proter

workflowfm-reasoner

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

workflowfm-composer

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

HealthcareHandover

Simulation environment for patient handover (assignment/delegation).