Using Pi-calculus to Model Dynamic Web Services Composition Based on the Authority Model

摘要

There 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.