Citations to the Evaluation Papers

Pattern Based Analysis of BPEL4WS

by P. Wohed, W.M.P. van der Aalst, M. Dumas & A.H.M. ter Hofstede

Academic Publications

2007

  1. Yildiz, U., Godart, C. (2007). Towards Decentralized Service Orchestrations. Proceedings of the 2007 ACM Symposium on Applied Computing (SAC 2007), Seoul, Korea, March 11-15. Pages: 1662-1666.

2006

  1. Ben Lakhal, N., Kobayashi, T., Yokota, H. (2006). Dependability and Flexibility Centered Approach for Composite Web Services Modeling. International Conference on Cooperative Information Systems (CoopIS 2006). LNCS Vol. 4275. Pages: 163-182.
  2. Cook, W., Patwardhan, S., Misra, J. (2006). Workflow Patterns in Orc. Proceedings of the International Conference on Coordination Models and Languages (COORDINATION 2006). Bologna, Italy, June 14-16. Pages: 82 - 96.
  3. Eder, J., Pichler, H., Vielgut, S. (2006). Avoidance of Deadline-Violations for Inter-Organizational Business Processes. 7th International Baltic Conference on Databases and Information Systems, July 3-6. Pages: 33-40.
  4. Fu, Y., Dong, Z., He., X. (2006). An Approach to Web Services Oriented Modeling and Validation. Proceedings of the 2006 International Workshop on Service-Oriented Software Engineering. Shanghai, China, May 27-28. Pages: 81-87.
  5. Nakajima, S. (2006). Model-Checking Behavioural Specification of BPEL Applications. Electronic Notes in Theoretical Computer Science. 151(2): 89-105
  6. Slomiski, A. (2006). On using BPEL extensibility to implement OGSI and WSRF Grid workflows. Concurrency and Computation: Practice and Experience. 18(10): 1229-1241.
  7. Zhao, W., Hauser, R., Bhattacharya, K., Bryant, B., Cao., F. (2006). Compiling Business Processes: Untangling Unstructured Loops in Irreducible Flow Graphs. International Journal of Web and Grid Services, 2(1): 68-91.

2005

  1. Anzbock, R., Dustdar, S. (2005). Modeling and Implementing Medical Web Services. Data & Knowledge Engineering, 55(2): 203-236.
  2. Balasooriya, J., Padhye, M., Prasad, S., Navathe, S. (2005). BondFlow: A System for Distributed Coordination of Workflows over Web Services. Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium. Denver, Colorado, USA, April. Pages: 121.
  3. Kim, J., Segev, A. (2005). A Web Services-Enabled Marketplace Architecture for Negotiation Process Management. Decision Supporting Systems Special Issue on Web Services and Process Management. 40(1): 71-87.
  4. Lakhal, N., Kobayashi, T., Yokota, H. (2005). A Failure-Aware Model for Estimating and Analyzing the Efficiency of Web Services Compositions. Proceedings of the 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05). Pages: 114-124.
  5. Lakhal, N., Kobayashi, T., Yokota, H. (2005). Reliability and Performance Estimation for Enriched WS-SAGAS. Proceedings of the International Workshop on Challenges in Web Information Retrieval and Integration (WIRI 05). Pages: 54-63.
  6. Nakajima, S. (2005). Lightweight Formal Analysis of Web Service Flows. Progress in Informatics. Number 2, Pages: 57-76.
  7. Prasad, S., Balasooriya, J. (2005). Fundamental Capabilities of Web Coordination Bonds: Modeling Petri Nets and Expressing Workflow and Communication Patterns over Web Services. Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS 2005), Big Island , Hawaii, January 3-6. Page: 165.
  8. Slomiski, A. (2005). On using BPEL extensibility to implement OGSI and WSRF Grid workflows. Concurrency and Computation: Practice and Experience. (Early view)
  9. Sorathia, V., Laliwala, Z., Chaudhary, S. (2005). Towards Agricultural Marketing Reforms: Web Services Orchestration Approach. Proceedings of the IEEE International Conference on Services Computing (SCC 05), Orlando, Florida, USA, July 11 - 15. Volume 1, Pages: 260 -267.
  10. Specht, T., Drawehn, J., Thranert, M., Kulne, S. (2005). Modeling Cooperative Business Processes and Transformation to a Service Oriented Architecture. Proceedings of the 7th IEEE International Conference on E-Commerce Technology (CEC 2005). Munich, Germany. July 19 - 22. Pages: 249-256.
  11. Wang, Y., Hu, C., Haui, J. (2005). A New Grid Workflow Description Language. Proceedings of the IEEE International Conference on Services Computing (SCC 05), Orlando, Florida, USA, July 11 - 15.Volume 2, Pages: 257-258.

