Interface compatibility and composition of session-oriented E-Service

Jisuanji Xuebao/Chinese Journal of Computers

Volumn 29, Issue 7, 2006, Pages 1047-1056

  Zhang, Wen Tao ^a   Peng, Yong ^a   Chen, Jun Liang ^a  

^a BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS   (China)

Author keywords

Composition; Finite states machine; Interface compatibility; Session oriented E Service; Web Services (WS)

Indexed keywords

FINITE AUTOMATA; FORMAL LANGUAGES; QUALITY OF SERVICE; WORLD WIDE WEB; XML;

FINITE STATES MACHINE; INTERFACE COMPATIBILITY; SESSION ORIENTED E SERVICE; WEB SERVICES;

COMPUTER PROGRAMMING;

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

References (23)

1. Andrews T., Curbera F., Dholakia H.. Business Process Execution Language for Web Services (Version 1.0). IBM, 2003
2. Brand D., Zafiropulo P.. On communicating finite-state machines. Journal of the ACM, 1983, 30(2): 323-342
3. Christophides V., Hull R., Karvounarakis G.. Beyond discrete e-services: Composing session-oriented services in telecommunications. In: Proceedings of the Workshop on Technologies for E-Services (TES), Rome, Italy, 2001, 58-60
4. Hopcroft J. E., Ullman J. D.. Introduction to Automata Theory, Languages, and Computation, 2nd Edition. Boston, MA, USA: Addison-Wesley, 2001.
5. McIlraith S. A., Son T. C., Zeng H.. Semantic Web services. IEEE Intelligent Systems, 2001, 16(2): 50-63
6. Box D., Ehnebuske D., Kakivaya G.. Simple Object Access Protocol (soap) 1.1. W3C Note, 2000
7. Arkin A., Askary S., Fordin S.. Web Service Choreography Interface (WSCI) 1.0. W3C Note, 2002
8. Christensen E., Curbera S., Meredith G.. Web Services Description Language (WSDL) 1.1. W3C Note 15, March 2001
9. Alfaro L., Henzinger T.. Interface automata. ACM SIGSOFT Software Engineering Note, 2001, 26(5): 109-120
10. Bultan T., Fu X., Hull R.. Conversation specification: A new approach to design and analysis of e-service composition. In: Proceedings of the 12th International World Wide Web Conference, Budapest, Hungary, 2003, 403-410
11. Solanki M., Cau A., Zedan H.. Augmenting semantic Web service descriptions with compositional specification. In: Proceedings of the WWW, ACM, Manhattan, NY, USA, 2004, 544-552
12. Beyer D., Chakrabarti A., Henzinger T. A.. Web service interfaces. In: Proceedings of the WWW, ACM, Manhattan, NY, USA, 2004, 148-159
13. Yellin D. M., Robert Strom E.. Protocol specifications and component adaptors. In: Proceedings of the ACM Transactions on Programming Languages and Systems (TOPLAS), New York, 1997, 292-333
14. Foster H., Uchitel S., Magee J.. Compatibility verification for Web service choreography. In: Proceedings of the ICWS, San Diego, California, 2004, 738-741
15. Mcllraith S., Son T. C.. Adapting golog for composition of semantic Web services. In: Proceedings of the International Conference Principles of Knowledge Representation and Reasoning (KRR 02), Toulouse, France, 2002, 482-493
16. Martin D., Mcllraith S., Bringing semantics to Web services: The OWL-S approach. IEEE Intelligent System, 2003, 18(1): 90-93
17. Wu D., Parsia B., Sirin E.. Automating DAML-S Web services composition using SHOP2. In: Proceedings of the 2nd International Semantic Web Conference (ISWC2003), Sanibel Island, Florida, USA, 2003, 195-210
18. McDermott D.. Estimated-regression planning for interaction with Web services. In: Proceedings of the 6th International Conference on AI Planning and Scheduling, Toulouse, France, 2002, 204-211
19. Harel D.. STATECHARTS: A visual formalism for complex systems. Science of Computer Programming, 1987, 8(3): 231-274
20. Fu X., Bultan T., Su J. W.. Conversation protocols: A formalism for specification and verification of reactive electronic services, theoretical computer science (TCS). Special Issue on Selected Papers from the 8th International Conference on Implementation and Application of Automata (CIAA 2003), Santa Barbara, CA, USA, 2004, 328(1/2): 19-37
21. Betin-Can A., Bultan T., Fu X.. Design for verification for asynchronously communicating Web services. In: Proceedings of the 14th International World Wide Web Conference, Chiba, Japan, 2005, 750-759
22. Fu X., Bultan T., Su J. W.. Analysis of interacting BPEL Web services. In: Proceedings of the 13th International World Wide Web Conference (WWW 2004), New York, USA, 2004, 621-630
23. Zhang W. T., Peng Y., Chen J. L.. Investigation on interface compatibility of session-orient E-Service. Journal of Beijing University of Posts and Telecommunications, 2006, 29(supplement): 140-143