Cooperative runtime monitoring

Enterprise Information Systems

Volumn 7, Issue 4, 2013, Pages 395-423

  Hallé, Sylvain ^a  

^a UNIVERSITÉ DU QUÉBEC À CHICOUTIMI   (Canada)

Author keywords

distributed computing; runtime monitoring; temporal logic; web services

Indexed keywords

MONITORING TASKS; RUNTIME MONITORING; RUNTIMES; SERVER SIDES; SERVICE PROVIDER;

DISTRIBUTED COMPUTER SYSTEMS; NETWORK COMPONENTS; TEMPORAL LOGIC; WEBSITES;

WEB SERVICES;

EID: 84884350876     PISSN: 17517575     EISSN: 17517583     Source Type: Journal    
DOI: 10.1080/17517575.2012.721118     Document Type: Article

References (48)

1. Andrews, T. 2003. Business process execution language for web services Version 1.1. [online]. Available from: http://www-128.ibm.com/developerworks/library/ws-bpel/ [Accessed 15 July 2011]
2. Ball, T., Podelski, A. and Rajamani, S.K. Boolean and Cartesian abstraction for model checking C programs. TACAS. Edited by: Margaria, T. and Yi, W. pp. 268 - 283. Heidelberg: Springer.
3. Barbon, F. Run-time monitoring of instances and classes of web service compositions. IEEE international conference on web services, ICWS'06. September 18-22. pp. 63 - 71. Los Alamitos, CA: IEEE Computer Society.
4. Barringer, H., Rydeheard, D. and Havelund, K. 2008. Rule systems for run-time monitoring: From Eagle to RuleR. Journal of Logic and Computation, 20 (3): 675 - 706.
5. Bauer, A., Leucker, M. and Schallhart, C. The good, the bad, and the ugly, but how ugly is ugly?. RV. Edited by: Sokolsky, O. and Tasiran, S. pp. 126 - 138. Heidelberg: Springer.
6. Clarke, E.M., Grumberg, O. and Peled, D.A. 2000. Model checking, Cambridge, MA: MIT Press.
7. Decker, G., Zaha, J.M. and Dumas, M. 2006. Springer 163 - 177.
8. Deutsch, A. Verification of communicating data-driven web services. PODS. Edited by: Vansummeren, S. pp. 90 - 99. New York, NY: ACM.
9. Diffie, W. and Hellman, M. 1976. New directions in cryptography. IEEE Transactions on Information Theory, 22 (6): 644 - 654.
10. Eisner, C. and Fisman, D. 2006. A practical introduction to PSL, Heidelberg: Springer.
11. Eisner, C. Reasoning with temporal logic on truncated paths. CAV. Edited by: Hunt, W.A. Jr. and Somenzi, F. pp. 27 - 39. Heidelberg: Springer.
12. Gan, Y. Runtime monitoring of web service conversations. CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on collaborative research. October 22-25 2007. pp. 42 - 57. New York, NY: ACM.
13. Garey, M.R. and Johnson, D.S. 1979. Computers and intractability, a guide to the theory of NP-completeness, New York, NY: W.H.
14. Gerede, C.E. and Su, J. Specification and verification of artifact behaviors in business process models. ICSOC. Edited by: Krämer, B.J., Lin, K.J. and Narasimhan, P. pp. 181 - 192. Heidelberg: Springer.
15. Gerth, R. Simple on-the-fly automatic verification of linear temporal logic. PSTV. Edited by: Dembinski, P. and Sredniawa, M. pp. 3 - 18. London: Chapman & Hall.
16. Ghezzi, C. and Guinea, S. 2007. " Run-time monitoring in service-oriented architectures ". In Run-time monitoring in service-oriented architectures, Edited by: L., Baresi and E., Di Nitto. 237 - 264. Heidelberg: Springer.
17. Goldreich, O., Micali, S. and Wigderson, A. How to play any mental game or a completeness theorem for protocols with honest majority. STOC. Edited by: Aho, A.V. pp. 218 - 229. New York, NY: ACM.
18. Goldwasser, S., Micali, S. and Rackoff, C. 1989. The knowledge complexity of interactive proof systems. SIAM Journal of Computing, 18 (1): 186 - 208.
19. Groce, A., Havelund, K. and Smith, M.H. From scripts to specifications: the evolution of a flight software testing effort. ICSE (2). Edited by: Kramer, J. pp. 129 - 138. New York, NY: ACM.
20. Hallé, S. and Villemaire, R. XML methods for validation of temporal properties on message traces with data. CoopIS. Edited by: Meersman, R. and Tari, Z. pp. 337 - 353. Heidelberg: Springer.
21. Hallé, S. and Villemaire, R. Browser-based enforcement of interface contracts in web applications with BeepBeep. CAV. Edited by: Bouajjani, A. and Maler, O. pp. 648 - 653. Heidelberg: Springer.
22. Hallé, S. and Villemaire, R. Runtime monitoring of web service choreographies using streaming XML. SAC. Edited by: Shin, S.Y. and Ossowski, S. pp. 2118 - 2125. New York, NY: ACM.
23. Hallé, S. and Villemaire, R. 2012. Runtime enforcement of web service message contracts with data. IEEE Transactions on Services Computing, 5 (2): 192 - 206.
24. Hallé, S. Generating interface grammars from WSDL for automated verification of web services. ICSOC-ServiceWave. Edited by: Baresi, L., Chi, C.H. and Suzuki, J. pp. 516 - 530. Heidelberg: Springer.
25. Hallé, S. 2010. Runtime verification of web service interface contracts. IEEE Computer, 43 (3): 59 - 66.
26. Holzmann, G.J. 2003. The SPIN model checker: primer and reference manual, Reading, MA: Addison-Wesley Professional.
27. Hughes, G., Bultan, T. and Alkhalaf, M. Client and server verification for web services using interface grammars. TAV-WEB. Edited by: Bultan, T. and Xie, T. pp. 40 - 46. New York, NY: ACM.
28. Hunt, G. 2005. An overview of the singularity project. Technical report MSR-TR-2005-135, Microsoft Research
29. IEEE Standard for Property Specification Language (PSL). 2005. Technical report IEEE Std 1850-2005, IEEE Computer Society
30. Kavantzas, N. 2005. Web services choreography description language Version 1.0. [online] Available from: http://www.w3.org/TR/ws-cdl-10/ [Accessed 15 July 2011]
31. Kuhtz, L. and Finkbeiner, B. LTL path checking is efficiently parallelizable. ICALP (2). Edited by: Albers, S. pp. 235 - 246. Heidelberg: Springer.
32. Logean, X. Run-time monitoring of distributed applications. Middleware '98: Proceedings of the IFIP international conference on distributed systems platforms and open distributed processing. September 15-18. pp. 459 - 474. London, UK: Springer-Verlag.
33. Mahbub, K. and Spanoudakis, G. Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. IEEE international conference on web services (ICWS 2005). July 11-15 2005, Orlando, FL. pp. 257 - 265. Piscataway, NJ: IEEE Computer Society.
34. Mahbub, K. and Spanoudakis, G. 2007. Monitoring WS-agreements: an event calculus-based approach. In: L. Baresi and E. Di Nitto, eds. Test and analysis of web services. Heidelberg: Springer 265 - 306.
35. Necula, G.C. Proof-carrying code. Conference record of POPL'97: The 24th ACM SIGPLAN-SIGACT symposium on principles of programming languages. January 15-17 1997, Paris, France. Edited by: P., Lee, F., Henglein and N.D., Jones. pp. 106 - 119. New York: ACM Press.
36. Object Management Group. 2008. Business process modeling notation, Version 1.1. [online] Available from: http://www.omg.org/spec/BPMN/1.1/PDF [Accessed 15 July 2011]
37. Paola, S.D. and Fedon, G. 2006. Subverting Ajax. [online] Available from: http://events.ccc.de/congress/2006/Fahrplan/events/1602.en.html [Accessed 17 March 2010]
38. Pardo, A. and Hachtel, G.D. Automatic abstraction techniques for propositional μ -calculus model checking. CAV. Edited by: Grumberg, O. pp. 12 - 23. Heidelberg: Springer.
39. Roşu, G. and Havelund, K. 2005. Rewriting-based techniques for runtime verification. Automated Software Engineering, 12 (2): 151 - 197.
40. Sharygina, N. and Kröning, D. 2007. Model checking with abstraction for web services, 121 - 148. Heidelberg: Springer.
41. van der Aalst, W.M. and Pesic, M. 2006. DecSerFlow: towards a truly declarative service flow language. In: M. Bravetti et al., eds. WS-FM, Vol. 4184 of Lecture Notes in Computer Science. Heidelberg:, 1 - 23. Springer.
42. Van Gelder, A. Extracting (easily) checkable proofs from a satisfiability solver that employs both preorder and postorder resolution. 7th international symposium on artificial intelligence and mathematics. January 2-4 2002, Fort Lauderdale, FL. Available from: http://rutcor.rutgers.edu/$\sim$amai/aimath02/PAPERS/33.ps [Accessed 7 September 2012]
43. Viriyasitavat, W., Xu, L.D. and Martin, A. 2012. SWSpec: the requirements specification language in service workflow environments. IEEE Transactions on Industrial Informatics, 8 (3): 631 - 638.
44. Wang, C. Cooperative data management services based on accountable contract. CoopIS. Edited by: Meersman, R. and Tari, Z. pp. 301 - 318. Heidelberg: Springer.
45. Wilson, B. 2008. Jailbreak for iPhone 3G released: how to use. [online] Available from: http://reviews.cnet.com/8301-19512_7-10115639-233.html [Accessed March 1st 2011]
46. Xu, L.D. 2009. Modelling and analysis techniques for cross-organizational workflow systems. Systems Research and Behavioural Science, 26: 367 - 389.
47. Xu, L.D. 2012. Using propositional logic for requirements verification of service workflow. IEEE Transactions on Industrial Informatics, 8 (3): 639 - 646.
48. Yang, S. Trust but verify: monitoring remotely executing programs for progress and correctness. PPOPP. Edited by: Pingali, K., Yelick, K.A. and Grimshaw, A.S. pp. 196 - 205. New York, NY: ACM.