메뉴 건너뛰기




Volumn , Issue , 2010, Pages 48-74

OntoArch reliability-aware software architecture design and experience

Author keywords

[No Author keywords available]

Indexed keywords


EID: 84898554996     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.4018/978-1-60960-215-4.ch003     Document Type: Chapter
Times cited : (1)

References (88)
  • 1
    • 0142074003 scopus 로고    scopus 로고
    • W3C-WSA, Retrieved May 25, 2010, from
    • W3C-WSA. (2004). Web services architecture. Retrieved May 25, 2010, from http://www.w3.org/TR/ws-rch/#whatis
    • (2004) Web Services Architecture
  • 3
    • 84898569667 scopus 로고    scopus 로고
    • AT&T, Retrieved May 25, 2010, from
    • AT&T. (2006). SRE toolkit. Retrieved May 25, 2010, from http://www.Cse.Cuhk.Edu.hk/~lyu/book/reliability/sretools.Html
    • (2006) SRE Toolkit
  • 12
    • 84939365800 scopus 로고
    • A user-oriented software reliability model
    • doi, 10.1109/TSE.1980.234477
    • Cheung, R. C. (1980). A user-oriented software reliability model. IEEE Transactions on Software Engineering, 6(2), 118-125. doi:10.1109/TSE.1980.234477
    • (1980) IEEE Transactions on Software Engineering , vol.6 , Issue.2 , pp. 118-125
    • Cheung, R.C.1
  • 15
    • 84898577745 scopus 로고    scopus 로고
    • Dali, Retrieved May 25, 2010, from
    • Dali. (2006). The Dali workbench. Retrieved May 25, 2010, from http://www.Cs.Cmu.edu/afs/cs/project/tinkerrch/www/html/1998/Lectures/25.RevEng/base.007.Html
    • (2006) The Dali Workbench
  • 16
    • 0030414878 scopus 로고    scopus 로고
    • Paper presented at The Seventh International Symposium on Software Reliability Engineering (ISSRE'96)
    • Delamaro, M., Maldonado, J., & Mathur, A. P. (1996). Integration testing using interface mutations. Paper presented at The Seventh International Symposium on Software Reliability Engineering (ISSRE'96), (pp. 112-121).
    • (1996) Integration Testing Using Interface Mutations , pp. 112-121
    • Delamaro, M.1    Maldonado, J.2    Mathur, A.P.3
  • 17
    • 0036648558 scopus 로고    scopus 로고
    • A survey on software architecture analysis methods
    • doi, 10.1109/TSE.2002.1019479
    • Dobrica, L., & Niemelä, E. (2002). A survey on software architecture analysis methods. IEEE Transactions on Software Engineering, 28(7), 638-653. doi:10.1109/TSE.2002.1019479
    • (2002) IEEE Transactions on Software Engineering , vol.28 , Issue.7 , pp. 638-653
    • Dobrica, L.1    Niemelä, E.2
  • 19
    • 26444570103 scopus 로고    scopus 로고
    • Eclipse, Retrieved May 25, 2010, from
    • Eclipse. (2005). Home page. Retrieved May 25, 2010, from http://www.eclipse.org/
    • (2005) Home Page
  • 20
    • 85032302070 scopus 로고    scopus 로고
    • Paper presented at the Symposium on Application-Specific Systems and Software Engineering Technology (ASSET'99)
    • Everett, W. (1999). Software component reliability analysis. Paper presented at the Symposium on Application-Specific Systems and Software Engineering Technology (ASSET'99), (pp. 204-211).
    • (1999) Software Component Reliability Analysis , pp. 204-211
    • Everett, W.1
  • 22
    • 0041877504 scopus 로고    scopus 로고
    • The evolution of protégé: An environment for knowledge-based systems development
    • doi, 10.1016/S1071-5819(02)00127-1
    • Gennari, J. H. (2003). The evolution of protégé: An environment for knowledge-based systems development. International Journal of HumanComputer Studies, 58, 89-123. doi:10.1016/S1071-5819(02)00127-1
    • (2003) International Journal of HumanComputer Studies , vol.58 , pp. 89-123
    • Gennari, J.H.1
  • 23
    • 84898582737 scopus 로고    scopus 로고
    • GNU, Retrieved 25 May, 2010, from
    • GNU. (2006). The GNU profiler. Retrieved 25 May, 2010, from http://www.Cs.Utah.edu/dept/old/texinfo/as/gprof_toc.html
    • (2006) The GNU Profiler
  • 27
    • 0027001370 scopus 로고
    • Paper presented at the Second Symposium on Assessment of Quality Software Development Tools
    • Horgan, J. R., & London, S. (1992). ATAC: A data flow coverage testing tool for C. Paper presented at the Second Symposium on Assessment of Quality Software Development Tools, (pp. 2-10).
    • (1992) ATAC: A Data Flow Coverage Testing Tool for C , pp. 2-10
    • Horgan, J.R.1    London, S.2
  • 29
    • 34848879337 scopus 로고    scopus 로고
    • A method for predicting reliability and availability at the architectural level
    • In Kakola, T., & Duenas, J. C. (Eds.), Berlin, Heidelberg: Springer Verlag
    • Immonen, A. (2006). A method for predicting reliability and availability at the architectural level. In Kakola, T., & Duenas, J. C. (Eds.), Research issues in software product-lines-engineering and management (pp. 373-422). Berlin, Heidelberg: Springer Verlag.
    • (2006) Research Issues in Software Product-lines-engineering and Management , pp. 373-422
    • Immonen, A.1
  • 30
    • 36549026401 scopus 로고    scopus 로고
    • Survey of reliability and availability prediction methods from the viewpoint of software architecture
    • doi, 10.1007/s10270-006-0040-x
    • Immonen, A., & Niemelä, E. (2007). Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling, 7(1), 49-65. doi:10.1007/s10270-006-0040-x
    • (2007) Software and Systems Modeling , vol.7 , Issue.1 , pp. 49-65
    • Immonen, A.1    Niemelä, E.2
  • 31
    • 33747423980 scopus 로고    scopus 로고
    • Paper presented at the 31st Euromicro Conference on Software Engineering and Advanced Applications
    • Immonen, A., & Niskanen, A. (2005). A tool for reliability and availability prediction. Paper presented at the 31st Euromicro Conference on Software Engineering and Advanced Applications, (p. 416).
    • (2005) A Tool for Reliability and Availability Prediction , pp. 416
    • Immonen, A.1    Niskanen, A.2
  • 35
    • 0023252703 scopus 로고
    • Paper presented at the 17th International Symposium on Fault-Tolerant Computing (FTCS'17)
    • Kanoun, K., & Sabourin, T. (1987). Software dependability of a telephone switching system. Paper presented at the 17th International Symposium on Fault-Tolerant Computing (FTCS'17), (pp. 236-241).
    • (1987) Software Dependability of a Telephone Switching System , pp. 236-241
    • Kanoun, K.1    Sabourin, T.2
  • 37
    • 0030283177 scopus 로고    scopus 로고
    • Scenario-based analysis of software architecture
    • doi, 10.1109/52.542294
    • Kazman, R., Abowd, G., Bass, L., & Clements, P. (1996). Scenario-based analysis of software architecture. IEEE Software, 13(6), 47-55. doi:10.1109/52.542294
    • (1996) IEEE Software , vol.13 , Issue.6 , pp. 47-55
    • Kazman, R.1    Abowd, G.2    Bass, L.3    Clements, P.4
  • 39
    • 0347621639 scopus 로고    scopus 로고
    • The WSLA framework: Specifying and monitoring of service level agreements for web services
    • doi:10.1023/A:1022445108617
    • Keller, A., & Ludwig, H. (2002). The WSLA framework: Specifying and monitoring of service level agreements for web services. Journal of Network and Systems Management, 11(1), 57-81. doi:10.1023/A:1022445108617
    • (2002) Journal of Network and Systems Management , vol.11 , Issue.1 , pp. 57-81
    • Keller, A.1    Ludwig, H.2
  • 41
    • 0029408391 scopus 로고
    • The 4+1 view model of architecture
    • doi, 10.1109/52.469759
    • Kruchten, P. B. (1995). The 4+1 view model of architecture. IEEE Software, 12(6), 42-50. doi:10.1109/52.469759
    • (1995) IEEE Software , vol.12 , Issue.6 , pp. 42-50
    • Kruchten, P.B.1
  • 42
    • 0024606541 scopus 로고
    • Assessing reliability of modular software
    • doi, 10.1016/0167-6377(89)90031-X
    • Kubat, P. (1989). Assessing reliability of modular software. Operations Research Letters, 8(1), 35-41. doi:10.1016/0167-6377(89)90031-X
    • (1989) Operations Research Letters , vol.8 , Issue.1 , pp. 35-41
    • Kubat, P.1
  • 44
    • 0021521169 scopus 로고
    • Dependability evaluation of software systems in operation
    • doi, 10.1109/TSE.1984.5010299
    • Laprie, J. C. (1984). Dependability evaluation of software systems in operation. IEEE Transactions on Software Engineering, 10(6), 701-714. doi:10.1109/TSE.1984.5010299
    • (1984) IEEE Transactions on Software Engineering , vol.10 , Issue.6 , pp. 701-714
    • Laprie, J.C.1
  • 46
    • 0032639142 scopus 로고    scopus 로고
    • Availability modeling of modular software
    • doi, 10.1109/24.784274
    • Ledoux, J. (1999). Availability modeling of modular software. IEEE Transactions on Reliability, 48(2), 159-168. doi:10.1109/24.784274
    • (1999) IEEE Transactions on Reliability , vol.48 , Issue.2 , pp. 159-168
    • Ledoux, J.1
  • 47
    • 0018688011 scopus 로고
    • Software reliability model for modular program structure
    • doi, 10.1109/TR.1979.5220576
    • Littlewood, B. (1979). Software reliability model for modular program structure. IEEE Transactions on Reliability, 28(3), 241-246. doi:10.1109/TR.1979.5220576
    • (1979) IEEE Transactions on Reliability , vol.28 , Issue.3 , pp. 241-246
    • Littlewood, B.1
  • 50
    • 0027069873 scopus 로고
    • Paper presented at the Fifth International Workshop on Computer-Aided Software Engineering
    • Lyu, M. R., & Nikora, A. (1992). CASRE: A computer-aided software reliability estimation tool. Paper presented at the Fifth International Workshop on Computer-Aided Software Engineering, (pp. 264-275).
    • (1992) CASRE: A Computer-aided Software Reliability Estimation Tool , pp. 264-275
    • Lyu, M.R.1    Nikora, A.2
  • 54
    • 33845970218 scopus 로고    scopus 로고
    • Moving architectural description from under the technology lamppost
    • doi:10.1016/j.infsof.2006.08.006
    • Medvidovic, N., Dashofy, E. M., & Taylor, R. N. (2007). Moving architectural description from under the technology lamppost. Information and Software Technology, 49(1), 12-31. doi:10.1016/j.infsof.2006.08.006
    • (2007) Information and Software Technology , vol.49 , Issue.1 , pp. 12-31
    • Medvidovic, N.1    Dashofy, E.M.2    Taylor, R.N.3
  • 60
    • 34848888028 scopus 로고    scopus 로고
    • Capturing quality requirements of product family architecture
    • doi, 10.1016/j.infsof.2006.11.003
    • Niemelä, E., & Immonen, A. (2006). Capturing quality requirements of product family architecture. Information and Software Technology, 49(1112), 1107-1120. doi:10.1016/j.infsof.2006.11.003
    • (2006) Information and Software Technology , vol.49 , Issue.1112 , pp. 1107-1120
    • Niemelä, E.1    Immonen, A.2
  • 61
    • 22944439044 scopus 로고    scopus 로고
    • Toward an architectural knowledge base for wireless service engineering
    • doi, 10.1109/TSE.2005.60
    • Niemelä, E., Kalaoja, J., & Lago, P. (2005). Toward an architectural knowledge base for wireless service engineering. IEEE Transactions on Software Engineering, 31(5), 361-379. doi:10.1109/TSE.2005.60
    • (2005) IEEE Transactions on Software Engineering , vol.31 , Issue.5 , pp. 361-379
    • Niemelä, E.1    Kalaoja, J.2    Lago, P.3
  • 64
    • 77950367988 scopus 로고    scopus 로고
    • Knowledge based qualitydriven architecture design and evaluation
    • doi, 10.1016/j.infsof.2009.11.008
    • Ovaska, E., Evesti, A., Henttonen, K., Palviainen, M., & Aho, P. (2010). Knowledge based qualitydriven architecture design and evaluation. Information and Software Technology, 52(6), 577-601. doi:10.1016/j.infsof.2009.11.008
    • (2010) Information and Software Technology , vol.52 , Issue.6 , pp. 577-601
    • Ovaska, E.1    Evesti, A.2    Henttonen, K.3    Palviainen, M.4    Aho, P.5
  • 65
    • 0035400468 scopus 로고    scopus 로고
    • Architecture-based approach to reliability assessment of software systems
    • doi, 10.1016/S01665316(01)00034-7
    • Popstojanova, K. G., & Trivedi, K. S. (2001). Architecture-based approach to reliability assessment of software systems. Performance Evaluation, 45(2), 179-204. doi:10.1016/S01665316(01)00034-7
    • (2001) Performance Evaluation , vol.45 , Issue.2 , pp. 179-204
    • Popstojanova, K.G.1    Trivedi, K.S.2
  • 66
    • 0242720865 scopus 로고    scopus 로고
    • Viewpoints of DSP software and service architectures
    • doi, 10.1016/S01641212(03)00050-5
    • Purhonen, A., Niemelä, E., & Matinlassi, M. (2004). Viewpoints of DSP software and service architectures. Journal of Systems and Software, 69(1), 57-73. doi:10.1016/S01641212(03)00050-5
    • (2004) Journal of Systems and Software , vol.69 , Issue.1 , pp. 57-73
    • Purhonen, A.1    Niemelä, E.2    Matinlassi, M.3
  • 67
    • 0038182795 scopus 로고    scopus 로고
    • Reliability prediction for component-based software architectures
    • doi, 10.1016/S01641212(02)00080-8
    • Reussner, R., Schmidt, H., & Poernomo, I. (2003). Reliability prediction for component-based software architectures. Journal of Systems and Software, 66(3), 241-252. doi:10.1016/S01641212(02)00080-8
    • (2003) Journal of Systems and Software , vol.66 , Issue.3 , pp. 241-252
    • Reussner, R.1    Schmidt, H.2    Poernomo, I.3
  • 68
    • 24644494857 scopus 로고    scopus 로고
    • Using scenarios to predict the reliability of concurrent component-based software systems
    • Rodrigues, G., Rosenblum, D., Uchitel, S., Bt, W., & Rh, S. (2005). Using scenarios to predict the reliability of concurrent component-based software systems. FASE 2005 - LNCS 3442, (pp. 111-126).
    • (2005) FASE 2005 - LNCS , vol.3442 , pp. 111-126
    • Rodrigues, G.1    Rosenblum, D.2    Uchitel, S.3    Bt, W.4    Rh, S.5
  • 71
    • 85047844441 scopus 로고
    • Paper presented at the Second International Conference on Software Engineering
    • Shooman, M. (1976). Structural models for software reliability prediction, (pp. 268-280). Paper presented at the Second International Conference on Software Engineering.
    • (1976) Structural Models for Software Reliability Prediction , pp. 268-280
    • Shooman, M.1
  • 75
    • 84858084292 scopus 로고    scopus 로고
    • TOPCASED, Retrieved May 25, 2010, from
    • TOPCASED. (2007). Home page. Retrieved May 25, 2010, from http://topcased-mm.Gforge.Enseeiht.fr/website/index.Html
    • (2007) Home Page
  • 76
    • 84898567466 scopus 로고    scopus 로고
    • UML2, Retrieved May 25, 2010, from
    • UML2. (2006). Home page. Retrieved May 25, 2010, from http://www.Eclipse.org/uml2/
    • (2006) Home Page
  • 77
    • 0141684326 scopus 로고    scopus 로고
    • Unified, Retrieved May 25, 2010, from
    • Unified. (2006). Unified modeling language. Retrieved May 25, 2010, from http://en.Wikipedia.org/wiki/Unified_Modeling_Language.
    • (2006) Unified Modeling Language
  • 79
    • 0032096714 scopus 로고    scopus 로고
    • Certifying off-the-shelf software components
    • Voas, J. M. (1998). Certifying off-the-shelf software components. IEEE Comput., 31(6), 53-59.
    • (1998) IEEE Comput , vol.31 , Issue.6 , pp. 53-59
    • Voas, J.M.1
  • 81
    • 84989154769 scopus 로고    scopus 로고
    • In Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC'99)
    • Wang, W., Pan, D., & Chen, M. (1999). An architecture-based software reliability model. In Proceedings of the Pacific Rim International Symposium on Dependable Computing (PRDC'99), (pp. 143-150).
    • (1999) An Architecture-based Software Reliability Model , pp. 143-150
    • Wang, W.1    Pan, D.2    Chen, M.3
  • 82
    • 31044432627 scopus 로고    scopus 로고
    • Architecture-based software reliability modeling
    • doi, 10.1016/j.jss.2005.09.004
    • Wang, W., Pan, D., & Chen, M. (2006). Architecture-based software reliability modeling. Journal of Systems and Software, 79(1), 132-146. doi:10.1016/j.jss.2005.09.004
    • (2006) Journal of Systems and Software , vol.79 , Issue.1 , pp. 132-146
    • Wang, W.1    Pan, D.2    Chen, M.3
  • 84
    • 84898580975 scopus 로고    scopus 로고
    • Wright, Retrieved May 25, 2010, from
    • Wright. (2006). The Wright architecture description language. Retrieved May 25, 2010, from http://www.Cs.Cmu.edu/afs/cs/project/able/www/wright/index.Html
    • (2006) The Wright Architecture Description Language


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.