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

TL;DR

This paper extends pi-calculus with an authority model to effectively model and verify dynamic web services composition, addressing the mobility and attribute changes in such systems.

Contribution

It introduces an extended pi-calculus framework incorporating authority models for better modeling of dynamic web service composition.

Findings

Proposes an automatic modeling method for DWSC.

Extends pi-calculus to include authority attributes.

Facilitates verification of dynamic web services.

Abstract

There are lots of research works on web service, composition, modeling, verification and other problems. Theses research works are done 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 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 paper, we considers the authority model for DWSC, extends pi-calculus in order to model dynamic attributes of system, and proposes a automatic method for modeling DWSC based on extended pi-calculus.