Automated runtime verification for web services

ICWS 2010 - 2010 IEEE 8th International Conference on Web Services

Volumn , Issue , 2010, Pages 76-82

  Cao, Tien Dung ^a   Phan Quang, Trung Tien ^a   Felix, Patrick ^a   Castanet, Richard ^a  

^a UNIVERSITÉ BORDEAUX 1   (France)

Author keywords

Nomad language; Passive testing; Rule specification; Runtime verification; Web Services

Indexed keywords

NOMAD LANGUAGE; OFFLINE; PASSIVE TESTING; RULE SPECIFICATION; RUN-TIME VERIFICATION; SECURITY RULES; SOFTWARE TOOL; THEORETICAL FRAMEWORK; TIMING CONSTRAINTS;

LINGUISTICS; SPECIFICATIONS; TIMING CIRCUITS; VERIFICATION;

WEB SERVICES;

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

References (17)

1. OASIS. Web Services Business Process Execution Language (BPEL) Version 2.0, April 2007. http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html.
2. Web Services Description Language 1.1. http://www.w3.org/TR/wsdl.
3. Active Endpoints. The Active-Bpel engine. http://www.activevos.com/ community-open-source.php.
4. E. Bayse, A. Cavalli, M. Nunez, and F. Zaidi, "A passive testing approach based on invariants: application to the WAP", Computer Networks 48 (2005) pp. 247-266. (Pubitemid 40480176)
5. D Dranidis, E. Ramollari, and D. Kourtesis, "Run-time Verification of Behavioural Conformance for Conversational Web Services", 2009 Seventh IEEE European Conference on Web Services, pp. 139 - 147, Nov 9 - 11, 2009, Eindhoven, The Netherlands.
6. L. Baresi, S. Guinea, M. Pistore, and M. Trainotti, "Dynamo + Astro: An integrated Approach for BPEL Monitoring", 2009 IEEE International Conference on Web Service, pp. 230-237, July 6-10, 2009, Los Angeles, CA, USA.
7. L. Baresi, S. Guinea, R. Kazhamiakin, and M. Pistore, "An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations", 1st European Conference on Towards a Service- Based Internet, pp. 1 - 12, Madrid, Spain, 2008.
8. L. Baresi and S. Guinea, "Towards Dynamic Monitoring of WS-BPEL Processes", Third International Conference on Service-Oriented Computing, pp. 269-282, Dec 12-15, 2005, Amsterdam, The Netherlands. (Pubitemid 43856191)
9. A. Cavalli, A. Benameur, W. Mallouli, and K. Li, "A Passive Testing Approach for Security Checking and its Pratical Usage for Web Services Monitoring", NOTERE 2009, Montreal, Canada, 2009.
10. W. Mallouli, F. Bessayah, A. Cavalli, and A. Benameur, "Security Rules Specification and analysis Based on Passive Testing" IEEE Global Telecommunications Conference, 2008, pp. 1 - 6, Nov 30 - Dec 4, 2008, New Orleans, LA, USA.
11. F. Cuppens, N. Cuppens-Boulahia, and T. Sans, "Nomad: a security model with non atomic actions and deadlines", 18th IEEE Workshop on Computer Security Foundations, pp. 186 - 196, 20-22 June 2005, Aix-en-Provence, France. (Pubitemid 41696429)
12. H. Barringer, A. Goldberg, K. Havelund, and K. Sen, "Rule- Based Runtime Verification", 5th International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 11-13, 2004, Venice, Italy.
13. A. Goldberg and K. Havelund, "Automated Runtime Verification with Eagle", Verification and Validation of Enterprise Information Systems, May 24, 2005, Miami, USA.
14. Z. Li, Y. Jin, and J. Han, "A Runtime Monitoring and Validation Framework for Web Service Interactions", Proceedings of the Australian Software Engineering Conference, pp. 70-79, Apr 18-21, 2006, Sydney, Australia. (Pubitemid 44592141)
15. Z. Li, J. Han, and Y. Jin, "Pattern-Based Specification and Validation of Web Services Interaction Properties", In Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC'05), pp. 73 - 86, Dec 12-15, 2005, Amsterdam, The Netherlands. (Pubitemid 43856177)
16. Programming with pcap: http://www.tcpdump.org/pcap.htm.
17. Alfred Inselberg, "The plane with parallel coordinates", The Visual Computer, pp.69 - 91, Vol 1, No 2, Springer Berlin / Heidelberg, August, 1985.