Software Documentation
GUI for verified process modelling and composition
Logic-based process modelling and composition
A persistent workflow execution engine
Priority-based business process simulation