Automatic composition of Petri net based Web services

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 7, 2006, Pages 1057-1066

  Qian, Zhu Zhong ^a   Lu, Sang Lu ^a   Xie, Li ^a  

^a NANJING UNIVERSITY   (China)

Author keywords

Automatic Web services composition; Petri net; Web services

Indexed keywords

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

AUTOMATIC WEB SERVICES COMPOSITION; WEB SERVICES;

SOFTWARE ENGINEERING;

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

References (22)

1. Alonso G., Casati F., Kuno H., Machiraju V.. Web Service Concepts, Architectures and Applications. Springer, 2004
2. Yuan Chong-Yi. Theory and Application of Petri Net. Beijing: Publishing House of Electronics Industry, 2005(in Chinese)
3. Narayanan S., Mcllraith A.. Simulation, verification and automated composition of Web services. In: Proceedings of the 11th International World Wide Web Conference (WWW2002), Honolulu, USA, 2002, 77-88
4. Hamadi R., Benatallah B.. A Petri net-based model for Web service composition. In: Proceedings of the 14th Australasian Database Conference, Adelaide, Australian, 2003, 191-200
5. Sun J., Jiang C. J.. Web service composition based on BPWS-Net. In: Proceedings of the Content Computing, Advanced Workshop on Content Computing, Zhenjiang, China, 2004, 303-313
6. Zhang J., Chang C. K., Chung J. Y., Kim S. W.. A Petri-net based specification model for Web services. In: Proceedings of the IEEE International Conference on Web Services (ICWS'04), San Diego, USA, 2004, 420-427
7. Yang Y. P., Tan Q. P., Xiao Y., Liu F., Yu J. S.. Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification. In: Proceedings of the 8th Asia-Pacific Web Conference, Harbin, China, 2006, 275-284
8. Bultan T., Fu X., Hull R., Su J. W.. Conversation specification: A new approach to design and analysis of e-service composition. In: Proceedings of the 12th International World Wide Web Conference (WWW2003), Budapest, Hungary, 2003, 403-410
9. Jiang Chang-Jun. Behavior Theory and Application of Petri Net. Beijing: Higher Education Press, 2003(in Chinese)
10. Wang Xiao-Ling, Guo Zhi-Mao, Zhou Ao-Ying. Grammar-based message processing in Web service composition. Chinese Journal of Computers, 2005, 28(4): 478-485(in Chinese)
11. Qian Zhu-Zhong, Lu Sang-Lu, Xie Li. Ontology based heterogeneous message transformation in Web service composition. Acta Electronica Sinica, 2005, 33(12A): 2472-2475(in Chinese)
12. Fu X., Bultan T., Su J. W.. Analysis of interacting BPEL Web services. In: Proceedings of the 13th International Conference on World Wide Web (WWW 2004), New York, USA, 2004, 621-630
13. Hull R., Renedikt M., Christophides V., Su J. W.. E-services: A look behind the curtain. In: Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, San Diego, USA, 2003, 1-14
14. Hull R., Su J. W.. Tools for composite Web services: A short overview. Sigmod Record, 2005, 34(2): 86-95
15. Bechhofer S., Harmelen F., Hendler J., Horrocks I., McGuinness L., Patel-Schneider F.. OWL Web Ontology Language Reference, W3C, 2004
16. Aysu B. C., Bultan T., Fu X.. Design for verification for asynchronously communicating Web services. In: Proceedings of the 14th International Conference on World Wide Web (WWW 2005), Chiba, Japan, 2005, 750-759
17. Berardi D., Calvanese D., Giacomo D., Lenzerini M., Mecella M.. Automatic composition of e-services that export their behavior. In: Proceedings of the International Conference of Service Oriented Computing 2003, Trento, Italy, 2003, 43-58
18. Kozen D., Tiuryn J.. Logics of programs. Handbook of Theoretical Computer Science: Formal Models and Semantics, ESP, 1990
19. Gerede E., Hull R., Ibarra H., Su J. W.. Automated composition of e-services: Lookaheads. In: Proceedings of the 2nd International Conference on Service Oriented Computing, New York City, USA, 2004, 252-262
20. Traverso P., Pistore M.. Automated composition of semantic Web services into executable processes. In: Proceedings of the 3rd International Semantic Web Conference (ISWC2004), Hiroshima, Japan, 2004, 7-11
21. Hull R.. Towards a unified model for Web services composition. In: Proceedings of the Advances in Computer Science-ASIAN 2005, Kunming, China, 2005, 1-10
22. Berardi D., Calvanese D., Giacomo D., Hull R., Mecella M.. Automatic composition of transition-based semantic Web services with messaging. In: Proceedings of the 31st International Conference on Very Large Data Bases (VLDB 2005), Trondheim, Norway, 2005, 613-624