Service net algebra based on logic Petri nets

Information Sciences

Volumn 268, Issue , 2014, Pages 271-289

  Hu, Qiang ^a,b   Du, Yuyue ^b   Yu, Shuxia ^b  

^a QINGDAO UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

Algebra; Petri net; Reuse; Service net; Service process

Indexed keywords

PETRI NETS; QUALITY OF SERVICE; WEB SERVICES;

ALGEBRA OPERATORS; FORMAL FOUNDATION; RELATIONAL ALGEBRA; REUSE; SERVICE COMPOSITIONS; SERVICE NETS; SERVICE PROCESS; STRUCTURAL TRANSFORMATION;

ALGEBRA;

EID: 84897073539     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2013.10.014     Document Type: Article

References (42)

1. W.M.P. van der Aalst, Arjan J. Mooij, Christian Stahl, and Karsten Wolf Service interaction: patterns, formalization, and analysis Formal Methods for Web Services Lecture Notes in Computer Science vol. 5569 2009 Springer-Verlag Berlin 42 88
2. W.M.P. van der Aalst Verification of workflow nets Lecture Notes in Computer Science 1248 1997 407 426
3. W.M.P. van der Aalst Workflow verification: finding control-flow errors using Petri-net-based techniques In Business Process Management: Models, Lecture Notes in Computer Science 1806 2000 161 183
4. B. Benatallah, M.S. Haeid, A. Leger, and C. Rey on automating web services discovery International Journal on Very Large DataBases 14 l 2005 84 96
5. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella Automatic services composition based on behavioral descriptions International Journal of Cooperative Information Systems 14 2005 333 376
6. F. Baader, C. Lutz, M. Milicic, U. Sattler, F. Wolter, A description logic based approach to reasoning about web services, in: Proceedings of the WWW2005 Workshop on Web Service Semantics, Chiba City, Japan, 2005.
7. Lucas Bordeaux, Gwen Salaün, Daniela Berardi, and Massimo Mecella When are two web services compatible? Lecture Notes in Computer Science 3324 2005 15 28
8. Massimo Bartoletti, Pierpaolo Degano, and Gian Luigi Ferrari Planning and verifying service composition Journal of Computer Security 17 2009 799 837
9. Javier Cámara, Carlos Canal, Javier Cubo, and Antonio Vallecillo Formalizing wsbpel business processes using process algebra Electronic Notes in Theoretical Computer Science 154 2006 159 173
10. Liang Chang, Fen Lin, Zhongzhi Shi, A dynamic description logic for semantic web service, in: Third International Conference on Semantics, Knowledge and Grid, Shan Xi, 2007, pp. 74-79.
11. Y.Y. Du, and B.Q. Guo Logic Petri nets and equivalency Information Technology Journal 8 2009 95 100
12. Y.Y. Du, L. Qi, and M.C. Zhou A vector matching method for analysing logic Petri nets Enterprise Information Systems 5 2011 449 468
13. Y.Y. Du, ChangJun Jiang, and MengChu Zhou A Petri net-based model for verification of obligations and accountability in cooperative systems IEEE Transactions on Systems, Man, and Cybernetics: Part A 39 2009 299 308
14. Y.Y. Du, C.J. Jiang, and M.C. Zhou Modeling and analysis of real-time cooperative systems using Petri nets IEEE Transactions on Systems, Man, and Cybernetics: Part A 37 2007 643 654
15. Y.Y. Du, ChangJun Jiang, MengChu Zhou, and You Fu Modeling and monitoring of e-commerce workflows Information Sciences 179 2009 995 1006
16. Y.Y. Du, ChangJun Jiang, and MengChu Zhou A Petri nets based correctness analysis of internet stock trading systems IEEE Transactions on System, Man and Cybernetics: Part C 38 1 2008 93 99
17. C.A.R. Hoare Communicating sequential processes Communications of the ACM 26 1 1983 100 106
18. Peter Höfner, and Florian Lautenbacher Algebraic structure of web services Electronic Notes in Theoretical Computer Science 200 3 2008 171 187
19. R. Hamadi, B. Benatallath, A Petri net-based model for web service composition, in: Proceedings of the 14th Australasian Database Conference, Adelaide, Australian, 2003, pp. 191-200.
20. S.V. Hashemian, F. Mavaddat, Composition algebra, in: F. de Boer, V. Mencl (Eds.), Formal Aspects of Component Software (FACS'06)-Preliminary Proceedings, number 344 in UNUIIST Technical Reports, 2006, pp. 247-264.
21. J. Li, M. Zhou, and X. Dai Algebraic reduction and refinement of Petri nets IEEE Transactions on Systems, Man and Cybernetics: Part A 42 2012 1244 1255
22. W. Liu, and Y.Y. Du Soundness analysis of T-restricted inter-organizational logical workflow nets Information Technology Journal 8 2009 821 829
23. H.E. Mansour, and T. Dillon Dependability and rollback recovery for composite web services IEEE Transactions on Services Computing 4 2011 328 339
24. M. Klein, and A. Bemstein Toward high-precision service retrieval IEEE Internet Computing 8 11 2004 30 36
25. R. Milner A Calculus of Communicating Systems 1982 Springer
26. T. Murata Petri nets: properties, analysis and applications Proceedings of the IEEE 77 1989 541 580
27. W. Tan, and M. Zhou Business and Scientific Workflows: A Service-Oriented Approach 2013 IEEE Press/Wiley Hoboken, NJ
28. P. Plebani, and B. Pernici Urbe: Web service retrieval based on similarity evaluation IEEE Transactions on Knowledge and Data Engineering 21 2009 1629 1642
29. Aabhas V. Paliwal, Basit Shafiq, Jaideep Vaidya, Hui Xiong, and Nabil. Adam Semantics based automated service discovery IEEE Transactions on Services Computing 4 2011 105 118
30. V. Pankratius, W. Stucky, A formal foundation for workflow composition, workflow view definition, and workflow normalization based on Petri nets, in: Proceedings of the 2nd Asia-Pacific Conference on Conceptual Modeling, APCCM '05, Darlinghurst, Australia, 2005, pp. 79-88.
31. Gwen Salaun, Lucas Bordeaux, and Marco Schaerf Describing and reasoning on web services using process algebra International Journal of Business Process Integration and Management 1 2 2006 116 128
32. Holger Schlingloff, Axel Martens, and Karsten Schmidt Modeling and model checking web services Electronic Notes in Theoretical Computer Science 126 2005 3 26
33. Wei Tan, Yushun Fan, and MengChu Zhou A Petri net-based method for compatibility analysis and composition of web services in business process execution language IEEE Transactions on Automation Science and Engineering 6 2009 94 106
34. A. Wombacher, P. Fankhauser, E. Neuhold, Transforming BPEL into annotated deterministic finite state automata for service discovery, in: 2nd International Conference on Web Services, ICWS 2004, California, 2004, pp. 316-323.
35. X. Fu, T. Bultan, and Jianwen Su Synchronizability of conversations among Web services IEEE Transaction on Software Engineering 31 2005 1042 1055
36. P. Xiong, C. Pu, and M. Zhou A Petri net approach to analysis and composition of web services IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 40 2010 376 387
37. P. Xiong, Y.S. Fan, and M. Zhou QoS-aware web service configuration IEEE Transactions on Systems, Man, and Cybernetics: Part A 38 4 2008 888 895
38. P. Xiong, Y. Fan, and M. Zhou Web service configuration under multiple quality-of-service attributes IEEE Transactions on Automation Science and Engineering 6 2 2009 311 321
39. P. Xiong, C. Pu, and M. Zhou Protocol-level service composition mismatches: a Petri net siphon based solution International Journal of Web Services Research 7 4 2010 1 20
40. Q. Yu, and A. Bouguettaya Framework for web service query algebra and optimization ACM Transactions on the Web 2 1 2008 1 35
41. Dmytro Zhovtobryukh A Petri net-based approach for automated goal-driven web service composition Simulation 83 2007 33 63
42. Huibiao Zhu, Jifeng He, Jing Li, J.P. Bowen, Algebraic approach to linking the semantics of web services, in: Fifth IEEE International Conference on Software Engineering and Formal Methods, London, 2007, pp. 315-328.