Skip to main content
SpringerLink
Log in
Book cover

Test and Analysis of Web Services pp 11–55Cite as

Specifying and Monitoring Service Flows: Making Web Services Process-Aware

  • Chapter

Abstract

BPEL has emerged as the de-facto standard for implementing processes based on web services while formal languages like Petri nets have been proposed as an “academic response” allowing for all kinds of analysis. Although languages such as BPEL and Petri nets can be used to describe service flows, they both tend to “overspecify” the process and this does not fit well with the autonomous nature of services. Therefore, we propose DecSerFlow as a Declarative Service Flow Language. By using a more declarative style, there is no need to overspecify service flows. The declarative style also makes DecSerFlow an ideal language for monitoring web services, i.e., using process mining techniques it is possible to check the conformance of service flows by comparing the DecSerFlow specification with reality. This can be used to expose services that do not follow the rules of the game. This is highly relevant given the autonomous nature of services.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   54.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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.

    Google Scholar 

  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.

    Article  MATH  MathSciNet  Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  7. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.

    Google Scholar 

  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.

    Article  Google Scholar 

  9. W.M.P. van der Aalst, J.B. Jørgensen, 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.

    Chapter  Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  19. Apache Axis, http://ws.apache.org/axis/.

    Google Scholar 

  20. BABEL, Expressiveness Comparison and Interchange Facilitation Between Business Process Execution Languages, http://www.bpm.fit.qut.edu.au/projects/babel/tools/.

    Google Scholar 

  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.

    Google Scholar 

  22. T. Belwood and et al. UDDI Version 3.0. http://uddi.org/pubs/uddi_v3.htm, 2000.

    Google Scholar 

  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.

    Google Scholar 

  24. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, 2001.

    Google Scholar 

  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.

    Google Scholar 

  26. E.M. Clarke, O. Grumberg, and D.A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts and London, UK, 1999.

    Google Scholar 

  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.

    Article  Google Scholar 

  28. A. Datta. Automating the Discovery of As-Is Business Process Models: Probabilistic and Algorithmic Approaches. Information Systems Research, 9(3):275–301, 1998.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  35. J.A. Fisteus, L.S. Fernández, 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.

    Google Scholar 

  36. H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based Verification of Web Service Composition. In Proceedings of 18th IEEE International Conference on Automated Software Engineering (ASE), pages 152–161, Montreal, Canada, October 2003.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Chapter  Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  47. J. Herbst. A Machine Learning Approach to Workflow Management. In Proceedings 11th European Conference on Machine Learning, volume 1810 of Lecture Notes in Computer Science, pages 183–194. Springer-Verlag, Berlin, 2000.

    Google Scholar 

  48. G.J. Holzmann. The Model Checker SPIN. IEEE Trans. Softw. Eng., 23(5):279–295, 1997.

    Article  MathSciNet  Google Scholar 

  49. G.J. Holzmann. An Analysis of Bitstate Hashing. Form. Methods Syst. Des., 13(3):289–307, 1998.

    Article  MathSciNet  Google Scholar 

  50. G.J. Holzmann. The SPIN Model Checker: Primer and Reference Manual. Addison-Wesley, Boston, Massachusetts, USA, 2003.

    Google Scholar 

  51. G.J. Holzmann and D. Peled. An Improvement in Formal Verification. In FORTE 1994 Conference, Bern, Switzerland, 1994.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  57. F. Leymann. Web Services Flow Language, Version 1.0, 2001.

    Google Scholar 

  58. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA, 1999.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  61. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.

    MATH  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  67. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999.

    MATH  Google Scholar 

  68. M. zur Muehlen. Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems. Logos, Berlin, 2004.

    Google Scholar 

  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.

    Google Scholar 

  70. OASIS Web Services Business Process Execution Language (WSBPEL) TC, http://www.oasis-open.org/committees/tc_home.php?wg_abbrev=wsbpel.

    Google Scholar 

  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 WS-BPEL. BPM Center Report BPM-05-15, BPMcenter.org, 2005.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  Google Scholar 

  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.

    Google Scholar 

  75. Process Mining Home Page, http://www.processmining.org.

    Google Scholar 

  76. Process Modelling Group, http://process-modelling-group.org.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  83. C. Stahl. Transformation von BPEL4WS in Petrinetze (In German). Master’s thesis, Humboldt University, Berlin, Germany, 2004.

    Google Scholar 

  84. S. Thatte. XLANG Web Services for Business Process Design, 2001.

    Google Scholar 

  85. TIBCO. TIBCO Staffware Process Monitor (SPM). http://www.tibco.com, 2005.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Article  MATH  Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

  91. P. Wolper and D. Leroy. Reliable hashing without collision detection. In Proc. 5th Int. Conference on Computer Aided Verification, pages 59–70, 1993.

    Google Scholar 

  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.

    Google Scholar 

  93. WorkflowNet2BPEL4WS, http://www.daimi.au.dk/ krell/WorkflowNet2BPEL4WS/.

    Google Scholar 

  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.

    Google Scholar 

  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.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Technology Management, Eindhoven University of Technology, P.O.Box 513 NL-5600, MB, Eindhoven, The Netherlands

    W.M.P. van der Aalst & M. Pesic

Authors
  1. W.M.P. van der Aalst
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Pesic
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipto. Elettronica Informazione, Politecnico di Milano, Piazza Leonardo da Vinci 32, 20133 Milano, Italy

    Luciano Baresi  & Elisabetta Di Nitto  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Aalst, W.v., Pesic, M. (2007). Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In: Baresi, L., Nitto, E.D. (eds) Test and Analysis of Web Services. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72912-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72912-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72911-2

  • Online ISBN: 978-3-540-72912-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation