Property Analysis of Composable Web services

Wei Liu (Shandong University of Science and Technology,)
Lu Wang (Shandong University of Science and Technology,)
Yuyue Du (Shandong University of Science and Technology,)
Pin Wang (Shandong University of Science & Technology)
Chun Yan (Tongji University)

TELKOMNIKA (Telecommunication Computing Electronics and Control)
Vol 14, No 2: June 2016

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.