Reliability prediction for service component architectures with the SCA-ASM component model

Proceedings - 38th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2012

Volumn , Issue , 2012, Pages 125-132

  Riccobene, Elvinia ^a   Potena, Pasqualina ^b   Scandurra, Patrizia ^b  

^a UNIVERSITY OF MILAN   (Italy)

^b UNIVERSITY OF BERGAMO   (Italy)

Author keywords

Abstract State Machines; Service Component Architecture; Software reliability models

Indexed keywords

ABSTRACT STATE MACHINES; COMPONENT MODEL; CORE MODELING; HETEROGENEOUS SERVICES; PATH-BASED; RELIABILITY MODEL; RELIABILITY PREDICTION; RUNTIMES; SERVICE COMPONENT ARCHITECTURE; SERVICE ORIENTED COMPUTING; SOFTWARE APPLICATIONS; SOFTWARE RELIABILITY MODELS; STANDARD SERVICES;

FORECASTING; RELIABILITY;

SOFTWARE ENGINEERING;

EID: 84869849694     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEAA.2012.53     Document Type: Conference Paper

References (32)

1. EU project SENSORIA. www.sensoria-ist.eu/.
2. OASIS - SCA.http://oasis-opencsa.org/sca
3. W. Abdelmoez et al. Error Propagation In Software Architectures. Software Metrics, IEEE Intern. Symp. on, pages 384-393, 2004.
4. W. Abdelmoez et al. Quantifying software architectures: an analysis of change propagation probabilities. Computer Systems and Applications, ACS/IEEE Intern. Conf. on, 0:124-vii, 2005.
5. A. Aldini et al. A Process Algebraic Approach to Software Architecture Design. Springer, 2010.
6. The ASMETA toolset. http://asmeta.sf.net/, 2011.
7. F. Banti et al. Specification and analysis of soc systems using cows: A finance case study. Electron. Notes Theor. Comput. Sci., 235, April 2009.
8. E. Börger and R. Stärk. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, 2003.
9. F. Brosch et al. Architecture-based reliability prediction with the palladio component model. IEEE Trans. on Soft. Engin., 99(PrePrints), 2011.
10. D. Brugali et al. Coordinated execution of heterogeneous service-oriented components by Abstract State Machines. In Intern. Symp. on Formal Aspects of Component Software (FACS), Oslo, Norway, September 14-16, 2011, Springer, 2012 (to appear).
11. V. Cardellini et al. Flow-based service selection for web service composition supporting multiple qos classes. In ICWS, pp. 743-750, 2007.
12. J. Cardoso et al. Quality of service for workflows and web service processes. J. Web Sem., 1(3):281-308, 2004.
13. A. Ciancone et al. Klapersuite: An integrated model-driven environment for reliability and performance analysis of component-based systems. In TOOLS, LNCS 6705, pp. 99-114. 2011.
14. V. Cortellessa et al. Automated selection of software components based on cost/reliability tradeoff. In EWSA, pp. 66-81, 2006.
15. V. Cortellessa and P. Potena. Path-Based Error Propagation Analysis in Composition of Software Services. In Software Composition, pp. 97-112, 2007.
16. Z. Ding and M. Jiang. Port based reliability computing for service composition. In Proc. of Intern. Conf. on Services Computing, pp. 403-410, 2009.
17. A. Filieri et al. Reliability analysis of component -based systems with multiple failure modes. In Component-Based Software Engineering, vol. 6092 of LNCS, pp. 1-20. 2010.
18. A. Gargantini and E. Riccobene. ASM-Based Testing: Coverage Criteria and Automatic Test Sequence. J. UCS, 7(11):1050-1067, 2001.
19. K. Goseva-Popstojanova and S. Kamavaram. Uncertainty analysis of software reliability based on method of moments. In Fast Abstract ISSRE, 2002.
20. K. Goseva-Popstojanova and K.S. Trivedi. Architecture based-approach to reliability assessment of software systems. Performance Evaluation 45(2-3):179-204, 2001.
21. N. Ibrahim et al. An architecture for managing and delivering trustworthy context-dependent services. In IEEE SCC, pp. 737-738, 2011.
22. A. Immonen and E. Niemelä. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and System Modeling, 7(1):49-65, 2008.
23. R. Mirandola and P. Potena and P. Scandurra. A Reliability Prediction Method for Abstract State Machines. In Proc. of Int. ABZ 2012 Conf., June 18-21, 2012 CNR, Pisa, Italy
24. R. Mirandola and P. Potena and E. Riccobene P. Scandurra. Reliability prediction for the Abstract State Machine formal method. In Working Paper Series "Information Technology", 2012, cs.unibg.it/scandurra/TR/ ASMReliability/
25. J. Musa. Operational profiles in software-reliability engineering. Software, IEEE, 10(2):14-32, Mar 1993.
26. E. Riccobene and P. Scandurra. A modeling and executable language for designing and prototyping service-oriented applications. In SEAA, pp. 4-11, 2011.
27. R. Roshandel et al. A Bayesian Model for Predicting Reliability of Software Systems at the Architectural Level. In QoSA, pp. 108-126, 2007.
28. Apache Tuscany. http://tuscany.apache.org/.
29. J. M. Voas and K. W. Miller. Software testability: The new verification. IEEE Softw., 12:17-28, May 1995.
30. S. Yacoub, B. Cukic, and H. Ammar. Scenario-based reliability analysis of component-based software. In Proc. of Inter. Symp. on Software Reliability Engineering, pp. 22ï-31, 1999.
31. S. M. Yacoub et al. A scenario-based reliability analysis approach for component-based software. IEEE Trans. on Reliability, 53(4):465-480, 2004.
32. L. Zeng et al. Qos-aware middleware for web services composition. IEEE Trans. on Soft. Engin., 30:311-327, 2004.