Cress Tool Suite
Cress is a comprehensive toolset for graphical service/workflow design
...The approach allows services to be described graphically as (work)flows of activities.
Cress diagrams are automatically translated into formal languages for rigorous analysis and verification, and are also automatically translated into implementation languages for deployment and validation.
Cress aims to make service design as easy as possible without requiring specialist development knowledge. It simplifies service creation to drawing diagrams, clicking buttons and defining a few tool parameters. ...