workflowfm/proter

Stars
1
Language
Scala
License
Apache License 2.0
Created over 5 years ago
Updated 11 months ago

workflowfm/proter

workflowfm

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A discrete event simulator for asynchronous prioritized processes

pew

A persistent execution engine for pi-calculus workflows

d3-workflow-timeline

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

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).