Message Sequence Chart Editor Simulator Analyzer

  • 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.

  • 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 an 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.

  • If any party is interested in extending MESA, please contact Stefan Leue.