2004

  1. Aggarwal, R., Verma, K., Miller, J., Milnor, W. (2004). Contraint Driven Web Service Composition in METEOR-S. Proceedings of the IEEE International Conference on Services Computing (SCC 2004), Shanghai, China, September 15-18. Pages: 23-30.
  2. Anzbock, R., Dustdar, S. (2004). Modeling Medical e-Services. Proceedings of the 2nd International Conference on Business Process Management (BPM 2004), Potsdam, Germany, June 17-18. Pages: 49-65.
  3. Gronmo, R., Solheim, I. (2004). Towards Modeling Web Service Composition in UML. Proceedings of the 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure (WSMAI 2004), Porto, Portugal, April.
  4. Huang, K., Zhou, Z., Han, Y., Li, G., Wang, J. (2004). An Algorithm for Calculating Process Similarity to Cluster Open-Source Process Designs. Proceedings of the International Workshop on Information Grid and Knowledge Grid (IGKG 2004) as part of the Grid and Cooperative Computing Workshops (GCC Workshops 2004), Wuhan, China, October 21-24. Pages: 107-114.
  5. Prasad, S., Balasooriya, J. (2004). Web Coordination Bonds: A Simple Enhancement to Web Services Infrastructure for Effective Collaboration. Proceedings of the 37th Hawaii International Conference on System Sciences (HICSS 2004). Big Island, Hawaii. January 5-8. Page: 192.
  6. Purvis, M., Savarimuthu, B., Purvis, M. (2004). Evaluation of Multi-Agent Based Workflow Management System Modeled Using Coloured Petri Nets. Proceedings of the 7th Pacific Rim International Workshop on Multi-Agents (PRIMA 2004). Auckland, New Zealand. August 8-13. Revised Selected Papers. Pages: 206-216.
  7. Rosemann, M., Green, P., Indulska, M. (2004). A Reference Methodology for Conducting Ontological Analyses. Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004). Shanghai, China, November 8-12. Pages: 110 - 121.
  8. Yi, X., Kochut, K. (2004). Towards Efficient Integration of Complex Web Services Using a Unified Model for Protocol and Process. Proceedings of the 5th International Conference on Internet Computing (IC 2004). Las Vegas, Nevada, USA. June 21-24. Volume 2, Pages: 467 - 474
  9. Zhao, L., Jarvis, S., Bacigalupo, D., Spooner, D., Nudd, G. (2004). A Layered Framework for Grid Service Performance Model Composition. Proceedings of the 20th Annual UK Performance Engineering Workshop (UKPEW 2004), University of Bradford, July 7-8.

2003

  1. Fileto, R., Liu, L., Pu, C., Assad, E., Medeiros, C. (2003). POESIA: An Ontological Workflow Approach for Composing Web Services in Agriculture. The VLDB Journal: The International Journal on Very Large Data Bases. 12(4): 352-367.
  2. Foster, H., Uchitel, S., Magee, J., Kramer, J. (2003). Model-Based Verification of Web Service Compositions. Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003). Montreal, Canada, October 6 -10. Pages: 152-161.
  3. Hull, R., Benedikt, M., Vassilis, C., Su, J. (2003). E-services: A Look Behind the Curtain. Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART symposium on Priniciples of Database Systems, San Diego, USA, June 9-12. Pages: 1-14.
  4. Kim, J., Segev, A., Patankar, A., Cho, M. (2003). Web Services and BPEL4WS for Dynamic eBusiness Negotiation Processes. Proceedings of the IEEE International Conference on Web Services (ICWS 2003). Las Vegas, Nevada, USA, June 23-26. Pages: 111-117.
  5. Lara, R., Lausen, H., Arroyo, S. (2003). Semantic Web Services: Description Requirements and Current Technologies. Proceedings of the International Workshop on Electronic Commerce, Agents, and Semantic Web Services, Pittsburgh, USA, September.

