Skip to main content
SpringerLink
Log in

Dependability Evaluation of Web Service-Based Processes

  • Conference paper
Formal Methods and Stochastic Models for Performance Evaluation (EPEW 2006)

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

Included in the following conference series:

Abstract

As Web service-based system integration recently became the mainstream approach to create composite services, the dependability of such systems becomes more and more crucial. Therefore, extensions of the common service composition techniques are urgently needed in order to cover dependability aspects and a core concept for the dependability estimation of the target composite service. Since Web services-based workflows fit into the class of systems composed of multiple phases, this paper attempts to apply methodologies and tools for dependability analysis of Multiple Phased Systems (MPS) to this emerging category of dependability critical systems. The paper shows how this dependability analysis constitutes a very useful support to the service provider in choosing the most appropriate service alternatives to build up its own composite service.

This work was partially supported by the HIDENETS European project (IST-FP6-STREP-26979) and the “Quality of Service and Dependable Computer Networks” Project of the Italian-Hungarian Intergovernmental S&T Cooperation Programme.

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

Access this chapter

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 54.99
Price excludes VAT (USA)
  • 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

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Martinello, M.: Availability modeling and evaluation of web-based services –A pragmatic approach. PhD Thesis. LAAS-CNRS (2005)

    Google Scholar 

  2. Mura, I., Bondavalli, A., Zang, X., Trivedi, K.S.: Dependability modelling and evaluation of phased mission systems: a DSPN approach. In: IEEE DCCA-7 - 7th IFIP Int. Conference on Dependable Computing for Critical Applications, San Jose, CA, USA, pp. 299–318 (1999)

    Google Scholar 

  3. Mura, I., Bondavalli, A.: Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability. IEEE Transactions on Computers 50(12), 1337–1351 (2001)

    Article  Google Scholar 

  4. Bondavalli, A., Chiaradonna, S., Di Giandomenico, F., Mura, I.: Dependability modeling and evaluation of ultiple-phased systems, using DEEM. IEEE Transactions on Reliability 53(4), 509–522 (2004)

    Article  Google Scholar 

  5. The VIATRA2 Model Transformation Framework, Generative Model Transformer Project, The Eclipse Foundation, http://eclipse.org/gmt/

  6. Smotherman, M., Zemoudeh, K.: A non-homogeneous Markov model for phased-mission reliability analysis. IEEE Transactions on Reliability 38(5), 585–590 (1989)

    Article  MATH  Google Scholar 

  7. Alam, M., Al-Saggaf, U.M.: Quantitative reliability evaluation of repairable phased- mission systems using Markov approach. IEEE Transactions on Reliability R-35(5), 498–503 (1986)

    Article  Google Scholar 

  8. Specification: Business Process Execution Language for Web Services Version 1.1 (May 2003), http://www-128.ibm.com/developerworks/library/ws-bpel/

  9. Menasce, D., Almeida, V.A.F.: Capacity Planning for Web Services: Metrics, Models, and Methods. Prentice Hall, Englewood Cliffs (2001)

    Google Scholar 

  10. Majzik, I., Pataricza, A., Bondavalli, A.: Stochastic dependability analysis of system architecture based on UML models. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds.) Architecting Dependable Systems. LNCS, vol. 2677, pp. 219–244. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  11. Web Service Level Agreements Project, http://www.research.ibm.com/wsla/

  12. Web Services Flow Language (WSFL 1.0) - Appendix C: Endpoint Property Extensibility Elements. IBM Software Group (2001)

    Google Scholar 

  13. Tosic, V., Paguerk, B., Patel, K.: WSOL – A Language for the Formal Specification of Various Constraints and Classes of Service for Web Services. Research Report, Carleton University (2002)

    Google Scholar 

  14. Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic Concepts and Taxonomy of Dependable and Secure Computing. IEEE Transactions on Dependable and Secure Computing 1(1), 11–33 (2004)

    Article  Google Scholar 

  15. Pataricza, A.: From the General Resource Model to a General Fault Modeling Paradigm? In: Workshop on Crititcal Systems Development with UML at UML 2002, Dresden, Germany (2002)

    Google Scholar 

  16. WS–Reliability. OASIS Standard, http://docs.oasis-open.org/wsrm/ws-reliability/v1.1/wsrm-ws_reliability-1.1-spec-os.pdf

  17. Graziano, A., Russo, S., Vecchio, V., Foster, P.: Metadata models for QoS-aware information management systems. In: Proc. of SEKE 2002, Ischia, Italy (2002)

    Google Scholar 

  18. Web Services Base Faults. Oasis, http://docs.oasis-open.org/wsrf/2004/06/wsrf-WS-BaseFaults-1.2-draft-02.pdf

  19. Web Service Description Language 1.1. W3C.org., http://www.w3.org/TR/wsdl

  20. OMG Group, General Resource Model (GRM), http://www.omg.com

  21. Zeng, L., Benatallah, B., Dumas, M.: Quality Driven Web Services Composition. In: Proceedings of WWW 2003, Budapest, Hungary, May 20-24 (2003)

    Google Scholar 

  22. Ran, S.: A model for web services discovery with QoS. ACM SIGecom Exchanges 4(1), 1–10 (2003)

    Article  Google Scholar 

  23. Varró, D., Varró, G., Pataricza, A.: Designing the Automatic Transformation of Visual Languages. Science of Computer Programming 44, 205–227 (2002)

    Article  MATH  Google Scholar 

  24. Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.): Handbook on Graph Grammars and Computing by Graph Transformation. Applications, Languages and Tools, vol. 2. World Scientific, Singapore (1999)

    Google Scholar 

  25. Börger, E., Stark, R.: Abstract State Machines. A method for High-Level System Design and Analysis. Springer, Heidelberg (2003)

    MATH  Google Scholar 

  26. IBM Corporation. WebSphere Business Integrator 5.1, http://www-06.ibm.com/software/integration/

  27. Google Web API (beta), http://www.google.com/apis/index.html

  28. Bradley, J.T., Dingle, N.J., Gilmore, S.T., Knottenbelt, W.J.: Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. In: Proc. of MASCOTS 2003, pp. 344–351 (2003)

    Google Scholar 

  29. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hoftstede, A.H.M.: WofBPEL: A Tool for Automated Analysis of BPEL Processes. In: Benatallah, B., Casati, F., Traverso, P. (eds.) ICSOC 2005. LNCS, vol. 3826, pp. 484–489. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  30. Kazhamiakin, R., Pandya, P., Pistore, M.: Modelling and Analysis of Time-related Properties in Web Service Compositions. In: Proc. of WESC 2005, Amsterdam, The Netherlands (2005)

    Google Scholar 

  31. van der Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M., Russell, N., Wohed, P., Verbeek, H.M.W.: Life After BPEL? In: Proc. of WS-FM, Versailles, France, pp. 35–50 (2005)

    Google Scholar 

  32. Koehler, J., Tirenni, G., Kumaran, S.: From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods. In: EDOC, Lausanne, Switzerland, pp. 96–106 (2002)

    Google Scholar 

  33. Milner, R.: Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge (1999)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DMIS, Budapest University of Technology and Economics, Magyar Tudósok krt. 2. H-1117, Budapest, Hungary

    László Gönczy, András Pataricza & Tamás Bartha

  2. ISTI-CNR, Via G. Moruzzi 1, I-56124, Pisa, Italy

    Silvano Chiaradonna & Felicita Di Giandomenico

  3. DSI – Universita’ di Firenze, Viale Morgagni 65, I-50134, Firenze, Italy

    Andrea Bondavalli

Authors
  1. László Gönczy
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Silvano Chiaradonna
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Felicita Di Giandomenico
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. András Pataricza
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Andrea Bondavalli
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Tamás Bartha
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149, Torino, Italy

    András Horváth

  2. Department of Telecommunications, Technical University of Budapest, 1521, Budapest, Hungary

    Miklós Telek

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gönczy, L., Chiaradonna, S., Di Giandomenico, F., Pataricza, A., Bondavalli, A., Bartha, T. (2006). Dependability Evaluation of Web Service-Based Processes. In: Horváth, A., Telek, M. (eds) Formal Methods and Stochastic Models for Performance Evaluation. EPEW 2006. Lecture Notes in Computer Science, vol 4054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11777830_12

Download citation

  • DOI: https://doi.org/10.1007/11777830_12

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-35362-1

  • Online ISBN: 978-3-540-35365-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation