Specification-based verification and validation of web services and service-oriented operating systems

Proceedings - International Workshop on Object-Oriented Real-Time Dependable Systems, WORDS

Volumn , Issue , 2005, Pages 139-147

  Tsai, Wei Tek ^a   Chen, Yinong ^a   Paul, Ray ^b  

^a Arizona State University   (United States)

^b ARMED FORCES INSTITUTE OF PATHOLOGY   (United States)

Author keywords

Collaborative testing; Group testing; Service composition; Verification; Web services

Indexed keywords

COLLABORATIVE TESTING; GROUP TESTING; SERVICE COMPOSITION; VERIFICATION; WEB SERVICES;

BINARY CODES; COMPUTER OPERATING SYSTEMS; COMPUTER SOFTWARE; COMPUTER SUPPORTED COOPERATIVE WORK; INTEROPERABILITY; SOCIETIES AND INSTITUTIONS;

WORLD WIDE WEB;

EID: 27544464506     PISSN: 15301443     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WORDS.2005.51     Document Type: Conference Paper

References (32)

1. ® 2005", http://www. altova.com/products_ide.html
2. Tony Andrews, Francisco Curbera, Hitesh Dholakia, Yaron Goland, Johannes Klein, Frank Leymann, Kevin Liu, Dieter Roller, Doug Smith, Satish Thatte, Ivana Trickovic, Sanjiva Weerawarana, "Specification: Business Process Execution Language for Web Services Version 1.1", http://www-128.ibm.com/ developerworks/library/ ws-bpel/
3. Keith Ballinger, David Ehnebuske, Christopher Ferns, Martin Gudgin, Canyang Kevin Liu, Mark Nottingham, Prasad Yendluri, "Basic Profile Version 1.1", http://www.ws-i.org/Profiles/BasicProfile-1.1-2004-08-24.html
4. D. Beyer, A. Chlipala, T. Henzinger, R. Jhala, and R. Majumdar, "Generating Tests from Counterexamples", Proceedings of the 26th International Conference on Software Engineering (ICSE'04), Scotland, UK, May 2004, pp. 326-335.
5. T. Y. Chen and M. F. Lau, "Test Cases Selection Strategies Based on Boolean Specifications", Software Testing, Verification and Reliability, Vol. 11, No. 3, Sep. 2001, pp.165-180.
6. E. Clarke, O. Grumberg, and D. Peled, Model Checking, MIT Press, 2002.
7. CommerceQuest, "CQ MQTester", http://www. commercequest.com/ products_utilities_mqtester.asp#
8. Compuware, "DevPartner Studio Professional Edition", http://www.compuware.com/products/ devpartner/studio.htm
9. N. Davidson, Testing Web Services, at http:// www.webservices.org/, in October 2002.
10. D. Z. Du and F. Hwang, Combinatorial Group Testing And Its Applications, World Scientific, 2nd edition, 2000.
11. Empirix, "e-Test suite", http://www.empirix.com/ www/resources/media/pdf/brochures/br_eTESTsuite.pdf
12. R. Fikes, A. Farquhar, "Distributed Repositories of Highly Expressive Reusable Ontologies", IEEE Intelligent Systems, 14(2): 74-79, 1999.
13. X. Fu, T. Bultan, and J. Su, "Formal Verification of E-Services and Workflows," Proc. Workshop on Web Services, E-business, and the Semantic Web (WES), LNCS 2512, Springer-Verlag, 2002, pp. 188-202.
14. R. Hamadi and B. Benatallah, "A Petri-Net-Based Model for Web Service Composition," Proc. 14th Australasian Database Conf. Database Technologies, ACM Press, 2003, pp. 191-200.
15. th IEEE International Conference on Automated Software Engineering (ASE'03)
16. G. Holtzman, "The Spin Model Checker," IEEE Transactions on Software Engineering, Vol. 23, No. 5, May 1997, pp. 279-295.
17. Daniel A. Menascé, "Composing Web Services: A QoS View", IEEE Internet Computing, IEEE Computer Society, November-December 2004.
18. Mercury Interactive, "Mercury Interactive Astra LoadTest",http: //www.b2net.co.uk/mercuryinteractive/mercury_interactive_astra_loadtest.htm
19. Sin Nakajima, "Verification of Web Services Flow with Model-Checking Techniques", Proceedings of the First International Symposium on Cyber Worlds (CW'02), November 2002, pp. 378-385.
20. S. Nara Narayanan and S.McIlraith, "Simulation, Verification and Automated Composition of Web Services," Proc. Int'l World Wide Web Conf. (WWW2002), 2002, pp. 77-88.
21. B. Sleeper, 'The five missing pieces of SOA", www.infoworld.com/ article/04/09/10/37FEwebservmiddle_1.html September 2004.
22. R. Neches, R. Fikes, T. Finin, T. Gruber, R. Patil, T. Senator, and W. R. Swartout, "Enabling Technology For Knowledge Sharing", AI Magazine, Volume 12, No. 3, Fall, 1991.
23. Parasoft, "SOAPTest Data Sheet", http://www.parasoft.com/jsp/ products/quick_facts.jsp?product=SOAP
24. Red-gate, "Load Testing for .NET Developers and Testers", http://www.red-gate.com/dotnet/load testing.htm
25. Segue,"SilkPerformer", http://www.segue.com/pdf/silkperformer. pdf
26. W. T. Tsai, R. Paul, Z. Cao, L. Yu, A. Saimi, and B. Xiao, "Verification of Web Services Using an Enhanced UDDI Server", Proc. of IEEE WORDS, 2003, pp. 131-138.
27. W. T. Tsai, Y. Chen, R. Paul N. Liao, and H. Huang, "Cooperative and Group Testing in Verification of Dynamic Composite Web Services", in Workshop on Quality Assurance and Testing of Web-Based Applications, in conjunction with COMPSAC, September 2004, pp.170-173.
28. W. T. Tsai, D. Zhang, Y. Chen, H. Huang, R. Paul, N. Liao, "A software reliability model for Web Services", 8th IASTED International Conference on Software Engineering and Applications, Cambridge, MA, November 2004, 144-149.
29. W. T. Tsai, X. Wei, Y. Chen, B. Xiao, R. Paul, and H. Huang, "Developing and Assuring Trustworthy Web Services", 7th International Symposium on Autonomous Decentralized Systems (ISADS), April 2005, pp. 91-98.
30. W.T. Tsai, Lian Yu, Feng Zhu and Ray J. Paul, "Rapid Verification of Embedded Systems Using Patterns", COMPSAC 2003: 466-471.
31. W. T. Tsai, R. Paul, L. Yu, X. Wei, and F. Zhu, "Rapid Pattern-Oriented Scenario-Based Testing for Embedded Systems", to appear in book Software Evolution with UML and XML, edited by H. Yang, 2004.
32. W. T. Tsai, X. Wei, L. Yu, R. Paul, and H. Huang, "Condition-Event Combination Covering Analysis for High-Assurance System Requirements", to appear in Computer Systems Science & Engineering (CSSE) journal.