Abstract
Web services are utilized to illuminate some particular assignment. When a single web service cannot solve a given task, several web services are composed. Composition can be done either statically at design time or dynamically at runtime. Dynamic composition is more suitable for business applications where in business policies and user requirements frequently changes. Interleaved dynamic composition and execution of services is beneficial for adapting to changing user preferences. One of the main issues in such a scenario is that whether the component services that are composed operate according to the business rules specified. Safety, liveness and deadlock freedom properties of a composition depend on the behavior of individual services. Existing modeling techniques capture these properties and perform model checking only statically. Hence in this work, a two level model verification approach has been proposed to verify the correctness of dynamically composed services.
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 callMore From: International Journal of Engineering & Technology
Disclaimer: 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.
