Abstract
This work is motivated by the recent Request For Proposals issued by OMG for a new UML Profile named “Modeling and Analysis of Real-Time and Embedded systems”. The paper describes first some domain concepts for annotating Non-Functional Properties (NFPs), whose focus is on supporting temporal verification of UML-based models. Particular emphasis is given to schedulability and performance analysis for real-time systems. We discuss next some general requirements for NFP annotations and evaluate how the UML profiles for “Schedulability, Performance, and Time Specification” and for “Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms”, address these requirements. Last but not least, the paper proposes a preliminary framework for describing NFPs by considering the major requirements previously stated and by analyzing some UML mechanisms to attach NFPs to model elements.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Model-based performance predic-tion in software development: a survey. IEEE Transactions on Software Engineering 30(5), 295–310 (2004)
Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and state-charts to analysable Petri net models. In: Proc. of 3rd Int. Workshop on Software and Per-formance (WOSP 2002), Rome, July 2002, pp. 35–45 (2002)
CEA, I-Logix, Uppsala, OFFIS, PSA, MECEL, ICOM, UML based methodology for real time embedded systems, version 1.0, April 2003, Project IST 10069 AIT-WOODDES (2003)
Cortellessa, V., Pompei, A.: Towards a UML profile for QoS: a contribution in the reli-ability domain. In: Proc. 4th Int. Workshop on Software and Performance WOSP 2004, pp. 197–206. Redwood Shores, California (2004)
Flake, S., Mueller, W.: A UML Profile for Real-Time Constraints with the OCL. In: Jézéquel, J.-M., Hussmann, H., Cook, S. (eds.) UML 2002. LNCS, vol. 2460, pp. 179–195. Springer, Heidelberg (2002)
Graf, S., Ober, I., Ober, I.: Timed annotations in UML, accepted to STTT. In: Int. Journal on Software Tools for Technology Transfer. Springer, Heidelberg (2004)
Lanusse, A., Gérard, S., Terrier, F.: Real-time Modelling with UML: The ACCORD Ap-proach. In: Bézivin, J., Muller, P.-A. (eds.) UML 1998. LNCS, vol. 1618, pp. 319–335. Springer, Heidelberg (1999)
Lavagno, L., Martin, G., Selic, B.: UML for Real. Design of Embedded Real-Time Systems. Kluwer Academic Publishers, Dordrecht (2003)
Lugato, D., Bigot, C., Valot, Y.: Validation and automatic test generation on UML models: the AGATHA approach. In: Proceedings of the Workshop FMICS. ENTCS, vol. 66 n°2 (2002)
Medina, J.L., González Harbour, M., Drake, J.M.: MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems. In: Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, December 2001, pp. 245–256. IEEE Computer Society Press, Los Alamitos (2001)
Object Management Group, “UML Profile for Schedulability, Performance, and Time”, Version 1.1, OMG document: formal/05-01-02 (2005)
Object Management Group, “UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)”, RFP, OMG document: realtime/05-02-06 (2005)
Object Management Group: “UML Profile for Modeling Quality of Service and Fault Tol-erance Characteristics and Mechanisms”, OMG document ptc/04-09-01 (2004)
Palencia, J.C., Harbour, M.G.: Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems. In: Proceedings of the 20th Real-Time Systems Symposium, December 1999, pp. 328–339. IEEE Computer Society Press, Los Alamitos (1999)
Phan, T.H., Gérard, S., Lugato, D.: Schedulability Validation for UML-modeled real-time systems with symbolic execution and jitter compensation. In: ERCT Workshop (2003)
Petriu, D.C.: Performance Analysis with the SPT Profile. In: Gerard, S., Babeau, J.P., Champeau, J. (eds.) Model-Driven Engineering for Distributed and Embedded Systems, pp. 205–224. Hermes Science Publishing Ltd., London (2005)
Selic, B.: A Generic Framework for Modeling Resources with UML. IEEE Computer 33(6), 64–69 (2000)
Sha, L., Abdelzaher, T., Arzen, K.E., Cervin, A., Baker, T., Burns, A., Buttazzo, G., Caccamo, M., Lehoczky, J., Mok, A.K.: Real Time Scheduling Theory: A Historical Per-spective. Real-Time Systems Journal 28(2-3), 101–155 (2004)
Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by Unified Model Analysis (PUMA). In: Proc. of 5th Int. Workshop on Software and Per-formance WOSP 2005, Palma, Spain, July 2005, pp. 1–12 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Espinoza, H., Dubois, H., Gérard, S., Medina, J., Petriu, D.C., Woodside, M. (2006). Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel, JM. (eds) Satellite Events at the MoDELS 2005 Conference. MODELS 2005. Lecture Notes in Computer Science, vol 3844. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11663430_9
Download citation
DOI: https://doi.org/10.1007/11663430_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31780-7
Online ISBN: 978-3-540-31781-4
eBook Packages: Computer ScienceComputer Science (R0)