References

• 1. 1)
     • Conway, A.E., Georganas, N.D.: Queueing Networks Exact Computational Algorithms, 1989, Cambridge, MA, MIT Press.
  2. 2)
     • J. Rolia , G. Hills , G. Serazzi , H. Beilner , M. Bause . (1995) Performance engineering of distributed software process architectures., Computer Performance Evaluation -- Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 977 in LNCS.
  3. 3)
     • A. Benzekri , A. Valderruten , O. Hjiej , D. Gazal , R. Pooley , J. Hillston . (1992) Deriving queueing networks performance models from annotated LOTOS specifications, Computer Performance Evaluation -- Modelling Techniques and Tools, 6th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, 10 in Edits.
  4. 4)
     • D. Harel . Statecharts: A visual formalism for complex systems. Sci Comput Programming , 3 , 231 - 274
  5. 5)
     • M. Fowler , K. Scott . (1997) , UML Distilled.
  6. 6)
     • L.G. Williams , C.U. Smith , H. Beilner , F. Banse . (1995) Information requirements for software performance engineering., Computer Performance Evaluation -- Modelling Techniques and Tools, 8th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation, number 977 in LNCS.
  7. 7)
     • Rico, N., Bochmann, G.v.: `Performance description and analysis for distributed systems using a variant of LOTOS. In', 10th Int. IFIP Symposium on Protocol Specification, Testing and Validation, July 1990.
  8. 8)
     • N.J. Gunther . (1998) , The Practical Performance Analyst.
  9. 9)
     • C.U. Smith . (1990) , Performance Engineering of Software Systems.
  10. 10)
      • C.A.R. HOARE . (1985) , Communicating Sequential Processes.
  11. 11)
      • Kabajunga, C.: `Support for the unified modelling language design paradigm', 1997, Master’s thesis, Computer Science, University of Edinburgh.
  12. 12)
      • OMG. http://www.rational.com/uml/documentation.html..
  13. 13)
      • T. Bolognese , E. Brinksma . Introduction to the ISO specification language LOTOS. Comput. Netw. ISDN Syst. , 1 , 25 - 59(60)
  14. 14)
      • Hargreaves, S.: `Simulating UML models', 1998, Master’s thesis, University of Edinburgh, Department of Computer Science.
  15. 15)
      • D. Hogrefe , E. Heck , B. MÖller-Clostermann . Hierarchical performance evaluation based on formally specified communication protocols. IEEE Trans. Comput. , 4 , 500 - 513
  16. 16)
      • C. Kabajunga , R. Pooley , R. Pooley , Nigel Thomas . (1998) Simulating UML sequence diagrams, UK PEW 1998.
  17. 17)
      • `ISO/IEC JTC1/SC21/WG7: Reference for open distributed processing.', Technical Report N885, ISO, 1993.
  18. 18)
      • Bause, F., Buchholz, P.: `Protocol analysis using a timed version of SDL. In', Proceedings of the 3rd Int. Conf. on Formal Description Techniques (FORTE ’90)., 1991, Springer, p. 239–254.
  19. 19)
      • F. Baskett , K.M. Chandy , R.R. Muntz , F. Palacios-Gomez . Open, closed and mixed networks of queues with different classes of customers. J. ACM. , 2 , 248 - 260
  20. 20)
      • E. Heck , Konlof . (1992) SDL-HIT integration. In Konlof, editor, , Method Integration: Concepts and Case Studies.
  21. 21)
      • R. MILNER . (1989) , Communication and Concurrency.
  22. 22)
      • Beilner, H., Stewing, F.J.: `Concepts and techniques of the performance modelling tool HIT. In', Proceedings of the European Simulation Multiconference, 1987, Europe, SCS, p. 38–43.
  23. 23)
      • Macintyre, N.M., Kershaw, S.R., Xenios, N.: `A toolset to support the performance evaluation of systems described in SDL. In', 10th Int. IFIP Symposium on Protocol Specification, Testing and Validation, July 1990, Viennap. 23–26, .
  24. 24)
      • J. MÄter , H. Beilner , C. Wysocki , G. Haring , G.: Kotsis . (1994) The hierarchical evaluation tool HIT. In, Computer Performance Evaluation -- Modelling Techniques and Tools. 7th Int. Conf. on Modelling Techniques and Tools for Computer Performance Evaluation.
  25. 25)
      • , .
  26. 26)
      • F. Belina , D. Hogrefe . The CCITT-specification and description language SDL. Comput Netw. ISDN Syst. , 4 , 311 - 341
  27. 27)
      • ITU . (1996) , ITU-TS Recommendation Z.120: Message Sequence Chart (MSC).