Abstract
Reliability is an important concern for software dependability. Quantifying dependability in terms of reliability can be carried out by measuring the continuous delivery of a correct service or, equivalently, the mean time to failure. The novel contribution of this paper is to provide a means to support reliability design following the principles of the Model Driven Architecture(MDA). By doing this, we hope to contribute to the task of consistently addressing dependability concerns from the early to late stages of software engineering. Additionally, we believe MDA can be a suitable framework to realize the assessment of those concerns and therefore, semantically integrate analysis and design models into one environment.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Alur, D., Crupi, J., Malks, D.: Core J2EE Patterns. Sun Microsystems Inc. (2001)
Bondavalli, A., Majzik, I., Mura, I.: Automatic Dependability Analysis for Supporting Design Decisions in UML. In: Paul, R., Meadows, C. (eds.) Proc. of the 4th IEEE International Symposium on High Assurance Systems Engineering, IEEE, Los Alamitos (1999)
Cortellessa, V., Singh, H., Cukic, B.: Early reliability assessment of uml based software models. In: Proceedings of the Third International Workshop on Software and Performance, pp. 302–309. ACM Press, New York (2002)
Emmerich, W.: Engineering Distributed Objects. John Wiley & Sons, Inc., Chichester (2000)
Emmerich, W.: Software Engineering and Middleware: A Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, April 2000, pp. 119–129. ACM Press, New York (2000)
Emmerich, W.: Distributed Component Technologies and Their Software Engineering Implications. In: Proc. of the 24th Int. Conference on Software Engineering, Orlando, Florida, May 2002, pp. 537–546. ACM Press, New York (2002)
Frankl, P., Hamlet, R., Littlewood, B., Strigini, L.: Choosing a Testing Method to Deliver Reliability. In: International Conference on Software Engineering, pp. 68–78 (1997)
Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of MDA. In: Proc. 1st International Conference on Graph Transformation, ICGT 2002. LNCS, vol. 2505, pp. 90–105. Springer, Heidelberg (2002)
Greenfield, J.: UML Profile for EJB. Technical report (May 2001), http://www.jcp.org/jsr/detail/26.jsp
Huszerl, G., Majzik, I.: Modeling and analysis of redundancy management in distributed object–oriented systems by using UML statecharts. In: Proc. of the 27th EuroMicro Conference, Workshop on Software Process and Product Improvement, Poland, pp. 200–207 (2001)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained. Addison–Wesley Series Editors (2003)
Laprie, J.-C.: Dependability: Basic Concepts and Terminology. Springer, Heidelberg (1992)
Littlewood, B., Strigini, L.: Software Reliability and Dependability: A Roadmap. In: Finkelstein, A. (ed.) The Future of Software Engineering, April 2000, pp. 177–188. ACM Press, New York (2000)
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)
Menascé, D.A., Almeida, V.A.F.: Capacity Planning for the Web Services. Prentice Hall PTR, Englewood Cliffs (2001)
Object Management Group. OMGMOF 2.0 Query, Views, Transformations - RFP. Technical report, http://www.omg.org/techprocess/meetings/schedule/MOF_2.0_Query_View_Transf._RFP.html
Object Management Group. Model Driven Architecture. Technical report (July 2001), http://cgi.omg.org/docs/ormsc/01-07-01.pdf
Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms. Technical report (December 2002), http://www.omg.org/docs/ad/02-01-07.pdf
Object Management Group. UML Profile for Schedulability, Performance and Real-Time Specification. Technical report (March 2002), http://www.omg.org/cgi-bin/doc?ptc/02-03-02.pdf
Object Management Group. Unified Modeling Language (UML), version 1.4. Technical report (January 2002), http://www.omg.org/cgi-bin/doc?formal/01-09-67.pdf
Randell, B.: Software Dependability: A Personal View (Invited Paper). In: Proc. 25th Int. Symp. Fault-Tolerant Computing (FTCS-25, Pasadena), pp. 35–41. IEEE Computer Society Press, Los Alamitos (1995)
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 IEEE International Symposium on Software Reliability Engineering, pp. 12–21. IEEE, Los Alamitos (2001)
Skene, J., Emmerich, W.: Model Driven Performance Analysis of Enterprise Information Systems. Electronical Notes in Theoretical Computer Science (March 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rodrigues, G.N., Roberts, G., Emmerich, W. (2004). Reliability Support for the Model Driven Architecture. In: de Lemos, R., Gacek, C., Romanovsky, A. (eds) Architecting Dependable Systems II. Lecture Notes in Computer Science, vol 3069. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25939-8_4
Download citation
DOI: https://doi.org/10.1007/978-3-540-25939-8_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23168-4
Online ISBN: 978-3-540-25939-8
eBook Packages: Springer Book Archive