Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts

  • Hesham Kamal Arafat Mohamed
  • Bruno Müller-Clostermann
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2767)


A message sequence chart (MSC) is a high-level description of the message interaction between system components and their environment. Communication between distributed instances can be described by MSCs and these descriptions can be extended by notions for time consumption and resources and afterwards included in a system performance model. Such models can be evaluated by discrete event simulation or under reasonable assumptions alternatively with analytical queueing network algorithms. In this way steady state performance measures like resource utilizations and end-to-end delays can be calculated with low effort. The simulation uses the same input like the analytical formulas and allows for the investigation of dynamic performance behaviour or for the study of models including features which can not be handled by analytical formulas.


Service Time Queue Length Discrete Event Simulation Average Queue Length Connection Setup 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Belachev, M., Shyamasundar, R.K.: MSC+: From Requirement to Prototyped Systems. In: 13th Euromicro Conference on Real-Time Systems, Technical University of Delft, Delft, The Netherlands, June 13-15, pp. 117–124 (2001) Google Scholar
  2. 2.
    Birtwistle, G.M.: DEMOS a System for Discrete Event Modelling on Simula. Macmillan,
  3. 3.
  4. 4.
    Braga, L., Manione, R., Renditore, P.: A Formal Description Language for the Modelling and Simulation of Timed Interaction Diagrams. In: Gotzhein and Bredereke (eds.) [11], pp. 245–260Google Scholar
  5. 5.
    Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: The QUEST-Approach for the Performance Evaluation of SDL-Systems. In: Gotzhein and Bredereke (eds.) [11], pp. 229–244Google Scholar
  6. 6.
    Faltin, N., Lambert, L., Mitschele-Thiel, A., Slomka, F.: An Annotational Extension of Message Sequence Charts to Support Performance Engineering. In: SDL 1997: Time for Testing - SDL, MSC and Trends, France. Eighth SDL Forum, pp. 307–322. North-Holland, Amsterdam (1997)Google Scholar
  7. 7.
    Faltin, N., Lambert, L., Mitschele-Thiel, A., Slomka F.: PMSC - Performance Message Sequence Chart. Technical Report 10/97, Universität Erlangen-Nürnberg, IMMD VII, Erlangen (1997) Google Scholar
  8. 8.
    Flüs, C., Mohamed, H., Müller-Clostermann, B.: JavaDEMOS: Java-based Discrete Event Simulation. In: MMB-Mitteilungen Nr. 41 (2002),
  9. 9.
    Frangiadakis, N., Nikolaidis, G., Schefczik, P., Wiedemann, A.: MxRAN Functional Architecture Performance Modeling. In: OPNET Conference (2002),
  10. 10.
    Friedrich-Alexander-Universität Erlangen-Nürnberg, Department of Computer Science 7, Homepage
  11. 11.
    Gotzhein, R., Bredereke, J. (eds.): Formal Description Techniques IX: Theory, application and tools, IFIP TC6 WG6.1 International Conference on Formal Description Techniques IX / Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany (1996) Google Scholar
  12. 12.
    Herzog, U.: Formal Methods in Performance Evaluation. In: Brinksma, E., Hermanns, H., Katoen, J.-P. (eds.) EEF School 2000 and FMPA 2000. LNCS, vol. 2090, p. 1. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  13. 13.
    IPonAir, Homepage
  14. 14.
    Jain, R.: The Art of Computer Systems Performance Analysis: Techniques for Experimental Design, Measurement, Simulation, and Modeling. John Wiley & Sons, Inc., New York (1991)zbMATHGoogle Scholar
  15. 15.
    JavaDEMOS software on the JavaDEMOS, home page
  16. 16.
    Jonsson, B., Padilla, G.: An execution semantics for MSC-2000. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, p. 365. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  17. 17.
    Kosiuczenko, P.: Time in Message Sequence Chart. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol. 1300, pp. 562–566. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  18. 18.
    Lambert, L.: PMSC for Performance Evaluation. In: Mitschele-Thiel, A., Müller-Clostermann, B., Reed, R. (eds.) Workshop on Performance and Time in SDL and MSC, February 17-19, University of Erlangen-Nürnberg (1998)Google Scholar
  19. 19.
    Mauw, S., Reniers, M.A.: High-Level Message Sequence Charts. In: Cavalli and Sarma [6], pp. 291–306Google Scholar
  20. 20.
    Menascé, D., Almeida, V., Dowdy, L.: Capacity Planning and Performance Modeling: From Mainframes to Client-Server Systems. Prentice-Hall, Englewood Cliffs (1994)Google Scholar
  21. 21.
    Mitschele-Thiel, A.: Integrating Performance and Time in SDL and MSC – Current State and Vision. In: [22] Google Scholar
  22. 22.
    Mitschele-Thiel, A., Müller-Clostermann, B., Reed, R. (eds.): Proc. of Workshop on Performance and Time in SDL and MSC, February 17-19, University of Erlangen-Nürnberg (1998)Google Scholar
  23. 23.
    Mitschele-Thiel, A.: Systems Engineering with SDL – Developing Performance Critical Applications. Wiley, Chichester (2000)Google Scholar
  24. 24.
    Mohamed, H.: Discrete Event Simulation Using JavaDEMOS. Technical Report, University of Essen (2001),
  25. 25.
    MSC Standard, ITU-T. Recommendation Z.120, Message Sequence Charts. Geneva (1999) Google Scholar
  26. 26.
    MSC-2000 MESSAGE SEQUENCE CHART (MSC), (revised in 2001), SDL Forum Version of Z.120 (11/99) rev. 1(14/11/01) Google Scholar
  27. 27.
    Padilla, G.: An Execution Semantics for MSC2000 (August 2000),
  28. 28.
    Schaffer. C.: MSC/RT: A Real-Time Extension to Message Sequence Charts (MSCs). Technical Report TR140-96, Johannes Kepler Universitat Linz, Institut für Systemwissenschaften (1996) Google Scholar
  29. 29.
    Schefczik, P., Mitschele-Thiel, A., Soellner, M., Speltacker, W.: On MSC-Based Performance Simulation. In: The Third International Workshop on Software and Performance (WOSP 2002), Rome (2002) Google Scholar
  30. 30.
    Schieferdecker, I., Rennoch, A., Mertens, O.: Timed MSCs - an Extension to MSC 1996. In: Wolisz et al. [32], pp. 165–174Google Scholar
  31. 31.
    Smith, C.U., Williams, L.G.: Performance Engineering Evaluation of Object-Oriented Systems with SPEED. In: Marie, R., Plateau, B., Calzarossa, M., Rubino, G. (eds.) TOOLS 1997. LNCS, vol. 1245. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  32. 32.
    Wolisz, A., Schieferdecker, I., Rennoch, A. (eds.): Formale Beschreibungstechniken für verteilte Systeme. GMD-Studie Nr. 315, Berlin, Germany, GI/ITG, GMD-Forschungszentrum (1997)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2003

Authors and Affiliations

  • Hesham Kamal Arafat Mohamed
    • 1
  • Bruno Müller-Clostermann
    • 1
  1. 1.Institute for Computer Science and Business Information SystemsUniversity of Duisburg-EssenEssenGermany

Personalised recommendations