article

Using UML models for the performance analysis of network systems

Authors:

Pieter KritzingerAuthors Info & Claims

Computer Networks: The International Journal of Computer and Telecommunications Networking, Volume 49, Issue 5

Pages 627 - 642

Published: 05 December 2005 Publication History

Abstract

The automated functional and performance analysis of communication systems specified with some Formal Description Technique has long been the goal of telecommunication engineers. In the past SDL and Petri nets have been the most popular FDTs for the purpose. With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model. Until the advent of UML 2.0, that has been an impossible task because the semantics were not clear. Even though the UML semantics are still not clear for the purpose, using ITU recommendation Z.109 with UML 2.0 now released, we describe in this paper a methodology and tool called proSPEX (protocol Software Performance Engineering using XMI) for the design and performance analysis of communication protocols specified with UML.

References

[1]

Object Management Group. UML 2.0 superstructure specification, Object Management Group Online Publication, August 2003.

[2]

Hogrefe, Dieter, Estelle, LOTOS Und SDL: Standard-Spezifikationssprachen ür Verteilte Systeme. 1989. Springer Compass, Springer-Verlag.

[3]

ITU-T Recommendation Z.100(08/02), Languages for telecommunications applications, Specification and Description Language (SDL), International Telelcommunication Union, Geneva, 2003.

[4]

Selic, Bran, Gullekson, G. and Ward, P.T., Real-time Object-oriented Modeling. 1994. John-Wiley&Sons.

Digital Library

[5]

B. Moller-Pedersen, SDL combined with UML, in: Telektronikk 4.2000, Languages for Telecommunication Applications, 2000.

[6]

ITU-T Recommendation Z.100(11/99), Languages for telecommunications applications, SDL Combined with UML, International Telelcommunication Union, Geneva, 2001.

[7]

Butow, M., Mestern, M., Schapiro, C. and Kritzinger, P.S., Performance modelling with the formal specification language SDL. In: IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, vol. 69. Kluwer. pp. 213-228.

Digital Library

[8]

Mitschele-Thiel, S. and Müller-Clostermann, B., Performance engineering of SDL/MSC systems. Computer Networks. v31 i17. 1801-1815.

Digital Library

[9]

J. Parssinen, J. Turunen, Patterns for protocol system architecture, in: Pattern Languages of Programs (PLoP) Conference, 2000.

[10]

S. Sircar, A. Kott, Enterprise architecture analysis using an architecture description language, in: Proceedings of DARPA Symposium on Advances in Enterprise Control, 2000.

[11]

Holzmann, G., Protocol design: Redefining the state of the art. IEEE Software. v9 i1. 17-22.

Digital Library

[12]

Steppler, M., Performance analysis of communication systems formally specified in SDL. In: Proceedings of the First International Workshop on Software and Performance (WOSP98), ACM Press. pp. 49-62.

Digital Library

[13]

Logean, X., On applying formal techniques to the development of hybrid services: Challenges and directions. IEEE Communications Magazine. v37 i7. 132-138.

Digital Library

[14]

Holzmann, G., Design and Validation of Computer Protocols. 1991. Prentice Hall.

Digital Library

[15]

Bernardi, S., Donatelli, S. and Merseguer, J., From UML sequence diagrams and statecharts to analysable Petri Net models. In: Proceedings of the Third International Workshop on Software and Performance, ACM Press, New York, USA. pp. 35-45.

Digital Library

[16]

McUmber, W. and Cheng, B., A general framework for formalizing UML with formal languages. In: Proceedings of the 23rd International Conference on Software Engineering, IEEE Computer Society. pp. 433-442.

Digital Library

[17]

Lavazza, L., Quaroni, G. and Venturelli, G., Combining UML and formal notations for modelling real-time systems. In: Proceedings of the 8th European Software Engineering Conference, ACM Press, New York, USA. pp. 196-206.

Digital Library

[18]

Bjorkander, M., Graphical programming using UML and SDL. IEEE Computer. v33 i12. 17-22.

Digital Library

[19]

Muhammad, H. and Barcellos, M., Simulating group communication protocols through an object-oriented framework. In: Proceedings of the 35th Annual Simulation Symposium, IEEE, San Diego, NY. pp. 14-18.

Digital Library

[20]

B. Selic, Brass bubbles: An overview of UML 2.0 (and MDA), Object Technology Slovakia (OTS) 2003, June 2003.

[21]

S. Graf, Expression of time and duration constraints in SDL, in: Proceedings of the second IEEE sensor array and multichannel signal processing workshop, IEEE, 2002, pp. 1-16.

[22]

S. Spitz, F. Slomka, M. Dorfel, SDL*-An annotated specification language for engineering multimedia communication systems, in: Proceedings of the Sixth Open Workshop on High Speed Networks, Stuttgart, Germany, October 1997.

[23]

J.-L. Roux, SDL performance analysis with objectgeode, Telelogic White Paper, 20 August 2001.

[24]

Hintelmann, J., Diefenbruch, M. and Müller-Clostermann, B., Quest: Performance evaluation of SDL systems. In: IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, vol. 69. Kluwer. pp. 229-244.

Digital Library

[25]

