Article

Annotating UML models with non-functional properties for quantitative analysis

Authors:

Huáscar Espinoza,

Sébastien Gérard,

Dorina C. Petriu,

Murray WoodsideAuthors Info & Claims

MoDELS'05: Proceedings of the 2005 international conference on Satellite Events at the MoDELS

Pages 79 - 90

https://doi.org/10.1007/11663430_9

Published: 02 October 2005 Publication History

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.

References

[1]

Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M., "Model-based performance prediction in software development: a survey" IEEE Transactions on Software Engineering, Vol 30, N.5, pp.295-310, May 2004.

Digital Library

[2]

S. Bernardi, S. Donatelli, and J. Merseguer, "From UML sequence diagrams and statecharts to analysable Petri net models" in Proc. of 3rd Int. Workshop on Software and Performance (WOSP02), pp. 35-45, Rome, July 2002.

Digital Library

[3]

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.

[4]

V. Cortellessa, A. Pompei, "Towards a UML profile for QoS: a contribution in the reliability domain", In Proc. 4th Int. Workshop on Software and Performance WOSP'2004, pp.197-206, Redwood Shores, California, 2004.

Digital Library

[5]

S. Flake, W. Mueller, "A UML Profile for Real-Time Constraints with the OCL" In J. M. Jezequel, H. Hussmann, S. Cook (Eds.) UML'2002, Dresden, Germany LNCS (2460), pp. 179-195, Springer Verlag 2002.

Digital Library

[6]

S. Graf, Ileana Ober, Iulian Ober "Timed annotations in UML", accepted to STTT, Int. Journal on Software Tools for Technology Transfer, Springer Verlag, 2004.

[7]

A. Lanusse, S. Gérard, F. Terrier, "Real-time Modelling with UML: The ACCORD Approach", In Proceedings of the UML'98, Springer Verlag LNCS 1618.

Digital Library

[8]

L. Lavagno, G. Martin, and B. Selic, "UML for Real. Design of Embedded Real-Time Systems," Kluwer Academic Publishers, 2003.

Digital Library

[9]

D. Lugato, C. Bigot, Y. Valot "Validation and automatic test generation on UML models: the AGATHA approach", In Proceedings of the Workshop FMICS, ENTCS 66 no 2, 2002.

[10]

J.L. Medina, M. González Harbour, and J.M. Drake, "MAST Real-Time View: A Graphic UML Tool for Modeling Object-Oriented Real-Time Systems" Proceedings of the 22nd IEEE Real-Time Systems Symposium (RTSS 2001), London, UK, IEEE Computer Society Press, pp. 245-256, December 2001.

Digital Library

[11]

Object Management Group, "UML Profile for Schedulability, Performance, and Time", Version 1.1. 2005. OMG document: formal/05-01-02.

[12]

Object Management Group, "UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE)", RFP. 2005. OMG document: realtime/05-02-06.

[13]

Object Management Group, "UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms", 2004. OMG document ptc/04-09-01.

[14]

J. C. Palencia and M. G. Harbour, "Exploiting Precedence Relations in the Schedulability Analysis of Distributed Real-Time Systems", Proceedings of the 20th Real-Time Systems Symposium, IEEE Computer Society Press, pp 328-339, December 1999.

Digital Library

[15]

T.H. Phan, S. Gérard and D. Lugato. "Schedulability Validation for UML-modeled real-time systems with symbolic execution and jitter compensation". ERCT Workshop, 2003.

[16]

D.C. Petriu, "Performance Analysis with the SPT Profile", in Model-Driven Engineering for Distributed and Embedded Systems, (S. Gerard, J.P. Babeau, J. Champeau, Eds), pp. 205-224, Hermes Science Publishing Ltd., London, England, 2005.

[17]

B. Selic, "A Generic Framework for Modeling Resources with UML", IEEE Computer, Vol.33, N. 6, pp. 64-69. June, 2000.

Digital Library

[18]

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 Perspective", Real-Time Systems Journal, Vol. 28, No, 2-3, pp. 101-155, 2004.

Digital Library

[19]

C.M. Woodside, D.C. Petriu, D.B. Petriu, H. Shen, T. Israr, J. Merseguer, "Performance by Unified Model Analysis (PUMA)", In Proc. of 5th Int. Workshop on Software and Performance WOSP'2005, pp.1-12, Palma, Spain, July 2005.

Digital Library

Cited By

