Saeed Parsa - Department of Computer Engineering Iran University of Science and Technology Tehran, Iran
Mohammad Javad Amiri - Department of Computer Science University of California Santa BarbaraSanta Barbara, USA
Amir Ebrahimifard - Graduate School of management and EconomicsSharif University of Technology Tehran, Iran
Mostafa Khoramabadi Arani - Departmen ofComputerEngineeringIran University of Science and TechnologyTehran, Iran

Nowadays web services composition that presents capabilities in response to customers' complex requirements has a special importance in real businesses. However, service choreography as a form of service composition, still faces many challenges. One of the most important challenges of the choreography domain is how to validate the model based on the corresponding requirements. To this end, in this paper processes choreographies are modeled using the interaction view of BPMN 2.0 standard. Then, goal modeling is suggested to extract the requirements. For each requirement all possible valid scenarios are considered and finally using Savara tool, the requirements’ scenarios are modeled and the choreography models are validated according to the corresponding requirements.

Choreography, business process, Validation, requirement, Goals Model