AWSCPM: A framework for Automation of Web Services Composition Processes based on MARDS

The composition of Web services that is the combination of several services to obtain new features, becomes more and more popular and presents a necessary stage for the realization of the collaboration inter-companies (B2B). To implement this collaboration, a developer has to elaborate a specification which allows the modeling of the global behavior of the system, to verify formally this model to assure the quality of the system then pass to the implementation of the composed service. This paper presents a summary of our developed approach of web services composition; this approach is separated into three tasks: specification using BPMN notation and Multi-agent reactive decisional (MARDS) model, formal verification using LOTOS language and implementation using BPEL language. Then this paper will introduced the framework AWSCPM «Automatic Web Services Composition Processes based on MARDS», it is developed as part of this research and that automates the generation of different processes: business process BPMN, executable process BPEL and formal process LOTOS.