Using UML models for the performance analysis of network systems

Computer Networks

Volumn 49, Issue 5, 2005, Pages 627-642

  De Wet, Nico ^a   Kritzinger, Pieter ^a  

^a UNIVERSITY OF CAPE TOWN   (South Africa)

Author keywords

Communication protocols; ESRO; Formal description technique; Performance analysis; SDL; Simulation; UML

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; SEMANTICS; TELECOMMUNICATION;

FORMAL DISCRIPTION TECHNIQUE; PERFORMANCE ANALYSIS; SDL; UML;

NETWORK PROTOCOLS;

EID: 25444432326     PISSN: 13891286     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.comnet.2005.05.007     Document Type: Conference Paper

References (33)

1. Object Management Group. UML 2.0 superstructure specification, Object Management Group Online Publication, August 2003.
2. Dieter Hogrefe 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. Bran Selic, G. Gullekson, and P.T. Ward Real-time Object-oriented Modeling 1994 John-Wiley & Sons
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. M. Butow, M. Mestern, C. Schapiro, and P.S. Kritzinger Performance modelling with the formal specification language SDL IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI vol. 69 1996 Kluwer 213 228
8. S. Mitschele-Thiel, and B. Müller-Clostermann Performance engineering of SDL/MSC systems Computer Networks 31 17 1999 1801 1815
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. G. Holzmann Protocol design: Redefining the state of the art IEEE Software 9 1 1992 17 22
12. M. Steppler Performance analysis of communication systems formally specified in SDL Proceedings of the First International Workshop on Software and Performance (WOSP98) 1998 ACM Press 49 62
13. X. Logean On applying formal techniques to the development of hybrid services: Challenges and directions IEEE Communications Magazine 37 7 1999 132 138
14. G. Holzmann Design and Validation of Computer Protocols 1991 Prentice Hall
15. S. Bernardi, S. Donatelli, and J. Merseguer From UML sequence diagrams and statecharts to analysable Petri Net models Proceedings of the Third International Workshop on Software and Performance 2002 ACM Press New York, USA 35 45
16. W. McUmber, and B. Cheng A general framework for formalizing UML with formal languages Proceedings of the 23rd International Conference on Software Engineering 2001 IEEE Computer Society 433 442
17. L. Lavazza, G. Quaroni, and G. Venturelli Combining UML and formal notations for modelling real-time systems Proceedings of the 8th European Software Engineering Conference 2001 ACM Press New York, USA 196 206
18. M. Bjorkander Graphical programming using UML and SDL IEEE Computer 33 12 2002 17 22
19. H. Muhammad, and M. Barcellos Simulating group communication protocols through an object-oriented framework Proceedings of the 35th Annual Simulation Symposium 2002 IEEE San Diego, NY 14 18
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. J. Hintelmann, M. Diefenbruch, and B. Müller-Clostermann Quest: Performance evaluation of SDL systems IFIP TC6/6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI vol. 69 1996 Kluwer 229 244
25. J. Martins, J.P. Hubaux, T. Saydam, and S. Znaty Integrating performance evaluation and formal specification Proceedings of IEEE ICC'96 1996 IEEE Press 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. G. Booch, J. Rumbaugh, and I. Jacobson The Unified Modeling Language User Guide 1998 Addison-Wesley
28. C. Kobryn Will UML 2.0 be agile or awkward? Communications of the ACM 45 1 2002 107 110
29. D. Dori Why significant UML change is unlikely Communications of the ACM 45 1 2002 82 85
30. J. Miller What UML should be Communications of the ACM 45 1 2002 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.