Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example

  • Conference paper
High Performance Computing and Communications (HPCC 2005)

Part of the book series: Lecture Notes in Computer Science ((LNCCN,volume 3726))

  • 922 Accesses

Abstract

Web Services are becoming the prominent paradigm for distributed computing and electronic business. Web services composition is an emerging paradigm for enabling application integration within and across organization boundaries and for building complex Value Added Services (VAS). Different languages are emerging to describe web services composition, but no effort has been dedicated to systematically evaluating the capabilities and limitations of these languages and to formally define their constructs semantics, in order to allow a well defined execution of pattern describing web services interactions. The work of this paper intends to analyze in-depth the Business Process Execution Language for Web Services (BPEL4WS), presenting a new methodology used to state in a formal way which workflow patterns can be executed by using the BPEL4WS constructs.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Business Process Execution Language for Web Services (BPEL) (May 2003), Available on-line at, http://www-128.ibm.com/developerworks/library/specification/ws-bpel

  2. Web Services Choreography Interface (WSCI) (2002), Available on-line at, http://www.w3.org/TR/wsci

  3. Business Process Management Language (BPML). Available on-line at: http://www.bpmi.org/bpml-spec.htm

  4. WfMC. Workflow process definition interface - XML Process Definition Language (May 2005), Available on-line at , http://www.wfmc.org/standards/docs/XPDL_version2_draft_2005-05-09.zip

  5. Wohed, P., van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Analysis of web services composition languages: The case of BPEL4WS. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 200–215. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  6. Allen, R.: Workflow: An Introduction. Extracted from the Workflow Handbook, Workflow Management Coalition (2001), Available at, http://www.wfmc.org/standards/docs.htm

  7. Peltz, C.: Web Services Orchestration and Choreography. IEEE Computer 36(10), 46–52 (2003)

    Google Scholar 

  8. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. In: Jensen, K. (ed.) Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), Aarhus, Denmark, August 2002. DAIMI, vol. 560, pp. 1–20. University of Aarhus (2002)

    Google Scholar 

  9. Winskel, G.: The Formal Semantics of Programming Languages: An Introduction (Foundations of Computing), February 5. MIT Press, Cambridge (1993)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Ingegneria dell’Informazione, Real Casa dell’Annunziata, Seconda Università di Napoli, Via Roma 29, 81031, Aversa, (CE), Italy

    Francesco Moscato

  2. Dipartimento di Informatica e Sistemistica, Università degli studi di Napoli Federico II, via Claudio 21, 80121, Napoli, Italy

    Nicola Mazzocca, Valeria Vittorini & Giusy Di Lorenzo

  3. Atos Origin, Pozzuoli, (Na), Italy

    Paola Mosca & Massimo Magaldi

Authors
  1. Francesco Moscato
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Nicola Mazzocca
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Valeria Vittorini
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Giusy Di Lorenzo
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Paola Mosca
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Massimo Magaldi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, St. Francis Xavier University, Antigonish, Canada

    Laurence T. Yang

  2. School of Computer Science/Welsh eScience Centre, Cardiff University, UK

    Omer F. Rana

  3. Dipartimento di Ingegneria dell’ Informazione - Second, University of Naples - Italy, Real Casa dell’Annunziata - via Roma, 29 81031, Aversa (CE), Italy

    Beniamino Di Martino

  4. Computer Science Department, University of Tennessee, 37996-3450, Knoxville, TN, USA

    Jack Dongarra

Rights and permissions

Reprints and permissions

Copyright information

© 2005 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Moscato, F., Mazzocca, N., Vittorini, V., Di Lorenzo, G., Mosca, P., Magaldi, M. (2005). Workflow Pattern Analysis in Web Services Orchestration: The BPEL4WS Example. In: Yang, L.T., Rana, O.F., Di Martino, B., Dongarra, J. (eds) High Performance Computing and Communications. HPCC 2005. Lecture Notes in Computer Science, vol 3726. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11557654_48

Download citation

  • DOI: https://doi.org/10.1007/11557654_48

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-29031-5

  • Online ISBN: 978-3-540-32079-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation