Increased reliability in SOA environments through registry-based conformance testing of Web services

Production Planning and Control

Volumn 21, Issue 2, 2010, Pages 130-144

  Kourtesis, D ^a   Ramollari, E ^a   Dranidis, D ^a   Paraskakis, I ^a  

^a UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

Behavioural conformance; Registry; Testing; Web services

Indexed keywords

AUTOMATED TESTING; BEHAVIOURAL CONFORMANCE; BUSINESS PROCESS; COLLABORATIVE NETWORK; CONCRETE METHOD; CONFORMANCE CHECKING; CONFORMANCE TESTING; FORMAL SPECIFICATION; REGISTRY; SERVICE ORIENTED COMPUTING; SERVICE REGISTRY; SOFTWARE SYSTEMS; STATE OF THE ART;

DISTRIBUTED COMPUTER SYSTEMS; SOFTWARE RELIABILITY; SPECIFICATIONS; WEB SERVICES;

CONCRETE TESTING;

EID: 77749234127     PISSN: 09537287     EISSN: 13665871     Source Type: Journal    
DOI: 10.1080/09537280903441922     Document Type: Conference Paper

References (24)

1. Bertolino, A., et al., 2006. Audition of Web services for testing conformance to open specified protocols. Architecting Systems with Trustworthy Components, Springer LNCS, 3938, 1-25.
2. Camarinha-Matos, L.M., 2007. Collaborative networks in industry: trends and foundations. In: P.F. Cunha and P.G. Maropoulos, eds. Digital enterprise technology: perspectives and future challenges. New York: Springer, 45-56.
3. Camarinha-Matos, L.M. and Afsarmanesh, H., 2005. Collaborative networks: a new scientific discipline. Journal of Intelligent Manufacturing, 16, 439-452.
4. Chow, T.S., 1978. Testing software design modelled by finite state machines. IEEE Transactions on Software Engineering, 4, 178-187.
5. Dranidis, D., Eleftherakis, G., and Kefalas, P., 2005. Objectbased language for generalized state machines. Annals of Mathematics, Computing and Teleinformatics (AMCT), 1 (3), 8-17.
6. Dranidis, D., Kourtesis, D., and Ramollari, E., 2007. Formal verification of Web service behavioural conformance through testing. Annals of Mathematics, Computing & Teleinformatics (AMCT), 1 (5), 36-43.
7. Dranidis, D., 2009. JSXM: a suite of tools for model-based automated test generation: user manual. Technical Report WP-CS01-09, CITY College.
8. Eilenberg, S., 1974. Automata, Languages and Machines, Volume A. New York: Academic Press.
9. Farrell, J. and Lausen, H. eds., (2007). Semantic annotations for WSDL and XML schema (SAWSDL). W3C Recommendation.
10. Heckel, R. and Mariani, L., 2005. Automatic Conformance Testing of Web Services. Fundamental Approaches to Software Engineering, Springer LNCS, 3442, 34-48. (Pubitemid 41273669)
11. Holcombe, M. and Ipate, F., 1998. Correct systems: building business process solutions. Berlin: Springer Verlag.
12. Ipate, F. and Holcombe, M., 1997. An integration testing method that is proved to find all faults. International Journal of Computer Mathematics, 63, 159-178.
13. Kapeti, E. and Kefalas, P., 2000. A design language and tool for X-Machine specification. Advances in informatics, Proceedings of the 7th Hellenic Conference on Informatics (HCI '99), 134-145.
14. Kefalas, P., (2000). X-Machine definition language: user manual, version 1.6. Technical Report WP-CS07-00, CITY College.
15. Keum, C., Kang, S., and Ko, I.Y., 2006. Generating test cases for Web services using extended finite state machine. Testing of communicating systems, Springer LNCS, 3964, 103-117.
16. Kourtesis, D. and Paraskakis, I., 2008a. Web service discovery in the FUSION semantic registry. Business Information Systems 2008, Springer LNBIP, 7, 285-296.
17. Kourtesis, D. and Paraskakis, I., 2008b. Combining SAWSDL, OWL-DL and UDDI for semantically enhanced Web service discovery. The Semantic Web: Research and Applications, Springer LNCS, 5021, 614-628.
18. Kourtesis, D., et al., 2008. Discovery and selection of certified Web services through registry-based testing and verification. In: L. Camarinha-Matos and W. Pickard, eds. Pervasive collaborative networks. Boston: Springer, 473-482.
19. Laycock, G., 1993. The theory and practice of specificationbased software testing. Thesis (PhD). University of Sheffield.
20. Msanjila, S.S. and Afsarmanesh, H., 2007a. Modelling trustrRelationships in collaborative networked organisations. International Journal of Technology Transfer and Commercialisation, 6 (1), 40-55.
21. Msanjila, S.S. and Afsarmanesh, H., 2007b. HICI: An approach for identifying trust elements - The case of technological perspective in VBEs. Proceedings of the 2nd international conference on availability, reliability and security, ARES (2007), 757-764.
22. Ramollari, E., et al., 2009. Leveraging semantic Web service descriptions for validation by automated functional testing. The semantic Web: research and applications, Springer LNCS, 5554, 593-607.
23. Sinha, A. and Paradkar, A., 2006. Model-based functional conformance testing of Web services operating on persistent data. Proceedings of workshop on testing, analysis and verification of Web services and applications, TAVWEB' 06, 17-22.
24. Tsai, W.T., et al., 2003. Verification of Web services using an enhanced UDDI server. Proceedings of 8th IEEE international workshop on object-oriented real-time dependable systems, WORDS 2003, 131-138.