Runtime monitoring of message-based workflows with data

Proceedings - 12th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2008

Volumn , Issue , 2008, Pages 63-72

  Hallé, Sylvain ^a   Villemaire, Roger ^a  

^a UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

DATA STORAGE EQUIPMENT; MARKUP LANGUAGES; NETWORK COMPONENTS; TEMPORAL LOGIC;

BUSINESS PROCESSES; DATA DEPENDENCIES; DATA PARAMETERIZATION; FIRST ORDERS; LINEAR TEMPORAL LOGICS; WORKFLOWS; XML MESSAGES;

PROCESS ENGINEERING;

EID: 56649120680     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2008.32     Document Type: Conference Paper

References (26)

1. C. Artho, D. Drusinsky, A. Goldberg, K. Havelund, M. R. Lowry, C. S. Pasareanu, G. Rosu, and W. Visser. Experiments with test case generation and runtime analysis. In E. Börger, A. Gargantini, and E. Riccobene, editors, Abstract State Machines, volume 2589 of Lecture Notes in Computer Science, pages 87-107. Springer, 2003.
2. F. Barbon, P. Traverso, M. Pistore, and M. Trainotti. Run-time monitoring of instances and classes of web service compositions. In ICWS, pages 63-71. IEEE Computer Society, 2006.
3. H. Barringer, A. Goldberg, K. Havelund, and K. Sen. Rule-based runtime verification. In B. Steffen and G. Levi, editors, VMCAI, volume 2937 of Lecture Notes in Computer Science, pages 44-57. Springer, 2004.
4. A. Bauer, M. Leucker, and C. Schallhart. The good, the bad, and the ugly, but how ugly is ugly? In Sokolsky and Tasiran [24], pages 126-138.
5. R. Boutaba, W. Golab, Y. Iraqi, and B. S. Arnaud. Lightpaths on demand: A web-services-based management system. IEEE Communications Magazine, pages 2-9, July 2004.
6. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation specification: a new approach to design and analysis of e-service composition. In WWW, pages 403-410, 2003.
7. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
8. C. Constant, T. Jéron, H. Marchand, and V. Rusu. Integrating formal verification and conformance testing for reactive systems. IEEE Trans. Software Eng., 33(8):558-574, August 2007.
9. A. Deutsch, L. Sui, V. Vianu, and D. Zhou. Verification of communicating data-driven web services. In S. Vansummeren, editor, PODS, pages 90-99. ACM, 2006.
10. Y. Gan, M. Chechik, S. Nejati, J. Bennett, B. O'Farrell, and J. Waterhouse. Runtime monitoring of web service conversations. In CASCON '07: Proceedings of the 2007 conference of the center for advanced studies on Collaborative research, pages 42-57, New York, NY, USA, 2007. ACM.
11. C. E. Gerede, K. Bhattacharya, and J. Su. Static analysis of business artifact-centric operational models. In SOCA, pages 133-140. IEEE Computer Society, 2007.
12. C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In B. J. Krämer, K.-J. Lin, and P. Narasimhan, editors, ICSOC, volume 4749 of Lecture Notes in Computer Science, pages 181-192. Springer, 2007.
13. R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. Simple on-the-fly automatic verification of linear temporal logic. In P. Dembinski and M. Sredniawa, editors, PSTV, volume 38 of IFIP Conference Proceedings, pages 3-18. Chapman & Hall, 1995.
14. C. Ghezzi and S. Guinea. Run-Time Monitoring in Service-Oriented Architectures, pages 237-264. Springer, 2007.
15. G. Governatori, Z. Milosevic, and S. W. Sadiq. Compliance checking between business processes and business contracts. In EDOC, pages 221-232. IEEE Computer Society, 2006.
16. S. Hallé, R. Villemaire, O. Cherkaoui, and B. Ghandour. Model-checking data-aware temporal workflow properties with CTL-FO+. In EDOC, pages 267-278. IEEE Computer Society, 2007.
17. S. Hallé, R. Villemaire, O. Cherkaoui, J. Tremblay, and B. Ghandour. Extending model checking to data-aware temporal properties of web services. In M. Dumas and R. Heckel, editors, WS-FM, volume 4937 of Lecture Notes in Computer Science, pages 31-45. Springer, 2007.
18. G. J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley Professional, 2003.
19. I. H. Krüger, M. Meisinger, and M. Menarini. Runtime verification of interactions: From MSCs to aspects. In Sokolsky and Tasiran [24], pages 63-74.
20. K. Mahbub and G. Spanoudakis. Run-time monitoring of requirements for systems composed of web-services: Initial implementation and evaluation experience. In ICWS, pages 257-265. IEEE Computer Society, 2005.
21. K. Mahbub and G. Spanoudakis. Monitoring WS-Agreements: An Event Calculus-Based Approach, pages 265-306. Springer, 2007.
22. W. Robinson. A requirements monitoring framework for enterprise systems. Requir. Eng., 11(1):17-41, 2006.
23. W. N. Robinson. Monitoring web service requirements. In RE, pages 65-74. IEEE Computer Society, 2003.
24. O. Sokolsky and S. Tasiran, editors. Runtime Verification, 7th International Workshop, RV 2007, Vancover, Canada, March 13, 2007, Revised Selected Papers, volume 4839 of Lecture Notes in Computer Science. Springer, 2007.
25. V. Stolz. Temporal assertions with parametrised propositions. In Sokolsky and Tasiran [24], pages 176-187.
26. M. Venzke. Specifications using XQuery expressions on traces. Electr. Notes Theor. Comput. Sci., 105:109-118, 2004.