Integrating performance and reliability analysis in a non-functional MDA framework

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

Volumn 4422 LNCS, Issue , 2007, Pages 57-71

  Cortellessa, Vittorio ^a   Di Marco, Antinisca ^a   Inverardi, Paola ^a  

^a UNIVERSITY OF L'AQUILA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; COMPUTATION THEORY; COMPUTER SOFTWARE; MATHEMATICAL MODELS; RELIABILITY ANALYSIS;

MODEL-DRIVEN ARCHITECTURE; NON-FUNCTIONAL VALIDATION; RELIABILITY ASSESSMENT; SOFTWARE SYSTEMS;

COMPUTER ARCHITECTURE;

EID: 37149016514     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71289-3_6     Document Type: Conference Paper

References (22)

1. S. Balsamo, A. Di Marco, P. Inverardi, M. Simeoni, Model-based Performance Prediction in Software Development: A Survey, IEEE Trans. on Software Engineering, 30(5):295-310, 2004.
2. S. Balsamo, M. Marzolla, A Simulation-Based Approach to Software Performance Modeling, Proc. Joint 9th European Software Engineering Conference (ESEC) & 11th SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 363-366, Helsinki, FI, 2003.
3. A. Bertolino, R. Mirandola, CB-SPE Tool: Putting Component-Based Performance Engineering into Practice, Proc. of CBSE 2004, PP-233-248, 2004.
4. V. Cortellessa, A. Di Marco, P. Inverardi, Three Performance Models at Work: A Software Designer Perspective, Electr. Notes Theor. Comput. Sei.,vol. 97, pp. 219-239, 2004.
5. V. Cortellessa, A. Di Marco, P. Inverardi, Non-functional Modeling and Validation in Model-Driven Architecture, Proc. of Sixth Working IEEE/IFIP Conference on Software Architecture (WICSA 2007), Mumbay, India, 2007 (To Appear).
6. V. Cortellessa V., M. Gentile, M. Pizzuti, XPRIT: an XML-based tool to translate UML diagrams into Execution Graphs and Queueing Networks, Proc. of QEST 2004 (short papers), 2004.
7. V. Cortellessa, R. Mirandola, PRIMA-UML: a Performance Validation Incremental Methodology on Early UML Diagrams, Science of Computer Programming, Elsevier Science, 44(1):101-129, 2002.
8. V. Cortellessa, H. Singh, B. Cukic, E. Gunel, V. Bharadwaj, Early reliability assessment of UML based software models, Proc. of 3rd ACM Workshop on Software and Performance, 2002.
9. K. Czarnecki, S. Helsen, Classification of Model Transformation Approaches, Proc. of OOPSLA03 Workshop on Generative Techniques in the Context of MDA, 2003.
10. V. Grassi, R. Mirandola, PRIMAmob-UML: a methodology for performance analysis of mobile software architectures, Proc. of WOSP 2002, pp. 262-274, 2002.
11. J. Miller (editor), Model-Driven Architecture Guide, omg/2003-06-01 (2003).
12. G.N. Rodrigues, G. Robets, W. Emmerich, J. Skene, Reliability Support for Model Driven Architecture, Proc. of WADS 2003, LNCS 3069, pp.79-98, 2003.
13. G.N. Rodrigues, D. S. Rosenblum, S. Uchitel, Reliability Prediction in ModelDriven Development, Proc. of Models Conference, LNCS 3713, pp.339-354, 2005.
14. S. Rottger, S. Zschaler, Model-driven development for non-functional properties: refinement through model transformation, Proc. of UML 2004, LNCS 3273, pp.275289, 2004.
15. A. Sabetta, D.C. Petriu, V. Grassi, R. Mirandola, Abstraction-raising Transformation for Generating Analysis Models, Proc. of Models 2005 Satellite Events, LNCS 3844, pp. 217-226, 2005.
16. H. Singh, V. Cortellessa, B. Cukic, E. Gunel, V. Bharadwaj, A Bayesian Approach to Reliability Prediction and Assessment of Component Based Systems, Proc. of 12th IEEE International Symposium on Software Reliability Engineering, 2001.
17. J. Skene, W. Emmerick, Model-driven performance analysis of Enterprise Information Systems, ENTCS 82(6), 2003.
18. C.U. Smith, L.G. Williams, Software performance antipatterns. Proceedings of the 2nd international workshop on Software and performance (WOSP00), pp. 127-136, Ottawa, Ontario, Canada, 2000.
19. C.U. Smith, L.G. Williams, Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software, Addison-Wesley, 2002.
20. K. Trivedi, Probability and Statistics with Reliability, Queuing, and Computer Science Applications, John Wiley and Sons, New York, 2001.
21. www.gentleware.com
22. www.perfeng.com