Dependability evaluation of web service-based processes

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

Volumn 4054 LNCS, Issue , 2006, Pages 166-180

  Gönczy, László ^a   Chiaradonna, Silvano ^b   Di Giandomenico, Felicita ^b   Pataricza, András ^a   Bondavalli, Andrea ^c   Bartha, Tamás ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

^b ISTI CNR   (Italy)

^c UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; COMPUTER SCIENCE; COMPUTER SYSTEMS; INTEGRATION; PARAMETER ESTIMATION; STOCHASTIC PROGRAMMING;

DEPENDABILITY ANALYSIS; DEPENDABILITY ESTIMATION; MULTIPLE PHASED SYSTEMS (MPS); WEB SERVICE-BASED SYSTEM INTEGRATION;

WORLD WIDE WEB;

EID: 33746352090     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11777830_12     Document Type: Conference Paper

References (33)

1. M. Martinello. Availability modeling and evaluation of web-based services -A pragmatic approach. PhD Thesis. LAAS-CNRS, 2005.
2. I. Mura, A. Bondavalli, X. Zang, and K. S. Trivedi, "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, 1999, pp. 299-318.
3. I. Mura and A. Bondavalli, "Markov regenerative stochastic Petri nets to model and evaluate phased mission systems dependability," IEEE Transactions on Computers, vol. 50, no. 12, pp. 1337-1351, 2001.
4. A. Bondavalli, S. Chiaradonna, F. Di Giandomenico, and I. Mura. Dependability modeling and evaluation of ultiple-phased systems, using DEEM. IEEE Transactions on Reliability, 53(4):509-522, 2004.
5. The VIATRA2 Model Transformation Framework, Generative Model Transformer Project, The Eclipse Foundation, http://eclipse.org/gmt/
6. M. Smotherman and K. Zemoudeh, "A non-homogeneous Markov model for phased-mission reliability analysis," IEEE Transactions on Reliability, vol. 38, no. 5, pp. 585-590, 1989.
7. M. Alam and U. M. Al-Saggaf, "Quantitative reliability evaluation of repairable phased-mission systems using Markov approach," IEEE Transactions on Reliability, vol. R-35, no. 5, pp. 498-503,1986.
8. Specification: Business Process Execution Language for Web Services Version 1.1, May 2003. http://www-128.ibm.com/developerworks/library/ws-bpel/
9. D. Menasce, V. A. F. Almeida. Capacity Planning for Web Services: Metrics, Models, and Methods. Prentice Hall, 2001.
10. I. Majzik, A. Pataricza, and A. Bondavalli. Stochastic dependability analysis of system architecture based on UML models. In R. De Lemos, C. Gacek, and A. Romanovsky, editors, Architecting Dependable Systems, LNCS 2677, pp. 219-244. Springer-Verlag, Berlin, Heidelberg, New York, 2003.
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.
13. V. Tosic, B. Paguerk, K.Patel. WSOL - A Language for the Formal Specification of Various Constraints and Classes of Service for Web Services. Research Report, Carleton University, 2002
14. A. Avizienis, J.C. Laprie, B. Randell, C. Landwehr. Basic Concepts and Taxonomy of Dependable and Secure Computing IEEE Transactions on Dependable and Secure Computing, Vol. 1, N. 1, pp. 11-33, 2004
15. A. Pataricza; From the General Resource Model to a General Fault Modeling Paradigm? Workshop on Crititcal Systems Development with UML at UML 2002, Dresden, Germany
16. WS-Reliability. OASIS Standard http://docs.oasis-open.org/wsrm/ws- reliability/v1.1/wsrm-ws_reliability-1.1-spec-os.pdf
17. A. Graziano, S. Russo, V. Vecchio, P. Foster,Metadata models for QoS-aware information management systems. In Proc. of SEKE 2002, Ischia, Italy, 2002.
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), URL: http://www.omg.com
21. L. Zeng, B. Benatallah, M. Dumas. Quality Driven Web Services Composition. In Proceedings of WWW2003, May 20-24, 2003, Budapest, Hungary.
22. S. Ran. A model for web services discovery with QoS. ACM SIGecom Exchanges, Vol. 4., N.1, pp. 1-10. ACM Press, 2003.
23. D. Varró, G. Varró, A. Pataricza, "Designing the Automatic Transformation of Visual Languages," Science of Computer Programming, 44:205-227 2002.
24. H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg (eds.). Handbook on Graph Grammars and Computing by Graph Transformation, vol. 2: Applications, Languages and Tools, World Scientific, 1999.
25. E. Borger and R. Stark. Abstract State Machines. A method for High-Level System Design and Analysis. Springer-Verlag, 2003.
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. J.T. Bradley, N.J. Dingle, S.T. Gilmore, W.J. Knottenbelt. Derivation of Passage-time Densities in PEPA Models using ipc: the Imperial PEPA Compiler. In Proc. of MASCOTS'03, Orlando, USA, 2003, pp. 344.351.
29. C. Ouyang, E. Verbeek, W.M.P. van der Aalst, S. Breutel, M. Dumas, A.H.M. ter Hoftstede WofBPEL: A Tool for Automated Analysis of BPEL Processes. In. Proc. of ICSOC 2005, Amsterdam, The Netherlands. 2005. pp. 484-489.
30. R. Kazhamiakin, P. Pandya, M. Pistore. Modelling and Analysis of Time-related Properties in Web Service Compositions. In Proc. of WESC'05, Amsterdam, The Netherlands, 2005.
31. W. M.P. van der Aalst, M. Dumas, A.H.M ter Hofstede, N. Russell, P. Wohed, H. M. W. Verbeek. Life After BPEL?. In Proc. of WS-FM, Versailles, France. 2005. pp 35-50.
32. J. Koehler, G. Tirenni, S. Kumaran, From Business Process Model to Consistent Implementation: A Case for Formal Verification Methods, EDOC, Lausanne, Switzerland, 2002, pp. 96-106.
33. R. Milner. Communicating and Mobile Systems: The Pi-Calculus. Cambridge University Press, Cambridge, UK, 1999.