Theses

2006

  1. Romanenko, I. (2006). Use Cases for Reactivity on the Web: Using ECA Rules for Business Process Modeling. Diploma Theses. Institut fur Informatik, Ludwig-Maximilians-Universitat (LMU), Munich.

2005

  1. Joshi, J. (2005). A System for Rapid Configuration of Distributed Workflows over Web Services and their Handheld-Based Coordination. Masters Thesis. Georgia State University, Atlanta, Georgia, USA.
  2. Petkov, S. (2005). m3pe light: A Multi-Meta-Model Process Execution Environment. Masters Thesis, Vienna University of Technology. Vienna, Austria.

2004

  1. Brandt, H. (2004). Rule-Driven Adaptation of Workflow-Based e-Services. Masters Theses. University of Hamburg. Hamburg, Germany.
  2. Broekhuizen, J. (2004). Automatic Template-Based Web Service Configuration. Masters Thesis. Vrije Universiteit, Amsterdam.
  3. Padhye, M. (2004). Coordinating Heterogeneous Web Services Through Handhelds Using SyD's Wrapper Framework. Masters Thesis. Department of CS, Georgia State University, Atlanta, Georgia, USA.
  4. Valetto, G. (2004). Orchestrating the Dynamic Adaptation of Distributed Software with Process Technology. PhD Thesis, Columbia University. New York, USA.

2003

  1. Fileto, R. (2003). A Abordagem POESIA para a Integracao de Dados a Servicos na Web Semantica. Tese. Instituto de Computação, Universidade Estadual de Campinas (Unicamp).
  2. Wooi, Q. (2003). Transactional Modelling and Execution of Web Service Workflows on the Semantic Web. Masters Thesis. University of Missouri.

Technical Reports

2005

  1. Kim, J., Kersten, G., Strecker, S., Law, K. (2005). Component-based Software Protocol Approach. INR02/05, InterNeg Research Papers.

2004

  1. Aggarwal, R., Verma, K., Miller, J., Milnor, W. (2004). Dynamic Web Service Composition in METEOR-S. Technical Report, LSDIS Lab, Computer Science Department, UGA, May.
  2. Bayer, J., et al. (2004). Domain Engineering Techniques and Process Modeling. PESOA-Report No. 09/2004. DiamlerChrysler Reseach and Technology, Fraunhofer IESE, Hasso-Plattner-Institut.

2003

  1. Anzbock, R., Dustdar, S., Gholami, M. (2003). Modelling Ad-Hoc Medical Imaging Workflow with BPEL4WS. Technical Report TUV-1841-2003-19, Vienna University of Technology. Vienna, Austria.

Other

2004

  1. Talib, M., Yang, Z. (2004). Semi-Automatic Code Generation of Static Web Services Composition. Proceedings of the Student Conference on Engineering, Sciences and Technology. Pages: 132-137.
  2. Yushi, C., Wah, L., Limbu, D. (2004). Web Service Composition - An Overview of Standards. Synthesis 2004 Journal, Section 4, October.

2003

  1. Anzbock, R., Dustdar, S. (2003). Medical e-Services Workflows with BPEL4WS. Online article available at: http://www.infosys.tuwien.ac.at/ Staff/sd/papers/MedicalServicesWorkflowsWithBPEL4WS.pdf
  2. Einspanier, U., Lutz, M., Senkler, K., Simonis, I., Sliwinski, A. (2003). Toward a Process Model for GI Service Composition. Institut für Geoinformatik, Universität Münster (Publisher), L. Bernard, A. Sliwinski and K. Senkler (Editor/s). GI-Tage (GI Days), Münster, Germany.
  3. Mendling, J., Muller, M. (2003). A Comparison of BPML and BPEL4WS. Proceedings of the 1st Conference "Berliner XML-Tage". Berlin. October 13 -15. Pages: 305-316.

