Maybe this website is out of date.
Please visit the current version.

Chair for Software Engineering
Prof. Dr. Stefan Leue

	Software Engineering	Department	University
	Research	Teaching	Student Information	Members	Tools	Open Positions	Presentations	Publications

• MESA
• VIP
• HSF-SPIN
• IBOC

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.

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

• Some research on Message Sequence Charts is summarized on this page.

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

Chair for Software Engineering · University of Konstanz
Universitätsstrasse 10 · Box D 67 · D-78457 Konstanz, Germany
Phone +49 (0)7531 88 4431 · Fax +49 (0)7531 88 3577