Automatic message flow analyses for web services based on WSDL

Proceedings - 2007 IEEE International Conference on Web Services, ICWS 2007

Volumn , Issue , 2007, Pages 880-887

  Li, Li ^a   Wu, Chou ^a  

^a AVAYA LABS RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FLOW PATTERNS; GRAPH THEORY; INFORMATION MANAGEMENT; INFORMATION SERVICES; MARINE BIOLOGY; MARKUP LANGUAGES; PETRI NETS; STANDARDS; WORLD WIDE WEB; XML;

(EXTENDED) PETRI NETS; DIFFERENTIAL INFORMATION; INTERNATIONAL CONFERENCES; MESSAGE FLOWS; PARLEY X; PATTERN RELATIONS; PILOT EXPERIMENTS; PRACTICAL APPLICATIONS; SCHEMAS; SERVICE OPERATIONS; SERVICE VERIFICATION; WEB SERVICE MESSAGE EXCHANGE; WEB SERVICES STANDARDS; WS-EVENTING; XML SCHEMAS; XML-SCHEMA;

WEB SERVICES;

EID: 46849091379     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2007.53     Document Type: Conference Paper

References (16)

1. Xiaoying Bai, Wenli Dong, Wei-Tek Tsai, and Yinong Chen. "WSDL-based Automatic Test Case Generation for Web Services Testing". In Proc. IEEE International Workshop on Service-Oriented System Engineering'05, 2005, pp 215-220.
2. Wen-Li Dong, Hang YU, "Web Service Testing Method Based on Fault-Coverage", Proceedings of Enterprise Distributed Object Computing Conference Workshops, 2006. EDOCW '06. 10th IEEE International, Oct. 2006, pp43 -43.
3. Sinha, A. and Paradkar A., "Model Based Functional Conformance Testing of Web Services Operating on Persistent Data", Proceedings of the 2006 workshop on Testing, analysis, and verification of web services and applications TAV-WEB '06, Portland, Maine, July 17 2006, pp. 17-22.
4. W. T. Tsai, Y. Chen, and R. Paul, "Specification-Based Verification and Validation of Web Services and ServiceOriented Operating Systems", 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 05), Sedona, February 2005.
5. Srini Narayanan, Sheila A. McIlraith, "Simulation, Verification and Automated Composition of Web Services", Proceedings of WWW 2002, May 7-11, 2002, Honolulu, Hawaii, USA, pp 77-88.
6. Yujian Fu, Zhijiang Dong, Xudong He, "Modeling, Validating and Automating Composition of Web Services", Proceedings of the 6th international conference on Web engineering ICWE '06, July 11-14, 2006, Palo Alto, California, USA, pp 217-224.
7. Standard ECMA-366, WS-Session, http://www.ucma-international.org/ publications/standards/Ecma-366.htm
8. Web Services Eventing (WS-Eventing), W3C Member Submission 15 March 2006, http://www.w3.org/Submission/WS-Eventing/
9. Standard ECMA-348, Web Services Description Language (WSDL) for CSTA Phase III, 3rd edition (December 2006), http://www.ecma-international.org/ publications/standards/Ecma-348.htm
10. Parlay X Web Services Specification, Version 2.1, part 12, Multimedia Conference, http://www.parlay.org/cn/specifications/pxws.asp
11. Standard ECMA-269, Services for Computer Supported Telecommunications Applications (CSTA) Phase III, 7th edition (December 2006), http://www.ecma- international.org/publications/standards/Ecma-269.htm
12. SWI-Prolog homepage: http://www.swi-prolog.org/
13. Web Services Base Notification 1.3 (WS-BaseNotification), OASIS Standard, 1 October 2006, http://docs.oasis-open.org/wsn/wsn-ws base notification-1.3- spec-os.pdf.
14. Jia Zhang, Chang, CK., Jen-Yao Chung, Kim, S.W., "WS-Net: a Petri-net based specification model for Web services", Proceedings of 2004 IEEE International Conference on Web Services, 6-9 July 2004, pp 420 - 427.
15. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce, "Regular Expression Types for XML", ACM Transactions on Programming Languages and Systems, Vol. 27, No. 1, January 2005, pp 46-90.
16. Arisholm, E., Briand, L.C., Foyen, A., "Dynamic Coupling Measurement for Object-Oriented Software", IEEE Transactions on Software Engineering, Volume 30, Issue 8, Aug. 2004, pp 491-506.