CP-net model and operation properties for web service composition

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 7, 2006, Pages 1067-1075

  Guo, Yu Bin ^a   Du, Yu Yue ^b   Xi, Jian Qing ^a  

^a SOUTH CHINA UNIVERSITY OF TECHNOLOGY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

CP net; Operation property; Service composition; Web service

Indexed keywords

CONCURRENCY CONTROL; FORMAL LANGUAGES; PETRI NETS; QUALITY OF SERVICE; WORLD WIDE WEB;

COLORED PETRI NET; OPERATION PROPERTY; SERVICE COMPOSITION; WEB SERVICE;

SOFTWARE ENGINEERING;

EID: 33747397562     PISSN: 02544164     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. Tsalgatidou A., Pilioura T.. An overview of standards and related technology in Web services. Distributed and Parallel Databases, 2002, 12(2/3): 135-162
2. Rao Yuan, Feng Bo-Qin, Li Zun-Chao. Survey of services composition technique research on Web Services. Systems Engineering and Electronics, 2005, 27(8): 1481-1489(in Chinese)
3. Pustjarvi J., Tirri H., Veijalainen J.. Reusability and modularity in transactional workflows. Information Systems, 1997, 22(2/3): 101-120
4. Korhonen J., Pajunen L., Puustjarvi J.. Automatic composition of Web service workflows using a semantic agent. In: Proceedings of the IEEE/WIC International Conference on Web Intelligence (WI 2003), Halifax, Canada, 2003, 566-569
5. Peer J.. Bringing together semantic Web and Web services. In: Proceedings of the International Semantic Web Conference, Sardinia, Italia, 2002, 279-291
6. Ankolekar A., Burstein B., Hobbs J. et al. DAML-S: Semantic markup for Web services. In: Proceedings of the 1st International Semantic Web Working Symposium, Standford, CA, 2001, 411-430
7. Liao Jun, Tan Hao, Liu Jin-De. Describing and verifying Web service using PI-calculus. Chinese Journal of Computers, 2005, 28(4): 635-642(in Chinese)
8. Rachid H., Boualem B.. A Petri net based model for Web service composition. In: Proceedings of the 14th Australian Database Conference on Database Technologies, Adelaide, South Australia, 2003, 191-200
9. Tao X. F., Jiang C. J.. Formalizing Web service and modeling Web service based system based on object oriented Petri net. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004
10. Tao Xiao-Feng, Sun Jian. Web service composition based on object oriented Petri net. Computer Applications, 2005, 25(6): 1424-1426(in Chinese)
11. Jensen K.. Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Volume 1, Basic Concepts. Monographs in Theoretical Computer Science. Berlin, Heidelberg, New York: Springer-Verlag, 1997
12. W3C Web Services Activity. http://www.w3.org/2002/ws/
13. CPN Tools homepage. http://www.daimi.au.dk/CPNTools/