Event-driven modeling and testing of real-time web services

Service Oriented Computing and Applications

Volumn 4, Issue 1, 2010, Pages 3-15

  Belli, Fevzi ^a   Linschulte, Michael ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

Author keywords

Event sequence graph; Model based testing; Real time; Web services

Indexed keywords

EVENT DRIVEN; EVENT SEQUENCE GRAPH; EVENT SEQUENCE GRAPHS; EVENT-BASED; FAULT MANAGEMENT; FUNCTIONAL BEHAVIORS; HOLISTIC VIEW; PARAMETER VALUES; TIME-OUTS; WEB APPLICATION; WEB SYSTEM;

DECISION TABLES; FAILURE ANALYSIS; INFORMATION SERVICES;

WEB SERVICES;

EID: 77953357761     PISSN: 18632386     EISSN: 18632394     Source Type: Journal    
DOI: 10.1007/s11761-010-0056-5     Document Type: Article

References (23)

1. Aho A, Dahbura A, Lee D, Uyar M (1991) An optimization technique for protocol conformance test generation based on uio sequences and rural chinese postman tours. pp 1604-1615.
2. Alur R, Dill DL (1994) A theory of timed automata. Theor Comput Sci 126(2): 183-235.
3. Baresi, L, Nitto, ED (eds) (2007) Test and analysis of web services. Springer, Heidelberg.
4. Belli F, Budnik CJ, White L (2006) Event-based modelling, analysis and testing of user interactions: approach and case study. Softw Test Verif Reliab 16(1): 3-32.
5. Bianco P, Kotermanski R, Merson P (2007) Evaluating a service-oriented architecture. Tech. Rep. CMU/SEI-2007-TR-015, Software Engineering Institute of Carnegie Mellon University, http://www. sei. cmu. edu/publications/documents/07. reports/07tr015. html.
6. Bruno M, Canfora G, Penta MD, Esposito G, Mazza V (2005) Using test cases as contract to ensure service compliance across releases. In: Third international conference in service-oriented computing (ICSOC 2005), vol 3826. Springer, Berlin, pp 87-100.
7. Codasyl (1982) A modern appraisal of decision tables. Report of the decision table task group. pp 230-232.
8. Dranidis D, Kourtesis D, Ramollari E (2007) Formal verification of web service behavioural conformance through testing. Ann Math, Comput Teleinformatics 1(5): 36-43.
9. Garcia AM, Verhelle M, Vanthienen J (2000) An overview of decision table literature 1982-2000. In: Fifth international conference on artificial intelligence and emerging technologies in accounting, finance and tax.
10. Heckel R, Lohmann M (2005) Towards contract-based testing of web services. Electr Notes Theor Comput Sci 116: 145-156.
11. Jordan D, Evdemon J (2007) Web services business process execution language version 2. 0. Tech. rep., OASIS, http://docs. oasis-open. org/wsbpel/2. 0/OS/wsbpel-v2. 0-OS. html.
12. Keum C, Kang S, Ko IY, Baik J, Choi YI (2006) Generating test cases for web services using extended finite state machine. In: TestCom, pp 103-117.
13. Luckham DC (2001) The power of events: an introduction to complex event processing in distributed enterprise systems. Addison-Wesley Longman Publishing Co., Inc, Boston.
14. Marconi A, Pistore M, Traverso P (2007) Process-level composition of web services: a semi-automated iterative approach. Ann Math, Comput Teleinformatics 1(5): 11-25.
15. Mathes M, Heinzl S, Freisleben B (2008) Ws-temporalpolicy: a ws-policy extension for describing service properties with time constraints. Annu Int Comput Softw Appl Conf 0: 1180-1186.
16. Meyer B (1997) Object-oriented software construction. 2. Prentice-Hall Inc, Upper Saddle River.
17. Michelson B (Feb 2006) Event-driven architecture overview. Patricia Seybold Group.
18. Ortiz G, Leymann F (2006) Combining ws-policy and aspect-oriented programming. In: Telecommunications, 2006 AICT-ICIW '06 International conference on internet and web applications and services/advanced international conference on pp 143-148.
19. Pollac LS, Hicks H, Harrison W (1971) Decision tables: theory and practice. Wiley, New York.
20. Russell S, Norvig P (2003) Artificial intelligence: a modern approach, 2nd edn, chap Constraints satisfaction problems. pp 137-160.
21. Tsai WT, Paul R, Wang Y, Fan C, Wang D (2002) Extending wsdl to facilitate web services testing. In: HASE '02: Proceedings of the 7th IEEE international symposium on high assurance systems engineering (HASE'02), IEEE Computer Society, Washington, DC, USA, p 171.
22. Vedamuthu A, Orchard D, Hirsch F, Hondo M, Yendluri P, Boubez T, Yalcinalp U (2007) Web services policy. Tech. rep., World Wide Web Consortium (W3C), http://www. w3. org/TR/ws-policy.
23. Zirnsak R (2009) Master thesis (working title): input data generation for positive and negative testing. Tech. Rep. 2009/1, University of Paderborn.