Martins, J., Hubaux, J.P., Saydam, T. and Znaty, S., Integrating performance evaluation and formal specification. In: Proceedings of IEEE ICC'96, IEEE Press. pp. 1803-1807.

[26]

M. Butow, M. Mestern, C. Schapiro, P.S. Kritzinger, SDL performance evaluation of concurrent systems, Technical report, Department of Computer Science, University of Cape Town, 1995.

[27]

Booch, G., Rumbaugh, J. and Jacobson, I., The Unified Modeling Language User Guide. 1998. Addison-Wesley.

Digital Library

[28]

Kobryn, C., Will UML 2.0 be agile or awkward?. Communications of the ACM. v45 i1. 107-110.

Digital Library

[29]

Dori, D., Why significant UML change is unlikely. Communications of the ACM. v45 i1. 82-85.

Digital Library

[30]

Miller, J., What UML should be. Communications of the ACM. v45 i1. 67-69.

[31]

Object Management Group. UML profile for schedulability, performance, and time specification, Object Management Group Online Publication, 2002.

[32]

The Apache Jakarta Project. The apache jakarta project: Velocity, Available from: <http://jakarta.apache.org/velocity/>, 2004.

[33]

Sun Microsystems. RFC 1050-RPC: Remote procedure call protocol specification, Available from: <http://www.faqs.org>, April 1988.

Cited By

Kluge RStein MVarr GSchrr AHollick MMhlhuser M(2018)A systematic approach to constructing incremental topology control algorithms using graph transformationJournal of Visual Languages and Computing10.1016/j.jvlc.2016.10.00338:C(47-83)Online publication date: 26-Dec-2018
https://dl.acm.org/doi/10.1016/j.jvlc.2016.10.003
Rygielski PKounev STran-Gia PTheodoropoulos G(2015)Flexible performance prediction of data center networks using automatically generated simulation modelsProceedings of the 8th International Conference on Simulation Tools and Techniques10.4108/eai.24-8-2015.2260961(119-128)Online publication date: 24-Aug-2015
https://dl.acm.org/doi/10.4108/eai.24-8-2015.2260961
Rygielski PZschaler SKounev STůma PCasale GField TAmaral J(2013)A meta-model for performance modeling of dynamic virtualized network infrastructuresProceedings of the 4th ACM/SPEC International Conference on Performance Engineering10.1145/2479871.2479918(327-330)Online publication date: 21-Apr-2013
https://dl.acm.org/doi/10.1145/2479871.2479918
Show More Cited By

Recommendations

Integrating UML diagrams for production control systems
ICSE '00: Proceedings of the 22nd international conference on Software engineering

This paper proposes to use SDL block diagrams, UML class diagrams, and UML behavior diagrams like collaboration diagrams, activity diagrams, and statecharts as a visual programming language. We describe a modeling approach for flexible, autonomous ...
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 ...
A New Approach for Generating LOTOS Specifications from UML Dynamic Models
C3S2E '15: Proceedings of the Eighth International C* Conference on Computer Science & Software Engineering

The use of UML Statechart and Communication diagrams for modeling dynamic behaviors of systems is very widespread. UML diagrams support developers by means of visual conceptual illustrations. However, the lacks of firm semantics for these diagrams make ...

Comments

Information & Contributors

Information

Published In

cover image Computer Networks: The International Journal of Computer and Telecommunications Networking

Computer Networks: The International Journal of Computer and Telecommunications Networking Volume 49, Issue 5

Telecommunications and UML languages

5 December 2005

87 pages

ISSN:1389-1286

Issue’s Table of Contents

Copyright © Elsevier B.V. © 2005.

Publisher

Elsevier North-Holland, Inc.

United States

Publication History

Published: 05 December 2005

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Kluge RStein MVarr GSchrr AHollick MMhlhuser M(2018)A systematic approach to constructing incremental topology control algorithms using graph transformationJournal of Visual Languages and Computing10.1016/j.jvlc.2016.10.00338:C(47-83)Online publication date: 26-Dec-2018
https://dl.acm.org/doi/10.1016/j.jvlc.2016.10.003
Rygielski PKounev STran-Gia PTheodoropoulos G(2015)Flexible performance prediction of data center networks using automatically generated simulation modelsProceedings of the 8th International Conference on Simulation Tools and Techniques10.4108/eai.24-8-2015.2260961(119-128)Online publication date: 24-Aug-2015
https://dl.acm.org/doi/10.4108/eai.24-8-2015.2260961
Rygielski PZschaler SKounev STůma PCasale GField TAmaral J(2013)A meta-model for performance modeling of dynamic virtualized network infrastructuresProceedings of the 4th ACM/SPEC International Conference on Performance Engineering10.1145/2479871.2479918(327-330)Online publication date: 21-Apr-2013
https://dl.acm.org/doi/10.1145/2479871.2479918
Zhanikeev MMolnár SHeath J(2008)Between small complex and large simplistic network simulatorsProceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops10.5555/1416222.1416293(1-4)Online publication date: 3-Mar-2008
https://dl.acm.org/doi/10.5555/1416222.1416293

View Options

View options

Media

Figures

Other

Tables

View Issue’s Table of Contents