PROGRAMS BY www.win.tue.nl/declare/

Declare is an open source workflow management system using a declarative approach to business process modeling and execution. See also http://www.win.tue.nl/declare/ for more details.