Skip to content

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

License

Notifications You must be signed in to change notification settings

workflowfm/workflowfm-composer

Repository files navigation

WorkflowFM Composer Client & Server

https://raw.githubusercontent.com/workflowfm/workflowfm-composer/main/docs/static/images/WorkflowFM-Composer.png

https://img.shields.io/badge/version-0.7.2h-brightgreen.svg https://img.shields.io/badge/license-Apache%202.0-yellowgreen.svg

A Java-based server and Graphical User Interface for formally verified process composition using the WorkflowFM Reasoner.

Artificial Intelligence Modelling Lab
Artificial Intelligence and its Applications Institute
School of Informatics, University of Edinburgh

This is part of the WorkflowFM framework for correct-by-construction process and resource workflows.

More info and documentation can be found in the main webpage.

Quick Setup

  • Minimum requirement: Java 11

Client

Grab the zipped distribution from the latest release.

Start the Client using (Linux/Mac):

./bin/WorkflowFM_Composer 

or similarly in Windows:

.\bin\WorkflowFM_Composer.bat

User preferences are stored in the user’s home directory, under .workflowfm/.

Once loaded, enter the address and port of the server in the dialog provided.

Server

The easiest setup is to use the latest available Docker image.

Pull the image using:

docker pull ghcr.io/workflowfm/composer-server:latest

Then run a container using:

docker run -p 7000:7000 --name workflowfm-server --detach ghcr.io/workflowfm/composer-server:latest
  • The name workflowfm-server is optional and can be changed to whatever you want your server container to be named.
  • The port can also be bound to a different system port, e.g. using -p 9000:7000 to bind it to port 9000.

⚠️ Note: The container may take a few minutes to fully start! ⚠️

This is be cause it loads HOL Light and the WorkflowFM Reasoner from scratch. You can follow progress using:

docker logs --follow workflowfm-server

Authors

Maintainer

Petros Papapanagiotou - pe.p@ed.ac.uk - @PetrosPapapa

Contributors

A big thank you to the following contributors in order of appearance:

License

Distributed under the Apache 2.0 license. See LICENSE for more information.

Copyright © 2012-2021 The University of Edinburgh and contributors

About

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

Resources

License

Stars

Watchers

Forks

Languages