Abstract
Web Service composition, which is an application of the Service-Oriented Architecture, refers to combining existing Web Services to a new one. BPEL (Business Process Execution Language) is a language describing the composition of Web Services. The process of composition is error-prone. In order to guarantee the correctness of service composition, the idea of modeling and verifying BPEL in different levels, the logic level and the semantic level, is put forward. This can not only assure modeling the processes properly, but also lower the complexity of models and verifications. In the logic level, some elements of BPEL, according to the mapping rules, are mapped to WSL_net, which is a special Synchronized Net. Properties such as sound and efficient guarantee the correctness of the basic control flows in BPEL process and avoid unnecessary resource consuming. The construction and verification of the model of the semantic level, in which more elements of BPEL will be introduced, will be given in later papers.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
