Towards a Goal-driven Method for Web Service Choreography Validation

Parsa Saeed نويسنده Department of Computer Engineering, Iran University of Science and Technology (IUST), Tehran, Iran , Amiri Mohammad Javad نويسنده , Ebrahimifard Amir نويسنده , Khoramabadi Arani Mostafa نويسنده