A Method for automatic generation of test cases to BPEL Processes

This paper presents a method for automatic validation of business process models that uses an algorithm based on the metaheuristic Scatter Search. The business processes models are represented as UML activity diagrams where the business rules are represented as OCL pre and post con-ditions attached to process activities or as OCL invariants associated to a business conceptual model. The actions as-sociated to an activity defined in the process are performed with the help of the USE tool.The method generates and simulates a set ofprocess execution scenarios that garantees a minimum coverage of all possible real scenarios