Life after BPEL?

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

Volumn 3670 LNCS, Issue , 2005, Pages 35-50

  Van Der Aalst, W M P ^a,b   Dumas, M ^b   Ter Hofstede, A H M ^b   Russell, N ^b   Verbeek, H M W ^a   Wohed, P ^c  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^c UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTERNET; TELECOMMUNICATION SERVICES; WORLD WIDE WEB;

BUSINESS PROCESS EXECUTION LANGUAGE (BPEL); EXECUTING PROCESSES; PROCESS LANGUAGE; WORKFLOW PATTERNS;

ADMINISTRATIVE DATA PROCESSING;

EID: 33646162407     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11549970_4     Document Type: Conference Paper

References (48)

1. W.M.P. van der Aalst. Inheritance of Interorganizational Workflows: How to agree to disagree without loosing control? Information Technology and Management Journal, 4(4):345-389, 2003.
2. W.M.P. van der Aalst. Business Alignment: Using Process Mining as a Tool for Delta Analysis and Conformance Testing. Requirements Engineering Journal, 2005 (to appear).
3. W.M.P. van der Aalst, M. Dumas, and A.H.M. ter Hofstede. Web Service Composition Languages: Old Wine in New Bottles? In Proceeding of the 29th EUROMICRO Conference: New Waves in System Architecture, pages 298-305. IEEE Computer Society, Los Alamitos, CA, 2003.
4. W.M.P. van der Aalst and K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002.
5. 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.
6. W.M.P. van der Aalst and K.B. Lassen. Translating Workflow Nets to BPEL4WS. BETA Working Paper Series, Eindhoven University of Technology, Eindhoven, 2005.
7. 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.
8. M. Altenhofen, E. Boerger, and J. Lemcke. An execution semantics for mediation patterns. In Proceedings of the BPM2005 Workshops: Workshop on Choreography and Orchestration for Business Process Managament, Nancy, France, September 2005.
9. 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.
10. A. Barros, M. Dumas, and A.H.M. ter Hofstede. Service Interaction Patterns: Towards a Reference Framework for Service-based Business Process Interconnection. QUT Technical report, FIT-TR-2005-012, Queensland University of Technology, Brisbane, 2005. (To appear in BPM 2005.)
11. B. Benatallah, F. Casati, D. Grigori, H. Motahari-Nezhad, and F. Toumani. Developing Adapters for Web Services Integration. In Proceedings of the International Conference on Advanced Information Systems Engineering (CAiSE), Porto, Portugal, June 2005. Springer Verlag.
12. E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana. Web Services Description Language (WSDL) 1.1. http://www.w3.org/TR/wsdl, 2001.
13. M. Dumas, W.M.P. van der Aalst, and A.H.M. ter Hofstede. Process-Aware Information Systems. Wiley & Sons, 2005.
14. 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.
15. C.A. Ellis. Information Control Nets: A Mathematical Model of Office Information Flow. In Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, pages 225-240, Boulder, Colorado, 1979. ACM Press.
16. D. Fahland and W. Reisig. ASM-based semantics for BPEL: The negative control flow. In Proc. 12th International Workshop on Abstract State Machines, pages 131-151, Paris, France, 2005.
17. R. Farahbod, U. Classer, and M. Vajihollahi. Specification and validation of the business process execution language for web services. In Abstract State Machines 2004, volume 3052 of Lecture Notes m Computer Science, pages 79-94, Lutherstadt Wittenberg, Germany, May 2004. Springer-Verlag, Berlin.
18. 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.
19. J.A. Fisteus, L.S. Fernández, and C.D. Kloos. Formal verification of BPEL4WS business collaborations. In 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. SpringerVerlag, Berlin.
20. 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.
21. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In International World Wide Web Conference: Proceedings of the 13th international conference on World Wide Web, pages 621-630, New York, NY, USA, 2004. ACM Press.
22. W. Gaaloul, S. Bhiri, and C. Godart. Discovering Workflow Transactional Behavior from Event-Based Log. In 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.
23. D. Giannakopoulou and K. Havelund. Automata-Based Verification of Temporal Properties on Running Programs. In Proceedings of the 16th IEEE International Conference on Automated Software Engineering (ASE'01), pages 412-416. IEEE Computer Society Press, Providence, 2001.
24. 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.
25. 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.
26. G. Hohpe and B. Woolf. Enterprise Integration Patterns. Addison-Wesley Professional, Reading, MA, 2003.
27. A. W. Holt. Coordination Technology and Petri Nets. In Advances in Petri Nets 1985, volume 222 of Lecture Notes in Computer Science, pages 278-296. SpringerVerlag, Berlin, 1985.
28. H.W. Schmidt and R.H. Reussner. Generating adapters for concurrent component protocol synchronisation. In Proceedings of the Fifth IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), Enschede, The Netherlands, March 2002. Kluwer Academic Publishers.
29. 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.
30. J. Koehler and R. Hauser. Untangling Unstructured Cyclic Flows A Solution Based on Continuations. In 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 121-138, 2004.
31. M. Koshkina and F. van Breugel. Verification of Business Processes for Web Services. Technical report CS-2003-11, York University, October 2003. Available from: http://www.cs.yorku.ca/techreports/2003/.
32. F. Leymann. Web Services Flow Language, Version 1.0, 2001.
33. F. Leymann and D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, USA, 1999.
34. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer-Verlag, New York, 1991.
35. A. Martens. Analyzing Web Service Based Business Processes. In 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.
36. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999.
37. M. zur Muehlen. Workflow-based Process Controlling: Foundation, Design and Application of workflow-driven Process Information Systems. Logos, Berlin, 2004.
38. N.A. Mulyar and W.M.P. van der Aalst. Patterns in Colored Petri Nets. BETA Working Paper Series, WP 139, Eindhoven University of Technology, Eindhoven, 2005.
39. 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-13, BPMcenter.org, 2005.
40. 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.
41. 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.
42. N. Russell, W.M.P.van der Aalst, A.H.M. ter Hofstede, and D. Edmond. Workflow Resource Patterns: Identification, Representation and Tool Support. In Proceedings of the 17th Conference on Advanced Information Systems Engineering (CAiSE'05), volume 3520 of Lecture Notes in Computer Science, pages 216-232. Springer-Verlag, Berlin, 2005.
43. N. Russell, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst. Workflow Data Patterns: Identification, Representation and Tool Support. Accepted for publication in Proceedings of the 24th International Conference on Conceptual Modeling (ER'2005), Springer-Verlag, Berlin, 2005.
44. C. Stahl. Transformation von BPEL4WS in Petrinelze (In German). Master's thesis, Humboldt University, Berlin, Germany, 2004.
45. S. Thatte. XLANG Web Services for Business Process Design, 2001.
46. S. White. Using BPMN to Model a BPEL Process. BPTrends, 3(3):1-18, March 2005.
47. 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 22nd International Conference on Conceptual Modeling (ER 2003), volume 2813 of Lecture Notes in Computer Science, pages 200-215. Springer-Verlag, Berlin, 2003.
48. M.D. Zisman. Representation, Specification and. Automation of Office Procedures. PhD thesis, University of Pennsylvania, Warton School of Business, 1977.