×

Developing high quality software. (English) Zbl 1178.68170

Summary: 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.

MSC:

68N99 Theory of software
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Software:

ArgoUML
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] DOI: 10.1109/TSE.2004.9 · Zbl 05113741 · doi:10.1109/TSE.2004.9
[2] DOI: 10.1109/EUROMICRO.2006.34 · doi:10.1109/EUROMICRO.2006.34
[3] DOI: 10.1016/j.jss.2007.02.029 · Zbl 05434223 · doi:10.1016/j.jss.2007.02.029
[4] Distefano S., Proceedings of the Workshop on Techniques, Methodologies and Tools for Performance Evaluation of Complex System (FIRB-2005) (2005)
[5] S. Distefano, D. Paci, A. Puliafito, and M. Scarpa, Deriving a PN Performance Model from UML Design by PCM Intermediate Model, Technical report, University of Messina, 2004
[6] Distefano S., The 19th International Symposium on Computer and Information Sciences (ISCIS’04), Antalya, Turkey pp 27– (2004)
[7] Distefano S., Proceedings of The International Conference of Software Engineering (SE 2005), in: Design and Implementation of a Performance Plug-in for the ArgoUML Tool (2005)
[8] Feiler P.H., Carnegie Mellon University/Software Engineering Institute, February (2006)
[9] DOI: 10.1016/j.jss.2006.07.023 · Zbl 05434302 · doi:10.1016/j.jss.2006.07.023
[10] DOI: 10.1145/584369.584402 · doi:10.1145/584369.584402
[11] DOI: 10.1145/1071021.1071031 · doi:10.1145/1071021.1071031
[12] Horváth A., Proceedings of the 13th Int. Symposium on Computer and Information Sciences ISCIS’98 pp 101– (1998)
[13] DOI: 10.1145/974044.974048 · doi:10.1145/974044.974048
[14] DOI: 10.1109/QEST.2004.1348057 · doi:10.1109/QEST.2004.1348057
[15] DOI: 10.1109/WODES.2002.1167702 · doi:10.1109/WODES.2002.1167702
[16] Object Management Group (OMG). Unified modelling language (UML), v1.3, 2000
[17] Object Management Group (OMG). XML metadata interchange, v1.2, 2002
[18] Object Management Group. UML Profile for Schedulability, Performance and Time Specification, ver 1.1, 2005
[19] Object Management Group. UML profile for modeling quality of service and fault tolerance characteristics and mechanisms, 2006
[20] Petriu D.B., Proceedings of UML 2004, Lisbon, Lecture Notes in Computer Science (LNCS 3273) 3273 pp 41– (2004)
[21] DOI: 10.1007/s10270-006-0026-8 · Zbl 05188594 · doi:10.1007/s10270-006-0026-8
[22] Puliafito A., Proceedings of World Congress on Systems Simulation (WCSS ’97) pp 3– (1997)
[23] Ramirez A., ArgoUML User Manual, A Tutorial and Reference Description
[24] Rugina A.-E., Proceedings of WADS06, Lecture Notes in Computer Science 4615 pp 14– (2006)
[25] Smith C.U., Performance Engineering of Software Systems (1990)
[26] Smith C.U., Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software (2002)
[27] DOI: 10.1145/1071021.1071030 · doi:10.1145/1071021.1071030
[28] Smith C.U., Proceedings of International Conference on Software Engineering Advances (2006)
[29] DOI: 10.1023/A:1021860700141 · Zbl 01881900 · doi:10.1023/A:1021860700141
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.