Property Analysis of Composable Web services

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.

[1]  Reza Entezari-Maleki,et al.  Task scheduling modelling and reliability evaluation of grid services using coloured Petri nets , 2010, Future Gener. Comput. Syst..

[2]  Mengchu Zhou,et al.  Automatic Web service composition based on Horn clauses and Petri nets , 2011, Expert Syst. Appl..

[3]  Frank Leymann,et al.  Web Services Platform Architecture: SOAP, WSDL, WS-Policy, WS-Addressing, WS-BPEL, WS-Reliable Messaging, and More , 2005 .

[4]  Wei Liu,et al.  Soundness preservation in composed logical time workflow nets , 2012, Enterp. Inf. Syst..

[5]  Yuemin Wang.  Research on Web Service Composition Algorithm Using Description Logic , 2014 .

[6]  Wei Liu,et al.  A Service Selection Method Based on Web Service Clusters , 2013 .

[7]  Hui Li,et al.  Automatic Composition of Web Services Based on Rules and Meta-Services , 2007, 2007 11th International Conference on Computer Supported Cooperative Work in Design.

[8]  Quan Z. Sheng,et al.  From Communities of Web Services to Marts of Composite Web Services , 2010, 2010 24th IEEE International Conference on Advanced Information Networking and Applications.

[9]  Paolo Bocciarelli,et al.  A model-driven approach to describe and predict the performance of composite services , 2007, WOSP '07.

[10]  MengChu Zhou,et al.  Transformation of Logical Workflow Nets , 2014, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[11]  Wei Liu,et al.  A Method to Calculate Recommendation Trust of Web Services , 2014 .

[12]  Mira Mezini,et al.  Reliable Messaging for BPEL Processes , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[13]  Wei Liu,et al.  A web service discovery and composition method based on service classes , 2013 .

[14]  Jing Liu,et al.  An Intelligent Job Scheduling System for Web Service in Cloud Computing , 2013 .

[15]  Bensheng Yun.  Formal Modeling of Trust Web Service Composition Using Pi-calculus , 2013 .

[16]  Valentín Valero,et al.  Validation and verification of Web services choreographies by using timed automata , 2011, J. Log. Algebraic Methods Program..