Developing high quality software

Performance related problems are a key aspect in the software development process (SDP). In particular an early integration of performance considerations inside the SDP has been recognised during last years as an effective approach to speed up the production of high quality software. In this paper we present a design process that can help in producing high reliable software with predefined performance requirements. We propose the use of a performance plug-in to the ArgoUML CASE tool which allows to insert performance indices based on the OMG Profile for schedulability, Performance and Time Specification standard (Object Management Group, UML Profile for Schedulability, Performance and Time Specification ver 1.1, 2005) for the design of the software architecture. It also permits to map an UML model toward stochastic Petri Nets, which are used as the performance specification and evaluation tool.

[1]  Perdita Stevens.  Small-Scale XMI Programming: A Revolution in UML Tool Use? , 2004, Automated Software Engineering.

[2]  Kishor S. Trivedi,et al.  The Evolution of Stochastic Petri Nets , 1997 .

[3]  Dorina C. Petriu,et al.  XSLT transformation from UML models to LQN performance models , 2002, WOSP '02.

[4]  Simonetta Balsamo,et al.  UML-PSI: the UML performance simulator , 2004, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..

[5]  Vittorio Cortellessa,et al.  From UML models to software performance results: an SPE process based on XML interchange formats , 2005, WOSP '05.

[6]  Antonio Puliafito,et al.  Design and Implementation of a Performance Plug-In for the ArgoUML Tool , 2005, IASTED Conf. on Software Engineering.

[7]  C. Murray Woodside,et al.  A Metamodel for Generating Performance Models from UML Designs , 2004, UML.

[8]  Vincenzo Grassi,et al.  Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach , 2007, J. Syst. Softw..

[9]  S. Mohan,et al.  Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software [Book Review] , 2003, IEEE Software.

[10]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[11]  Antonio Puliafito,et al.  Design and implementation of a WEB-based non-Markovian stochastic Petri net tool. , 1998 .

[12]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[13]  Ramón Puigjaner,et al.  Performance Model Interchange Format: Semantic Validation , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[14]  Karama Kanoun,et al.  A System Dependability Modeling Framework Using AADL and GSPNs , 2006, WADS.

[15]  C. Murray Woodside,et al.  An intermediate metamodel with scenarios and resources for generating performance models from UML designs , 2007, Software & Systems Modeling.

[16]  Raffaela Mirandola,et al.  Efficient Performance Models in Component-Based Software Engineering , 2006, 32nd EUROMICRO Conference on Software Engineering and Advanced Applications (EUROMICRO'06).

[17]  Simona Bernardi,et al.  Performance evaluation of UML design with Stochastic Well-formed Nets , 2007, J. Syst. Softw..

[18]  Antonio Puliafito,et al.  UML Design and Software Performance Modeling , 2004, ISCIS.

[19]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.

[20]  Connie U. Smith,et al.  Performance Engineering of Software Systems , 1990, SIGMETRICS Perform. Evaluation Rev..

[21]  Antonio Puliafito,et al.  Software Performance Analysis in UML Models , 2005, 2005 Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex Systems (FIRB-PERF'05).

[22]  Dorina C. Petriu,et al.  From UML to LQN by XML algebra-based model transformations , 2005, WOSP '05.

[23]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..