Abstract: 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 study 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 study 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.
Nouha Adadi, Mohammed Berrada, Driss Chenouni and Mohamed Halim, 2019. A Development of AWSCPM Framework for Automation of Web Services Composition Processes. Journal of Engineering and Applied Sciences, 14: 10442-10451.