Abstract
ABSTRACTThere are numerous research articles on web service, composition, modeling, verification, and other problems. These research works are performed on the basis of formal methods, such as petri-net, pi-calculus, automata theory, and so on. Pi-calculus is a natural vehicle to model the mobility aspect in dynamic web services composition (DWSC). However, it has recently been shown that pi-calculus needs to be extended suitably to specify and verify DWSC. In this article, we consider the authority model for DWSC, extend pi-calculus in order to model dynamic attributes of system, and propose a automatic method for modeling DWSC based on extended pi-calculus.
Sign-in/Register to access full text options 
Free) 
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 call
