Using UML Activity Diagrams and Event B for the Specification and the Verification of Workflow Applications In Proceedings of the 7th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 0ICEIS, 149-155, 2009 , Milan, Italy