Approach to transforming UML model to reliability analysis model

Ruan Jian Xue Bao/Journal of Software

Volumn 21, Issue 2, 2010, Pages 287-304

  Liu, Yi ^a,b   Ma, Zhi Yi ^a,b   He, Xiao ^a,b   Shao, Wei Zhong ^a,b  

^a PEKING UNIVERSITY   (China)

^b Peking University   (China)

Author keywords

CBSD (component based software development); Markov chain; Model transformation; Software reliability; UML

Indexed keywords

ANALYSIS METHOD; ANALYSIS MODELS; COMPONENT-BASED SOFTWARE ARCHITECTURE; COMPONENT-BASED SOFTWARE DEVELOPMENT; INTERMEDIATE MODEL; MARKOV CHAIN; MARKOV CHAIN MODELS; QUANTITATIVE EVALUATION; SOFTWARE DESIGNERS; TRANSITION GRAPHS; UML DIAGRAMS; UML MODEL;

ARCHITECTURE; COMPUTER SOFTWARE SELECTION AND EVALUATION; GRAPHIC METHODS; MARKOV PROCESSES; QUALITY ASSURANCE; RELIABILITY ANALYSIS; SOFTWARE ARCHITECTURE; SOFTWARE DESIGN;

SOFTWARE RELIABILITY;

EID: 77951000356     PISSN: 10009825     EISSN: None     Source Type: Journal    
DOI: 10.3724/SP.J.1001.2010.03792     Document Type: Article

References (30)

1. Gokhale SS, Trivedi KS. Analytical models for architecture-based software reliability prediction: A unification framework. IEEE Trans. on Reliability, 2006, 55(4): 578-590.
2. 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 2677, Berlin, Heidelberg: Springer-Verlag, 2003, 219-244.
3. Booch G, Rumbaugh J, Jacobson I. Unified Modeling Language User Guide. 2nd ed., New York: Addison Wesley Publishing Co., 2005.
4. Object Management Group. Unified modeling language: Superstructure version2.0. OMG Document, formal/05-07-04, 2005. http://www.omg.org/spec/UML/2.0/Superstructure/PDF/
5. Shao WZ, Yang FQ. Object-Oriented System Analysis. 2nd ed., Beijing: Tsinghua University Press, 2006 (in Chinese).
6. Gokhale SS. Architecture-Based software reliability analysis: Overview and limitations. IEEE Trans. on Dependable and Secure Computing, 2007, 4(1): 32-40.
7. Immonen A, Niemela E. Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling, 2008, 7(1): 49-65.
8. Bernardi S, Merseguer J, Petriu DC. Adding dependability analysis capabilities to the MARTE profile. In: Czarnecki K, Ober I, Bruel JM, Uhl A, Völter M, eds. Proc. of the 11th Int'l Conf. on Model Driven Engineering Languages and Systems. Berlin: Springer-Verlag, 2008. 736-750.
9. Corellessa V, Pompei A. Towards a UML profile for QoS: A contribution in the reliability domain. ACM SIGSOFT Software Engineering Notes, 2004, 29(1): 197-206.
10. Cortellessa V, Singh H, Cukic B. Early reliability assessment of UML based software models. In: Balsamo S, ed. Proc. of the 3rd Int'l Workshop on Software and Performance. New York: ACM Press, 2002. 302-309.
11. Cheung L, Roshandel R, Medvidovic N, Golubchik L. Early prediction of software component reliability. In: Schäfer W, ed. Proc. of the 30th Int'l Conf. on Software Engineering. New York: ACM Press, 2008. 111-120.
12. Mäkinen E, Systä T. MAS-An interactive synthesizer to support behavioral modeling in UML. In: Müller HA, ed. Proc. of the 23rd Int'l Conf. on Software Engineering. Washington: IEEE Computer Society Press, 2001. 15-24.
13. Uchitel S, Chatley R, Kramer F, Magee J. System architecture: The context for scenario-based model synthesis. In: Roy BK, Meier W, eds. Fast Software Encryption, the 11th Int'l Workshop, FSE 2004. Berlin: Springer-Verlag, 2004. 33-42.
14. Sun J, Dong JS. Design synthesis from interaction and state-based specifications. IEEE Trans. on Software Engineering, 2006, 32(6): 349-364.
15. Huzar Z, Kuzniarz L, Reggio G, Sourrouille JL. Consistency problems in UML-based software development. In: UML Modeling Languages and Applications. LNCS 3297, Berlin, Heidelberg: Springer-Verlag, 2005. 1-12.
16. Cheung RC. A user-oriented software reliability model. IEEE Trans. on Software Engineering, 1980, 6(1): 118-125.
17. Trivedi KS. Probability and Statistics with Reliability, Queuing and Computer Science Applications. New York: John Wiley & Sons, 2001.
18. Object Management Group. Meta object facility (MOF) 2.0 query/view/transformations specification, version 1.0. OMG Document, formal/08-04-03, 2008. http://www.omg.org/spec/QVT/1.0/PDF/
19. Object Management Group. UML profile for schedulability, performance and time. OMG Document, formal/05-01-02, 2005. http://www.omg.org/cgi-bin/doc-formal/05-01-02.pdf
20. Object Management Group. UML profile for modeling QoS and fault tolerance characteristics and mechanisms, version1.1. OMG Document, formal/08-04-05, 2008. http://www.omg.org/spec/QFTP/1.1/PDF/
21. Object Management Group. UML profile for modeling and analysis of real-time and embedded systems version1.0. OMG Document, formal/2009-11-02, 2009. http://www.omg.org/spec/MARTE/1.0/PDF/
22. Singh H, Cortellessa V, Cukic B, Gunel E, Bharadwaj V. A Bayesian approach to reliability prediction and assessment of component based systems. In: Proc. of the 12th Int'l Symp. on Software Reliability Engineering (ISSRE 2001). Washington: IEEE Computer Society Press, 2001. 12-21.
23. Gokhale SS, Trivedi KS. Analytical models for architecture-based software reliability prediction: A unification framework. IEEE Trans. on Reliability, 2006, 55(4): 578-590.
24. Trung PT, Thang HQ. Building the reliability prediction model of component-based software architectures. Int'l Journal of Information Technology, 2009, 5(1): 18-25.
25. Wang WL, Pan D, Chen MH. Architecture-Based software reliability modeling. The Journal of Systems and Software, 2006, 79(1): 132-146.
26. Grassi V, Mirandola R, Sabetta A. Filling the gap between design and performance/reliability models of component-based systems: A model-driven Approach. The Journal of Systems and Software, 2007, 80(4): 528-558.
27. Mao XG, Deng YJ. A general model for component-based software reliability. Journal of Software, 2004, 15(1): 27-32 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/15/27.htm
28. Yan J, Wang J, Chen HW. Deriving software Markov chain usage model from UML models. Journal of Software, 2005, 16(8): 1386-1394 (in Chinese with English abstract). http://www.jos.org.cn/1000-9825/16/1386.htm
29. Reussner RH, Schmidt HW, Poernomo IH. Reliability prediction for component-based software architectures. Journal of Systems and Software, 2003, 66(3): 241-252.
30. Rodrigues G, Rosenblum D, Uchitel S. Using scenarios to predict the reliability of concurrent component-based software systems. In: Cerioli M, ed. Fundamental Approaches to Software Engineering, FASE 2005. Berlin: Springer-Verlag, 2005. 111-126.