@hackage ampersand3.1.0

Toolsuite for automated design of business processes.

You can define your business processes by means of rules, written in Relation Algebra.