Xiang YZhou YZheng ZLi M(2018)Configuring Software Product Lines by Combining Many-Objective Optimization and SAT SolversACM Transactions on Software Engineering and Methodology10.1145/317664426:4(1-46)Online publication date: 20-Feb-2018
https://dl.acm.org/doi/10.1145/3176644
Falkner KSzabo CChiprianov VPuddy GRieckmann MFraser DAston C(2018)Model-driven performance prediction of systems of systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0547-817:2(415-441)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-016-0547-8
Kang ESchobbens PCho YShin SKim SHung CHong J(2014)Schedulability analysis support for automotive systemsProceedings of the 29th Annual ACM Symposium on Applied Computing10.1145/2554850.2554929(1080-1085)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.1145/2554850.2554929
Show More Cited By

Index Terms

Annotating UML models with non-functional properties for quantitative analysis
1. Computing methodologies
  1. Modeling and simulation
    1. Model development and analysis
      1. Modeling methodologies
2. General and reference
  1. Cross-computing tools and techniques
    1. Performance

Index terms have been assigned to the content through auto-classification.

Recommendations

Quantitative assessment of UML dynamic models

In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the ...
From UML/SPT models to schedulability analysis: approach and a prototype implementation using ATL

Model Driven Architecture (MDA) is a software development approach promoted by the OMG. MDA is based on two key concepts, models and model transformations. Several kinds of models are generally used throughout the development process to specify a ...
Quantitative assessment of UML dynamic models
ESEC/FSE-13: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering

In this work we plan to provide a suite of measures to address mainly two problem areas within contemporary object-oriented software measurement: (i) the lack of measures for the early stages of system development, like conceptual modeling and (ii) the ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

MoDELS'05: Proceedings of the 2005 international conference on Satellite Events at the MoDELS

October 2005

360 pages

ISBN:3540317805

Editor:
Jean-Michel Bruel
Département Informatique, Université de Pau et des Pays de l'Adour, Av. de l'Université, Pau, France

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 02 October 2005

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Xiang YZhou YZheng ZLi M(2018)Configuring Software Product Lines by Combining Many-Objective Optimization and SAT SolversACM Transactions on Software Engineering and Methodology10.1145/317664426:4(1-46)Online publication date: 20-Feb-2018
https://dl.acm.org/doi/10.1145/3176644
Falkner KSzabo CChiprianov VPuddy GRieckmann MFraser DAston C(2018)Model-driven performance prediction of systems of systemsSoftware and Systems Modeling (SoSyM)10.1007/s10270-016-0547-817:2(415-441)Online publication date: 1-May-2018
https://dl.acm.org/doi/10.1007/s10270-016-0547-8
Kang ESchobbens PCho YShin SKim SHung CHong J(2014)Schedulability analysis support for automotive systemsProceedings of the 29th Annual ACM Symposium on Applied Computing10.1145/2554850.2554929(1080-1085)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.1145/2554850.2554929
Lickly BShelton CLatronico ELee EChakraborty SJerraya ABaruah SFischmeister S(2011)A practical ontology framework for static model analysisProceedings of the ninth ACM international conference on Embedded software10.1145/2038642.2038648(23-32)Online publication date: 9-Oct-2011
https://dl.acm.org/doi/10.1145/2038642.2038648
Hassine JRilling JDssouli R(2010)An evaluation of timed scenario notationsJournal of Systems and Software10.1016/j.jss.2009.09.01483:2(326-350)Online publication date: 1-Feb-2010
https://dl.acm.org/doi/10.1016/j.jss.2009.09.014
Hassine J(2009)Early schedulability analysis with timed use case mapsProceedings of the 14th international SDL conference on Design for motes and mobiles10.5555/1812885.1812894(98-114)Online publication date: 22-Sep-2009
https://dl.acm.org/doi/10.5555/1812885.1812894
Eusgeld I(2008)ReferencesDependability metrics10.5555/1806170.1806202(267-300)Online publication date: 1-Jan-2008
https://dl.acm.org/doi/10.5555/1806170.1806202
Xu JAvritzer AWeyuker EWoodside M(2008)Rule-based automatic software performance diagnosis and improvementProceedings of the 7th international workshop on Software and performance10.1145/1383559.1383561(1-12)Online publication date: 23-Jun-2008
https://dl.acm.org/doi/10.1145/1383559.1383561
Espinoza HServat DGérard SAvgeriou PLago PKruchten P(2008)Leveraging analysis-aided design decision knowledge in UML-based development of embedded systemsProceedings of the 3rd international workshop on Sharing and reusing architectural knowledge10.1145/1370062.1370078(55-62)Online publication date: 13-May-2008
https://dl.acm.org/doi/10.1145/1370062.1370078
Huhn MHungar H(2007)UML for software safety and certificationProceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems10.5555/1927558.1927569(201-237)Online publication date: 4-Nov-2007
https://dl.acm.org/doi/10.5555/1927558.1927569
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents