The approach has been implemented as user friendly tool able to design and verify Business Process. The tool is an ECLIPSE plug-in that uses BPMN notation for Business Process specification, ...