Web service mining and verification of properties: An approach based on event calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4275 LNCS - I, Issue , 2006, Pages 408-425

  Rouached, Mohsen ^a   Gaaloul, Walid ^a   Van Der Aalst, Wil M P ^b   Bhiri, Sami ^a   Godart, Claude ^a  

^a LORIA   (France)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION SERVICES; MATHEMATICAL MODELS; SEMANTICS; WORLD WIDE WEB;

PROCESS MINING; WEB SERVICE INTELLIGENCE; WEB SERVICES;

DATA MINING;

EID: 33845396748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11914853_25     Document Type: Conference Paper

References (39)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems, International Business Machines Corporation, and Microsoft Corporation, 2003.
2. A. Arkin, S. Askary, B. Bloch, and F.Curbera. Web services business process execution language version 2.0. Technical report, OASIS, December 2004.
3. M. Baglioni, U. Ferrara, A. Romei, S. Ruggieri, and F. Turini. Use soap-based intermediaries to build chains of web service functionality, 2002.
4. L. Baresi, C. Ghezzi, and S. Guinea. Smart Monitors for Composed Services. In ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing, pages 193-202, New York, NY, USA, 2004. ACM Press.
5. M. Denecker, L. Missiaen, and M. Bruynooghe. Temporal reasoning with abductive event calculus. In Proceedings of the 10th European Conference and Symposium on Logic Programming (ECAI), pages 384-388, 1992.
6. S. Dustdar, R. Gombotz, and K. Baina. Web Services Interaction Mining. Technical Report TUV-1841-2004-16, Information Systems Institute, Vienna University of Technology, Wien, Austria, 2004.
7. D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative control flow. In D. Beauquier and E. Börger and A. Slissenko, editor, Proc. 12th International Workshop on Abstract State Machines, pages 131-151, Paris, France, March 2005.
8. A. Ferrara. Web services: a process algebra approach. In ICSOC '04: Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press.
9. J. Fisteus, L. Fernández, and C. Kloos. Formal verification of BPEL4WS business collaborations. In K. Bauknecht, M. Bichler, and B. Proll, editors, Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (EC- Web '04), volume 3182 of Lecture Notes in Computer Science, pages 79-94, Zaragoza, Spain, Aug. 2004. Springer-Verlag, Berlin.
10. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Compatibility verification for web service choreography. In ICWS '04: Proceedings of the IEEE International Conference on Web Services (ICWS'04), page 738, Washington, DC, USA, 2004. IEEE Computer Society.
11. R. Gombotz and S. Dustdar. On Web Services Mining. In M. Castellanos and T. Weijters, editors, First International Workshop on Business Process Intelligence (BPI'05), pages 58-70, Nancy, France, September 2005.
12. D. Grigori, F. Casati, M. Castellanos, U. Dayal, M. Sayal, and M. Shan. Business Process Intelligence. Computers in Industry, 53(3):321-343, 2004.
13. M. Koshina and F. van Breugel. Verification of business processes for web services. Technical report, New York University, SFUCMPT-TR-2003-06.
14. R. Kowalski and M. J. Sergot. A logic-based calculus of events. New generation Computing 4(1), pages 67-95, 1986.
15. A. Lazovik, M. Aiello, and M. Papazoglou. Associating Assertions with Business Processes and Monitoring their Execution. In ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing, pages 94-104, New York, NY, USA, 2004. ACM Press.
16. A. Martens. Analyzing Web Service Based Business Processes. In M. Cerioli, editor, Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), volume 3442 of Lecture Notes in Computer Science, pages 19-33. Springer-Verlag, Berlin, 2005.
17. S. McIlraith and T. Son. Adapting golog for composition of semantic web services. In Proc of the 8th International Conference on Principles of Knowledge Representation and Reasoning, 2002.
18. E. T. Mueller. Event calculus reasoning through satisfiability. J. Log. and Comput., 14(5):703-730, 2004.
19. E. T. Mueller. Event calculus reasoning through satisfiability. J. Log. and Comput., 14(5):703-730, 2004.
20. M. Mühlen and M. Rosemann. Workflow-based Process Monitoring and Controlling - Technical and Organizational Issues. In R. Sprague, editor, Proceedings of the 33rd Hawaii International Conference on System Science (HICSS-33), pages 1-10. IEEE Computer Society Press, Los Alamitos, California, 2000.
21. S. Nakajima. Verification of web service flows with model-checking techniques. In CW, pages 378-385, 2002.
22. S. Narayanan and S. A. McIlraith. Simulation, verification and automated composition of web services. In WWW '02: Proceedings of the 11th international conference on World Wide Web, pages 77-88, New York, NY, USA, 2002. ACM Press.
23. C. Ouyang, W. Aalst, S. Breutel, M. Dumas, and H. Verbeek. Formal Semantics and Analysis of Control Flow in WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.
24. W. Pauw, M. Lei, E. Pring, L. Villard, M. Arnold, and J. Morar. Web Services Navigator: Visualizing the Execution of Web Services. IBM Systems Journal, 44(4):821-845, 2005.
25. J. Punin, M. Krishnamoorthy, and M. Zaki. Web usage mining: Languages and algorithms. In Studies in Classification, Data Analysis, and Knowledge Organization. Springer-Verlag, 2001.
26. M. Rouached and C.Godart. An event based model for web services coordination. In 2nd International Conference on Web Information Systems and Technologies (WEBIST 2006), pages 384-388. Setubal, Portugal, 11-13 April 2006.
27. M. Rouached, O. Perrin, and C. Godart. A contract-based approach for monitoring collaborative web services using commitments in the event calculus, In Sixth International Conference on Web Information Engineering System (WISE05), pages 426-434, 2005.
28. M. Rouached, O. Perrin, and C. Godart. Towards formal verification of web service composition. In Forth International Conference on Business Process Management (BPM06), 2006.
29. A. Rozinat and W. M. P. van der Aalst. Conformance testing; Measuring the fit and appropriateness of event logs and process models. In Business Process Management Workshops, pages 163-176, 2005.
30. M. Sayal, F. Casati, U. Dayal, and M. Shan. Business Process Cockpit. In Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pages 880-883. Morgan Kaufmann, 2002.
31. M. Shanahan and M. Witkowski. Event calculus planning through satisfiability. J. Log. and Comput., 14(5):731-745, 2004.
32. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
33. W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. Process mining and verification of properties: An approach based on temporal logic. In OTM Conferences (1), pages 130-147, 2005.
34. W. M. P. van der Aalst, H. T. de Beer, and B. F. van Dongen. Process mining and verification of properties: An approach based on temporal logic. In OTM Conferences (1), pages 130-147, 2005.
35. W. M. P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version). BPM Center Report BPM-05-25, BPMcenter.org, 2005.
36. W. M. P. van der Aalst and M. Pesic. Specifying, Discovering, and Monitoring Service Flows: Making Web Services Process-Aware. BPM Center Report BPM-06-09, BPMcenter.org, 2006.
37. W. M. P. van der Aalst, B. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A. Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267, 2003.
38. W. M. P. van der Aalst and A. Weijters, editors. Process Mining, Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam, 2004.
39. P. Yolum and M. P. Singh. Reasoning about commitments in the event calculus: An approach for specifying and executing protocols. Annals of Mathematics and Artificial Intelligence, 42(1-3):227-253, 2004.