Run-time verification of behavioural conformance for conversational web services

ECOWS'09 - 7th IEEE European Conference on Web Services

Volumn , Issue , 2009, Pages 139-147

  Dranidis, Dimitris ^a   Ramollari, Ervin ^a   Kourtesis, Dimitrios ^a  

^a UNIVERSITY OF SHEFFIELD   (Greece)

Author keywords

Behavioural conformace; Formal methods; Monitoring; Run time verification; Stream X machines; Web services

Indexed keywords

BEHAVIOURAL CONFORMACE; CONTROL FLOWS; RUN-TIME VERIFICATION; RUNTIME MONITORING; RUNTIMES; SERVICE ORIENTED; SERVICE-ORIENTED INFRASTRUCTURES; STREAM X-MACHINES;

FORMAL METHODS; HYDRAULICS; SERVICE ORIENTED ARCHITECTURE (SOA); SPECIFICATIONS;

WEB SERVICES;

EID: 74549215709     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ECOWS.2009.19     Document Type: Conference Paper

References (21)

1. W.M.P.V.D. Aalst, M. Dumas, C. Ouyang, A. Rozinat, and E. Verbeek, "Conformance checking of service behavior," ACM Trans. Interet Technol., vol. 8, 2008, pp. 1-30.
2. C. Atkinson, D. Stoll, H. Acker, P. Dadam, M. Lauer, and M. Reichert, "Separating per-client and pan-client views in service specification," Proceedings of the 2006 international workshop on Service-oriented software engineering, Shanghai, China: ACM, 2006, pp. 47-53.
3. D. Bianculli and C. Ghezzi, "Monitoring conversational Web services," 2nd international workshop on Service oriented software engineering: in conjunction with the 6th ESEC/FSE joint meeting, Dubrovnik, Croatia: ACM, 2007, pp. 15-21.
4. D. Brenner, C. Atkinson, O. Hummel, and D. Stoll, "Strategies for the Run-Time Testing of Third Party Web Services," Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, IEEE Computer Society, 2007, pp. 114-121.
5. D. Dranidis, G. Eleftherakis and P. Kefalas, "Object-based Language for Generalized State Machines," Annals of Mathematics, Computing and Teleinformatics (AMCT), 1 (3), 2005, 8-17.
6. D. Dranidis, D. Kourtesis, and E. Ramollari, "Formal verification of Web service behavioural conformance through testing," Annals Of Mathematics, Computing & Teleinformatics,, vol. 1, 2007, pp. 36-43.
7. D. Dranidis, "JSXM: A Suite of Tools for Model-Based Automated Test Generation: User Manual." Technical Report WPCS01-09, CITY College, 2009.
8. S. Eilenberg, Automata, Languages and Machines, Academic Press, 1974.
9. G. Engels, M. Lohmann, S. Sauer, and R. Heckel, "Model-Driven Monitoring: An Application of Graph Transformation for Design by Contract," Graph Transformations, 2006, pp. 336-350.
10. R.M. Hierons and M. Harman, "Testing conformance of a deterministic implementation against a non-deterministic stream X-machine," Theor. Comput. Sci., vol. 323, 2004, pp. 191-233.
11. M. Holcombe and F. Ipate, Correct systems: Building a business process solution, Springer-Verlag, 1998.
12. E. Kapeti and P. Kefalas, "A Design Language and Tool for X-Machine Specification," Advances in Informatics, Proceedings of the 7th Hellenic Conference on Informatics (HCI '99), 2000.
13. D. Kourtesis, E. Ramollari, D. Dranidis, and I. Paraskakis, "Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification," Pervasive Collaborative Networks, 2008, pp. 473-482.
14. D. Kourtesis, E. Ramollari, D. Dranidis, and I. Paraskakis, "Increased Reliability in SOA Environments through Registry-Based Conformance Testing of Web Services," Special issue of Journal on Production Planning & Control on Engagement in Collaborative Networks, Taylor & Francis, 2009,(in press).
15. G. Laycock, "The Theory and Practice of Specification-Based Software Testing," Thesis (PhD). Department of Computer Science, University of Sheffield, 1993.
16. Z. Li, Y. Jin, and J. Han, "A Runtime Monitoring and Validation Framework for Web Service Interactions," Proceedings of the Australian Software Engineering Conference, IEEE Computer Society, 2006, pp. 70-79.
17. M. Lohmann, L. Mariani, and R. Heckel, "A Model-Driven Approach to Discovery, Testing and Monitoring of Web Services," Test and Analysis of Web Services, 2007, pp. 173-204.
18. K. Mahbub and G. Spanoudakis, "A framework for requirents monitoring of service based systems," Proceedings of the 2nd international conference on Service oriented computing, New York, NY, USA: ACM, 2004, pp. 84-93.
19. E. Ramollari, D. Kourtesis, D. Dranidis, and A.J. Simons, "Towards reliable Web service discovery through behavioural verification and validation," Proceedings of the 3rd European Young Researchers Workshop on Service Oriented Computing, London: 2008.
20. E. Ramollari, D. Kourtesis, D. Dranidis and A.J.H. Simons, "Leveraging Semantic Web Service Descriptions for Validation by Automated Functional Testing, The Semantic Web: Research and Applications, Springer LNCS 5554, 2009, 3-607.
21. A. Rozinat and W.M.P.V.D. Aalst, "Conformance checking of processes based on monitoring real behavior," Inf. Syst., vol. 33, 2008, pp. 64-95.