Specifying and monitoring service flows: Making Web services process-aware

Test and Analysis of Web Services

Volumn , Issue , 2007, Pages 11-55

  Van Der Aalst, W M P ^a   Pesic, M ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 58849096045     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-540-72912-9_2     Document Type: Chapter

References (95)

1. W.M.P. van der Aalst. Business Alignment: Using Process Mining as a Tool for Delta Analysis. In J. Grundspenkis and M. Kirikova, editors, Proceedings of the 5th Workshop on Business Process Modeling, Development and Support (BPMDS'04), volume 2 of Caise'04 Workshops, pages 138-145. Riga Technical University, Latvia, 2004
2. W.M.P. van der Aalst and T. Basten. Inheritance of Workflows: An Approach to Tackling Problems Related to Change. Theoretical Computer Science, 270 (1-2):125-203, 2002
3. 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 R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 130-147. Springer-Verlag, Berlin, 2005
4. W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Web Service Composition Languages: Old Wine in New Bottles? In G. Chroust and C. Hofer, editors, Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pages 298-305. IEEE Computer Society, Los Alamitos, CA, 2003
5. W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, N. Russell, H.M.W. Verbeek, and P. Wohed. Life After BPEL? In M. Bravetti, L. Kloul, and G. Zavattaro, editors, WS-FM 2005, volume 3670 of Lecture Notes in Computer Science, pages 35-50. Springer-Verlag, Berlin, 2005
6. W.M.P. van der Aalst, M. Dumas, C. Ouyang, A. Rozinat, and H.M.W. Verbeek. Choreography Conformance Checking: An Approach based on BPEL and Petri Nets (extended version). BPM Center Report BPM-05-25, BPMcenter. org, 2005
7. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002
8. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros. Workflow Patterns. Distributed and Parallel Databases, 14(1):5-51, 2003
9. W.M.P. van der Aalst, J.B. J?gensen, and K.B. Lassen. Let's Go All the Way: From Requirements via Colored Workflow Nets to a BPEL Implementation of a New Bank System Paper. In R. Meersman and Z. Tari et al., editors, On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2005, volume 3760 of Lecture Notes in Computer Science, pages 22-39. Springer-Verlag, Berlin, 2005
10. W.M.P. van der Aalst and A.K.A. de Medeiros. Process Mining and Security: Detecting Anomalous Process Executions and Checking Process Conformance. In N. Busi, R. Gorrieri, and F. Martinelli, editors, Second International Workshop on Security Issues with Petri Nets and other Computational Models (WISP 2004), pages 69-84. STAR, Servizio Tipografico Area della Ricerca, CNR Pisa, Italy, 2004
11. W.M.P. van der Aalst, H.A. Reijers, and M. Song. Discovering Social Networks from Event Logs. Computer Supported Cooperative work, 14(6):549-593, 2005
12. W.M.P. van der Aalst and M. Song. Mining Social Networks: Uncovering Interaction Patterns in Business Processes. In J. Desel, B. Pernici, and M.Weske, editors, International Conference on Business Process Management (BPM 2004), volume 3080 of Lecture Notes in Computer Science, pages 244-260. Springer-Verlag, Berlin, 2004
13. W.M.P. van der Aalst, B.F. van Dongen, J. Herbst, L. Maruster, G. Schimm, and A.J.M.M. Weijters. Workflow Mining: A Survey of Issues and Approaches. Data and Knowledge Engineering, 47(2):237-267, 2003
14. W.M.P. van der Aalst and A.J.M.M. Weijters, editors. Process Mining, Special Issue of Computers in Industry, Volume 53, Number 3. Elsevier Science Publishers, Amsterdam, 2004
15. W.M.P. van der Aalst, A.J.M.M. Weijters, and L. Maruster. Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering, 16(9):1128-1142, 2004
16. W.M.P. van der Aalst and M. Weske. The P2P approach to Interorganizational Workflows. In K.R. Dittrich, A. Geppert, and M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 140-156. Springer-Verlag, Berlin, 2001
17. R. Agrawal, D. Gunopulos, and F. Leymann. Mining Process Models from Workflow Logs. In Sixth International Conference on Extending Database Technology, pages 469-483, 1998
18. 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
19. Apache Axis, http://ws.apache.org/axis/.
20. BABEL, Expressiveness Comparison and Interchange Facilitation Between Business Process Execution Languages, http://www.bpm.fit.qut.edu.au/ projects/babel/tools/.
21. 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
22. T. Belwood and et al. UDDI Version 3.0. http://uddi.org/pubs/uddi\-v3. htm, 2000
23. D. Box, D. Ehnebuske, G. Kakivaya, A. Layman, N. Mendelsohn, H. Nielsen, S. Thatte, and D. Winer. Simple Object Access Protocol (SOAP) 1.1. http: //www.w3.org/TR/soap, 2000
24. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, 2001
25. P. Chrzastowski-Wachtel. A Top-down Petri Net Based Approach for Dynamic Workflow Modeling. In W.M.P. van der Aalst, A.H.M. ter Hofstede, and M. Weske, editors, International Conference on Business Process Management (BPM 2003), volume 2678 of Lecture Notes in Computer Science, pages 336-353. Springer-Verlag, Berlin, 2003
26. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999
27. J.E. Cook and A.L.Wolf. Discovering Models of Software Processes from Event-Based Data. ACM Transactions on Software Engineering and Methodology, 7(3):215-249, 1998
28. A. Datta. Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches. Information Systems Research, 9(3): 275-301, 1998
29. B.F. van Dongen, A.K. Alves de Medeiros, H.M.W. Verbeek, A.J.M.M. Weijters, and W.M.P. van der Aalst. The ProM framework: A New Era in Process Mining Tool Support. In G. Ciardo and P. Darondeau, editors, Application and Theory of Petri Nets 2005, volume 3536 of Lecture Notes in Computer Science, pages 444-454. Springer-Verlag, Berlin, 2005
30. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, 2005
31. 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
32. M.B. Dwyer, G.S. Avrunin, and J.C. Corbett. Patterns in Property Specifications for Finite-State Verification. In ICSE '99: Proceedings of the 21st international conference on Software engineering, pages 411-420, Los Alamitos, CA, USA, 1999. IEEE Computer Society Press
33. 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
34. A. Ferrara. Web services: A process algebra approach. In Proceedings of the 2nd international conference on Service oriented computing, pages 242-251, New York, NY, USA, 2004. ACM Press
35. J.A. Fisteus, L.S. Ferñandez, and C.D. 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, August 2004. Springer-Verlag, Berlin
36. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification ofWeb Service Composition. In Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pages 152-161, Montreal, Canada, October 2003
37. W. Gaaloul, S. Bhiri, and C. Godart. Discovering Workflow Transactional Behavior from Event-Based Log. In R. Meersman, Z. Tari, W.M.P. van der Aalst, C. Bussler, and A. Gal et al., editors, On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE: OTM Confederated International Conferences, CoopIS, DOA, and ODBASE 2004, volume 3290 of Lecture Notes in Computer Science, pages 3-18, 2004
38. W. Gaaloul and C. Godart. Mining Workflow Recovery from Event Based Logs. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Business Process Management (BPM 2005), volume 3649, pages 169-185. Springer-Verlag, Berlin, 2005
39. D. Georgakopoulos, M. Hornick, and A. Sheth. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 3:119-153, 1995
40. R. Gerth, D. Peled, M.Y. Vardi, and P. Wolper. Simple On-The-Fly Automatic Verification of Linear Temporal Logic. In Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV, pages 3-18, London, UK, 1996. Chapman & Hall, Ltd
41. D. Giannakopoulou and K. Havelund. Automata-based verification of temporal properties on running programs. In ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering, page 412, Washington, DC, USA, 2001. IEEE Computer Society
42. 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
43. D. Grigori, F. Casati, M. Castellanos, U. Dayal, M. Sayal, and M.C. Shan. Business Process Intelligence. Computers in Industry, 53(3):321-343, 2004
44. D. Grigori, F. Casati, U. Dayal, and M.C. Shan. Improving Business Process Quality through Exception Understanding, Prediction, and Prevention. In P. Apers, P. Atzeni, S. Ceri, S. Paraboschi, K. Ramamohanarao, and R. Snodgrass, editors, Proceedings of 27th International Conference on Very Large Data Bases (VLDB'01), pages 159-168. Morgan Kaufmann, 2001
45. K. Havelund and G. Rosu. Monitoring Programs Using Rewriting. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01), pages 135-143. IEEE Computer Society Press, Providence, 2001
46. K. Havelund and G. Rosu. Synthesizing Monitors for Safety Properties. In Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2002), volume 2280 of Lecture Notes in Computer Science, pages 342-356. Springer-Verlag, Berlin, 2002
47. J. Herbst. A Machine Learning Approach toWorkflow Management. In Proceedings 11th European Conference on Machine Learning, volume 1810 of Lecture Notes in Computer Science, pages 183-194. Springer-Verlag, Berlin, 2000
48. G.J. Holzmann. The Model Checker SPIN. IEEE Trans. Softw. Eng., 23(5): 279-295, 1997
49. G.J. Holzmann. An Analysis of Bitstate Hashing. Form. Methods Syst. Des., 13(3):289-307, 1998
50. G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2003
51. G.J. Holzmann and D. Peled. An Improvement in Formal Verification. In FORTE 1994 Conference, Bern, Switzerland, 1994
52. G.J. Holzmann, D. Peled, and M. Yannakakis. On nested depth-first search. In The Spin Verification System, Proceedings of the 2nd Spin Workshop.), pages 23-32. American Mathematical Society, 1996
53. IDS Scheer. ARIS Process Performance Manager (ARIS PPM): Measure, Analyze and Optimize Your Business Process Performance (whitepaper). IDS Scheer, Saarbruecken, Gemany, http://www.ids-scheer.com, 2002
54. N. Kavantzas, D. Burdett, G. Ritzinger, T. Fletcher, and Y. Lafon. Web Services Choreography Description Language, Version 1.0. W3C Working Draft 17-12-04, 2004
55. K.B. Lassen and W.M.P. van der Aalst. WorkflowNet2BPEL4WS: A Tool for Translating Unstructured Workflow Processes to Readable BPEL. BETA Working Paper Series, WP 167, Eindhoven University of Technology, Eindhoven, 2006
56. 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
57. F. Leymann. Web Services Flow Language, Version 1.0, 2001
58. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA, 1999
59. H. Ludwig, A. Dan, and R. Kearney. Crona: An Architecture and Library for Creation and Monitoring of WS-Agreements. In ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing, pages 65-74, New York, NY, USA, 2004. ACM Press
60. K. Mahbub and G. Spanoudakis. A Framework for Requirents Monitoring of Service Based Systems. In ICSOC '04: Proceedings of the 2nd International Conference on Service Oriented Computing, pages 84-93, New York, NY, USA, 2004. ACM Press
61. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991
62. 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
63. A. Martens. Consistency between executable and abstract processes. In Proceedings of International IEEE Conference on e-Technology, e-Commerce, and e-Services (EEE'05), pages 60-67. IEEE Computer Society Press, 2005
64. P. Massuthe, W. Reisig, and K. Schmidt. An Operating Guideline Approach to the SOA. In Proceedings of the 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005
65. M. Mecella, F. Parisi-Presicce, and B. Pernici. Modeling E-service Orchestration through Petri Nets. In Proceedings of the Third International Workshop on Technologies for E-Services, volume 2644 of Lecture Notes in Computer Science, pages 38-47. Springer-Verlag, Berlin, 2002
66. A.K.A. de Medeiros, A.J.M.M. Weijters, and W.M.P. van der Aalst. Using Genetic Algorithms to Mine Process Models: Representation, Operators and Results. BETA Working Paper Series, WP 124, Eindhoven University of Technology, Eindhoven, 2004
67. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999
68. M. zur Muehlen. Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems. Logos, Berlin, 2004
69. M. zur 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
70. OASIS Web Services Business Process Execution Language (WSBPEL) TC, http://www.oasis-open.org/committees/tc\-home.php?wg\-abbrev= wsbpel
71. C. Ouyang, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hofstede, and H.M.W. Verbeek. Formal Semantics and Analysis of Control Flow in WSBPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005
72. C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, and A.H.M. ter Hofstede. WofBPEL: A Tool for Automated Analysis of BPEL Processes. In B. Benatallah, F. Casati, and P. Traverso, editors, Proceedings of Service-Oriented Computing (ICSOC 2005), volume 3826 of Lecture Notes in Computer Science, pages 484-489. Springer-Verlag, Berlin, 2005
73. W. De Pauw, M. Lei, E. Pring, L. Villard, M. Arnold, and J.F. Morar. Web Services Navigator: Visualizing the Execution of Web Services. IBM Systems Journal, 44(4):821-845, 2005
74. A. Pnueli. The Temporal Logic of Programs. In Proceedings of the 18th IEEE Annual Symposium on the Foundations of Computer Science, pages 46-57. IEEE Computer Society Press, Providence, 1977
75. Process Mining Home Page, http://www.processmining.org
76. Process Modelling Group, http://process-modelling-group.org
77. A. Puri and G.J. Holzmann. A Minimized automaton representation of reachable states. In Software Tools for Technology Transfer, volume 3. Springer-Verlag, Berlin, 1993
78. W. Reisig and G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998
79. A. Rozinat and W.M.P. van der Aalst. Conformance Testing: Measuring the Fit and Appropriateness of Event Logs and Process Models. In C. Bussler et al., editor, BPM 2005 Workshops (Workshop on Business Process Intelligence), volume 3812 of Lecture Notes in Computer Science, pages 163-176. Springer-Verlag, Berlin, 2006
80. A. Rozinat and W.M.P. van der Aalst. Decision Mining in ProM. In S. Dustdar, J.L. Faideiro, and A. Sheth, editors, International Conference on Business Process Management (BPM 2006), volume 4102 of Lecture Notes in Computer Science, pages 420-425. Springer-Verlag, Berlin, 2006
81. M. Sayal, F. Casati, U. Dayal, and M.C. Shan. Business Process Cockpit. In Proceedings of 28th International Conference on Very Large Data Bases (VLDB'02), pages 880-883. Morgan Kaufmann, 2002
82. B.H. Schlingloff, A. Martens, and K. Schmidt. Modeling and model checking web services. Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems, 126:3-26, mar 2005
83. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004
84. S. Thatte. XLANG Web Services for Business Process Design, 2001
85. TIBCO. TIBCO Staffware Process Monitor (SPM). http://www.tibco.com, 2005
86. M.Y. Vardi and P. Wolper. An automata-Theoretic approach to automatic program verification. In In Proceedings of the 1st Symposium on Logic in Computer Science, pages 322-331, Cambridge, Massachusetts, USA, 1986
87. H.M.W. Verbeek and W.M.P. van der Aalst. Analyzing BPEL Processes using Petri Nets. In D. Marinescu, editor, Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination, Workflow and Business Process Management, pages 59-78. Florida International University, Miami, Florida, USA, 2005
88. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst. Diagnosing Workflow Processes using Woflan. The Computer Journal, 44(4):246-279, 2001
89. A.J.M.M. Weijters and W.M.P. van der Aalst. Rediscovering Workflow Models from Event-Based Data using Little Thumb. Integrated Computer-Aided Engineering, 10(2):151-162, 2003
90. P.Wohed, W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Analysis of Web Services Composition Languages: The Case of BPEL4WS. In I.Y. Song, S.W. Liddle, T.W. Ling, and P. Scheuermann, editors, 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, Berlin, 2003
91. P. Wolper and D. Leroy. Reliable hashing without collision detection. In Proc. 5th Int. Conference on Computer Aided Verification, pages 59-70, 1993
92. P. Wolper, M.Y. Vardi, and A.P. Sistla. Reasoning about Infinite Computation Paths. In Proceedings of the 24th IEEE symposium on foundation of cumputer science, pages 185-194, Tucson, Arizona, November 1983
93. WorkflowNet2BPEL4WS, http://www.daimi.au.dk/~krell/ WorkflowNet2BPEL4WS/.
94. J.M. Zaha, A. Barros, M. Dumas, and A.H.M. ter Hofstede. Let's Dance: A Language for Service Behavior Modeling. QUT ePrints 4468, Faculty of Information Technology, Queensland University of Technology, 2006
95. J.M. Zaha, M. Dumas, A.H.M. ter Hofstede, A. Barros, and G. Dekker. Service Interaction Modeling: Bridging Global and Local Views. QUT ePrints 4032, Faculty of Information Technology, Queensland University of Technology, 2006