Pattern Based Analysis of BPML (and WSCI)

by W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede, & P. Wohed

Academic Publications

2006

  1. Cao, J., Wang, J., Law., K., Zhang, S., Li, M. (2006). An Interactive Service Customization Model. Information and Software Technology, 48(4): 280-296.
  2. Cook, W., Patwardhan, S., Misra, J. (2006). Workflow Patterns in Orc. Proceedings of the International Conference on Coordination Models and Languages (COORDINATION 2006). Bologna, Italy, June 14-16. Pages: 82 - 96.

2005

  1. Belhajjame, K., Vargas-Solar, G., Collet, C. (2005). Pyros - An Environment for Building and Orchestrating Open Services. Proceedings of the IEEE International Conference on Services Computing (SCC 05), Orlando, Florida, USA, July 11 - 15. Volume 1, Pages: 155-162.
  2. Manolescu, I., Brambilla, M., Ceri, S., Comai, S., Fraternali, P. (2005). Model-Driven Design and Deployment of Service-Enabled Web Applications. ACM Transactions on Internet Technology (TOIT), 5(3): 439-479.
  3. Seshasai, S., Gupta, A., Kumar, A. (2005). An Integrated and Collaborative Framework for Business Design: A Knowledge Engineering Approach. Data & Knowledge Engineering. 52(1): 157-179.
  4. Sivashanmugam, K., Miller, J., Sheth, A., Verma, K. (2005). Framework for Semantic Web Process Composition. International Journal of Electronic Commerce, 9(2): 71-106.

2004

  1. Rosemann, M., Green, P., Indulska, M. (2004). A Reference Methodology for Conducting Ontological Analyses. Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004). Shanghai, China, November 8-12. Pages: 110 - 121.
  2. Vargas-Solar, G., Garcia-Banuelos, L., Zechinelli-Martini, J. (2004). Toward Aspect Oriented Services Coordination for Building Modern Information Systems. Proceedings of the 5th Mexican International Conference on Computer Science (ENC 2004). Colima, Mexico. September 20 - 24. Pages: 353-360.

2003

  1. Belhajjame, K., Vargas-Solar, G., Collet, C. (2003). Defining and Coordinating Open-Services Using Workflows. Proceedings of the CoopIS/DOA/ODBASE. Pages: 110-128.
  2. Hull, R., Benedikt, M., Vassilis, C., Su, J. (2003). E-services: A Look Behind the Curtain. Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART symposium on Principles of Database Systems, San Diego, USA, June 9-12. Pages: 1-14.
  3. Lara, R., Lausen, H., Arroyo, S. (2003). Semantic Web Services: Description Requirements and Current Technologies. Proceedings of the International Workshop on Electronic Commerce, Agents, and Semantic Web Services, Pittsburgh, USA, September.

Theses

2005

  1. Petkov, S. (2005). m3pe light: A Multi-Meta-Model Process Execution Environment. Masters Thesis, Vienna University of Technology. Vienna, Austria.

2003

  1. Sivashanmegam, K. (2003). The METEOR-S Framework for Semantic Web Process Composition. Masters Thesis, Computer Science, University of Georgia. Georgia, USA.

Other

2003

  1. Mendling, J., Muller, M. (2003). A Comparison of BPML and BPEL4WS. Proceedings of the 1st Conference "Berliner XML-Tage". Berlin. October 13 -15.Pages: 305-316.

Pattern Based Analysis of UML Activity Diagrams

by P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede & N. Russell

Academic Publications

2006

  1. Gallina, B., Guelfi, N., Mammar, A. (2006). Structuring Business Nested Processes Using UML 2.0 Activity Diagrams and Translating into XPDL. Proceedings of the 3rd GI-Workshop XML4BPM - XML Integration and Transformation for Business Process Management. Passau, Germany, February 20-22. Pages: 281 - 296.

Other

2005

  1. Stefansen, C. (2005). A Declarative Framework for Enterprise Information Systems. Qualification Report.

Pattern Based Analysis of the Control-Flow Perspective of UML Activity Diagrams

by P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede & N. Russell

Academic Publications

