University of Freiburg | Faculty of Applied Sciences | Institute for Computer Science | Computer Networks and Telematics
The tele Research Group
Home         Teaching         Research        Tools         Openings        Publications

[Nach oben]


Message Sequence Chart 

  • Mesa is a graphical CASE tool that supports system design using the Message Sequence Chart (MSC) notation as it has been standardized in ITU-T recommendation Z.120. The main functionalities of Mesa encompass the following: 
    • An environment for the graphical composition of system models through MSC's.
      • Editing of basic and hierarchical MSC models.
      • Storing in textual form, compliant with Z.120 textual syntax.
    • Syntactic and static model-based analysis of MSC models. 
      • Non-local choice analysis.
      • Process divergence analysis.
      • Timing consistency analysis for bMSCs.
    • The resolution of resource-related under-specifications in an MSC model.
      • History variables at choice points.
      • Communication channels for messages.
    • Synthesis of ROOM and Promela models. 
  • Mesa was originally developed at the University of Waterloo and is now maintained by the tele research group of the University of Freiburg.
  • At the time of writing, Mesa is still a proof-of-concept prototype and not fit as a production quality CASE tool.
  • The intellectual property for Mesa vests with Prof. Stefan Leue, CITO (formerly ITRC) and Rational Software Canada (formerly ObjecTime Limited). Additional support was provided by NSERC. The support from the sponsors is gratefully acknowledged.
  • Currently, there is no general public release of Mesa, but binaries of beta version 0.9.1 can be made available for non-commercial research purposes. To request a free license, send email to Stefan Leue. Note that only binaries for Solaris are currently available for public release. There exist binaries for Windows and Linux, but these do not yet work properly (any student around there interested in fixing these versions so that they work properly?)
  • A preliminary documentation of Mesa can be found here.
  • Some research on Message Sequence Charts is summarized on this page.
  • If any party is interested in extending Mesa, please contact Stefan Leue.