This is a workflow engine, that will convert its input (primarily OWL-s) into a process algebraic form, and then execute it. The individual service calls are bound to the actions in the algebra.
It will be written in the functional language, Haskell.
At present, code is available and functional, but still requires some work before a release can be made.
These details are provided for information only. No information here is legal advice and should not be used as such.