2010

  1. Fernandez, HF., Palacios-Gonzalez, E., Garcia-Diaz, V., et al. (2010). SBPMN - An easier business process modeling notation for business users. Computer Standards & Interfaces, 32(1-2): 18-28.

2009

  1. Busi, N., Pinna, GM. (2009). Process discovery and Petri nets. Mathematical Structures in Computer Science, 19(6): 1091-1124.

2007

  1. Lee, S., Kim T-Y., Kang, D., Kim, K., Lee, J -Y. (2007). Composition of Executable Business Process Models by Combining Business Rules and Process Flows. Expert Systems with Applications. 33(1): 221-229.

2006

  1. List, B., Horherr, B. (2006). An Evaluation of Conceptual Business Process Modelling Languages. Proceedings of the 21st ACM Symposium on Applied Computing (SAC 2006), Dijon, France, April 23 - 27. Pages: 1532 - 1539.

Analysis of Web Services Composition Languages: The Case of BPEL4WS

by P. Wohed, W.M.P. van der Aalst, M. Dumas, A.H.M. ter Hofstede

Academic Publications

2007

  1. Charfi, A., Mezini, M. (2007). AO4BPEL: An Aspect-Oriented Extension to BPEL. World Wide Web - Internet and Web Information Systems. 10(3): 309-344.
  2. Dijkman, R.M., Dirgahayu, T., Quartel, D.A.C. (2007). The Adequacy of Languages for Representing Interaction Mechanisms. Information Systems Frontiers. 9(4): 359-373.
  3. Shen, J., Grossmann, G., Yang, Y., Stumptner, M., Schrefl, M., Reiter, T. (2007). Analysis of Business Process Integration in Web Service Context. Future Generation Computer Systems. 23(3): 283-294.

2006

  1. Fauvet, M-C., Ait-Bacheer, A. (2006). An Automaton-Based Approach for Web Service Mediation. In: Leading the Web in Concurrent Engineering: Next Generation Concurretn Engineering, Prisa Ghdous, Rose Dineg-Kuntz and Geilson Louriero (Editors). Pages: 47-54. IOS Press.
  2. Helland, T., Grundy, J., Hosking, J. (2006). A Service-Oriented Architecture for Software Process Technology.The 17th Australian Software Engineering Conference (ASWEC 2006), Sydney, Australia, April 18-21. Pages: 131-141.
  3. Pu, G., Zhao, X., Wang, S., Qiu, Z. (2006). Towards the Semantics and Verification of BPEL4WS. Electronic Notes in Theoretical Computer Science. 151(2): 33-52.

2005

  1. Brogi, A., Popescu, R. (2005). Towards Semi-Automated Workflow-Based Aggregation of Web Services. Proceedings of the 3rd International Conference on Service Oriented Computing (ICSOC 2005), Amsterdam, The Netherlands, December 12-15. Pages: 214-227.
  2. Golani, M., Gal, A. (2005). Flexible Business Process Management Using Forward Stepping and Alternative Paths. Proceedings of the 3rd International Conference on Business Process Management (BPM 2005), Nancy, France, September 5-8. Pages: 48 - 63.
  3. Kim, J., Huemer, C. (2004). Analysis, Transformation and Improvements of ebXML Choreographies Based on Workflow Patterns. Proceedings of the OTM Confederated International Conferences (OTM 04), Agia Napa, Cyprus, October 25-29. Pages: 66 - 84.
  4. Koschimider, A., Mevius, M. (2005). A Petri Net Based Approach for Process Model Driven Deduction of BPEL Code. Proceedings of OTM Confederated International Workshops and Posters, Agia Napa, Cyprus, October 31 - November 4. LNCS Vol 3762. Pages: 495-505.
  5. Moscato, N.A., et al. (2005). Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS example. Proceedings of the 1st International Conference on High Performance Computing and Communications (HPCC 2005), Sorrento, Italy, September 21-23. LNCS Vol. 3726. Pages: 395-400.
  6. Preuner, G., Schrefl, M. (2005). Requester-Centered Composition of Business Processes from Internal and External Services. Data & Knowledge Engineering. 52(1): 121-155.