Skip to main content

An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7176)

Abstract

Web service compositions are gaining increasingly attention for the development of complex web systems by combination of existing ones. In this paper, we present a formal framework that integrates a well-known business process language (BPEL) with a recent technology for describing distributed resources throughout the Internet (WSRF). We define an operational semantics for a language that integrates both approaches taking into account the main features of them, such as notifications, event handling, fault handling and timed constraints.

Keywords

  • Operational Semantic
  • Label Transition System
  • Online Auction
  • Event Handling
  • Service Orient Computing

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   54.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   69.99
Price excludes VAT (Canada)
  • Compact, lightweight 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. Andrews, T., et al.: BPEL4WS – Business Process Execution Language for Web Services, Version 1.1 (2003), http://www.ibm.com/developerworks/library/specification/ws-bpel/

  2. Banks, T.: Web Services Resource Framework (WSRF) - Primer. OASIS (2006)

    Google Scholar 

  3. Bettini, L., De Nicola, R., Loreti, M.: Implementing Session Centered Calculi. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 17–32. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  4. Bruni, R., Foster, H., Lluch Lafuente, A., Montanari, U., Tuosto, E.: A Formal Support to Business and Architectural Design for Service-Oriented Systems. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA. LNCS, vol. 6582, pp. 133–152. Springer, Heidelberg (2011)

    CrossRef  Google Scholar 

  5. Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration: A Synergic Approach for System Design. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 228–240. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  6. Czajkowski, K., Ferguson, D., Foster, I., Frey, J., Graham, S., Sedukhin, I., Snelling, D., Tuecke, S., Vambenepe, W.: The WS-Resource Framework Version 1.0 (2004), http://www.globus.org/wsrf/specs/ws-wsrf.pdf

  7. Dragoni, N., Mazzara, M.: A Formal Semantics for the WS-BPEL Recovery Framework - The π-Calculus Way. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 92–109. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  8. Lohmann, N.: A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  9. Ezenwoye, O., Sadjadi, S.M., Cary, A., Robinson, M.: Orchestrating WSRF-based GridServices. Technical Report FIU-SCIS-2007-04-01 (2007)

    Google Scholar 

  10. Farahbod, R., Glässer, U., Vajihollahi, M.: A Formal Semantics for the Business Process Execution Language for Web Services. In: Joint Workshop on Web Services and Model-Driven Enterprise Information Services (WSMDEIS), pp. 122–133 (2005)

    Google Scholar 

  11. Foster, I., Frey, J., Graham, S., Tuecke, S., Czajkowski, K., Ferguson, D., Leymann, F., Nally, M., Storey, T., Weerawaranna, S.: Modeling Stateful Resources with Web Services, Globus Alliance (2004)

    Google Scholar 

  12. Kitchin, D., Quark, A., Cook, W., Misra, J.: The Orc Programming Language. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 1–25. Springer, Heidelberg (2009)

    Google Scholar 

  13. Lapadula, A., Pugliese, R., Tiezzi, F.: A Formal Account of WS-BPEL. In: Wang, A.H., Zavattaro, G. (eds.) COORDINATION 2008. LNCS, vol. 5052, pp. 199–215. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  14. Lapadula, A., Pugliese, R., Tiezzi, F.: A Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33–47. Springer, Heidelberg (2007)

    CrossRef  Google Scholar 

  15. Leyman, F.: Choreography for the Grid: towards fitting BPEL to the resource framework. Journal of Concurrency and Computation: Practice & Experience 18(10), 1201–1217 (2006)

    CrossRef  Google Scholar 

  16. Lohmann, N., Verbeek, E., Ouyang, C., Stahl, C.: Comparing and Evaluating Petri Net Semantics for BPEL. Journal of Business Process Integration and Management 4(1), 60–73 (2009)

    CrossRef  Google Scholar 

  17. Lucchi, R., Mazzara, M.: A Pi-calculus Based Semantics for WS-BPEL. Journal of Logic and Algebraic Programming 70(1), 96–118 (2007)

    CrossRef  MathSciNet  MATH  Google Scholar 

  18. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Science of Computing Programming 67(2-3), 162–198 (2007)

    CrossRef  MATH  Google Scholar 

  19. Qiu, Z., Wang, S., Pu, G., Zhao, X.: Semantics of BPEL4WS-Like Fault and Compensation Handling. In: Fitzgerald, J.S., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp. 350–365. Springer, Heidelberg (2005)

    CrossRef  Google Scholar 

  20. Slomiski, A.: On using BPEL extensibility to implement OGSI and WSRF Grid workflows. Journal of Concurrency and Computation: Practice & Experience 18, 1229–1241 (2006)

    CrossRef  Google Scholar 

  21. Wirsing, M., Hölzl, M. (eds.): SENSORIA. LNCS, vol. 6582. Springer, Heidelberg (2011)

    Google Scholar 

  22. Web Services Choreography Description Language Version 1.0 (WS-CDL), http://www.w3.org/TR/ws-cdl-10/

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Mateo, J.A., Valero, V., Díaz, G. (2012). An Operational Semantics of BPEL Orchestrations Integrating Web Services Resource Framework. In: Carbone, M., Petit, JM. (eds) Web Services and Formal Methods. WS-FM 2011. Lecture Notes in Computer Science, vol 7176. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29834-9_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-29834-9_7

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-29833-2

  • Online ISBN: 978-3-642-29834-9

  • eBook Packages: Computer ScienceComputer Science (R0)