APPROACH FOR VERIFYING WORKFLOW VALIDITY Topics: Business Process Management; Interoperability; Model Driven Architectures and Engineering In Proceedings of the 13th International Conference on Enterprise Information Systems - Volume 4: ICEIS, 66-75, 2011 , Beijing, China