- 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
- 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
- If any party is interested in extending Mesa,
please contact Stefan