Property Analysis of Composable Web services

Abstract: Web services are basic components constructing a flexible business process software. By composing multiple Web services, a complicated business process across organization and departments can be formed. This paper present a formal model of composable Web services: composed service process nets (CSPNs). Properties of Composable Web services are analyzed based on CSPNs. The relation between a CSPN and its corresponding Web service process subnets are discussed. The property analysis methods of CSPNs are come up with. A dynamic property of CSPNs can be determined based on static net structures by means of the proposed methods.
Keywords: passing messages, deadlock-freedom, business process, Web services
Author: Wei Liu, Lu Wang, Yuyue Du, Pin Wang, Chun Yan
Journal Code: jptkomputergg160212

Artikel Terkait :