[I2 logo] [RWTH logo] MOVES: Software Modeling and Verification
(Informatik 2)
Computer Science / RWTH / I2 / Research / AG / MCS / MSC / Tools / Msc
Printer-friendly

MSC Tools

This page gives an overview of different tools for working with MSCs (Message Sequence Charts). Please feel free to suggest further tools or submit change requests by email to Markus Schlütter or Volker Stolz.

MSC+Tool


    This is a JAVA-Program for JAVA1.2.2. This project is developed by Mesfin Belachew at the Tata Institute of Fundamental Research. It will be enhanced in the future.

    COMPUTATION: First a HMSC is created in graphical form. Then the MSC parts of the HMSC are generated in graphical form. The program works intuitively. A simulation of the MSC is possible. Now a verification is made and the user gets implied MSCs, which have to be proved.

    INPUT:  A MSC or HMSC system specification or an input file in *.gra form. (Standard unknown)

    OUTPUT: A MSC or HMSC in *.gra format or a *.strl file. (ESTEREL is also a standard language.)

    LINK: http://www.tcs.tifr.res.in/~mesfin/MSCProject/

    Further Link:  http://cs.oregonstate.edu/~gandhias/projects/MSC.htm

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

Esterel


    This is a commercial verification tool. It is often used to verify programs for distributed systems. Originally it was built to verify computer chips.

    COMPUTATION: Verification of MSCs, HMSCs and other models in the area of distributed systems. A MSC is built in a C program and then linked with a tool to verify it.

    INPUT: A MSC or HMSC in *.strl format, which is typically written in the ESTEREL language.

    OUTPUT: A C program with different test cases.

    LINK:  Esterel-Technologies

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

EventStudio


    This is a commercial tool for creating real-time based systems. It uses the FDL language for creating modules and communication between these modules.

    COMPUTATION: The user has to create a scenario in the FDL language and EventStudio creates different documents to show the different cases.

    INPUT: A scenario in FDL-Format.

    OUTPUT: A HTML-page or a PDF-document, which shows the different scenarios in a graphical MSC form.

    LINK: http://www.eventhelix.com

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

LTSA-MSC-Analyser


    The LTSA - MSC Analyser tool for JAVA is an extension of the Labeled Transition System Analyzer (LTSA) that supports synthesis of behaviour models from scenario-based specifications and detection of implied scenarios.

    COMPUTATION:  The tool reads a message sequence chart (MSC) specification and generates a Finite State Process (FSP) specification that is a minimal implementation model of the MSC specification.

    INPUT: A MSC *.msc file in standard format.

    OUTPUT: A labeled transition system.

    LINK: http://www.doc.ic.ac.uk/~su2/Synthesis/

    SYSTEM: This version requires JAVA JRE 1.3.0 or later. It runs also with JAVA 1.2.2.

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

LoLA


    COMPUTATION: LoLA (a Low Level Petri Net Analyzer) has been implemented for the validation of reduction techniques for place/transition net reachability graphs. LoLA features symmetric as well as stubborn set based methods. Net symmetries are automatically computed. Stubborn sets are customized to the particular analysis task. LoLA can analyze reachability of a given state or state predicate, boundedness of the net or a place, deadlocks, dead transitions, reversibility, and existence of home states. LoLA can verify formulas of a branching time logic. Additionally, there is a memory-efficient semi-decision procedure for the satisfiability of a given state predicate.
    LoLA is a non commercial tool developed by Karsten Schmidt at Humboldt-Universität zu Berlin.

    INPUT: A Petri Net, which can be interpreted as a MSC, written in the LoLA language.

    OUTPUT: A graph shown as output.

    LINK: http://www.informatik.hu-berlin.de/~kschmidt/lola.html

    SYSTEM: WINDOWS-NT using CYGNUS
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

EDT


    The Estelle Development Toolset has been developed by Institute national des télécommunications Evry, France.

    COMPUTATION:  This tool needs a scenario of a complete system in the ESTELLE format. ESTELLE is a formal description technique (language) for specifying distributed, concurrent information processing systems with a particular application in mind, namely communication protocols and services. EDT generates C++ files from these ESTELLE specifications and simulates the system. During the simulation a MSC trace generator allows the user look into the system online by selecting different parameters.

    INPUT: A complete scenario in Estelle format.

    OUTPUT: A simulation of the whole scenario with C++ files, some textual information and MSC files.

    LINK: http://www-lor.int-evry.fr/edt/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

KLOCwork MSC to SDL converter


    This is a commercial tool developed by KLOCwork. The company develops software for modeling and verification. It runs as stand alone version or it can be integrated into the Telelogic Tau software.

    COMPUTATION: This converter generates from a MSC or a set of HMSCs a standard SDL document. Which can be verified by different other tools.

    INPUT: ITU-T Standard message sequence charts (MSC)and high-level message sequence charts (HMSC) based on MSC-92 standard (Z.120).

    OUTPUT: ITU-T Standard Specification and Description Language (SDL)based on SDL-96 standard (Z.100)

    LINK: http://www.klocwork.com/solutions/whitepapers.asp

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

Telelogic Tau


    This is a commercial tool developed by Telelogic. This company is researching in the sector of software development and verification. The software is used for verification of programs and well known companies, who need "correct" programs, use this environment.

    COMPUTATION: Telelogic Tau designs, simulates and verifies distributed software.

    INPUT: UML diagrams, TTCN files, SDL files or (with KLOCwork MSC to SDL converter) MSCs and HMSCs.

    OUTPUT: A simulation of the software.

    LINK: http://www.telelogic.com/products/tau/index.cfm

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

SanDriLa - SDL-2000 and MSC-2000 Visio Add-on


    This is a commercial tool developed by Sandrila Ltd. The company develops Plugins for MS Visio.

    COMPUTATION: This is a Plugin for MS Visio to draw MSCs and HMSCs. So you just get the stencils to draw MSCs.

    INPUT: -

    OUTPUT: A MSC or HMSC for MS Visio.

    LINK: http://www.sandrila.co.uk

    SYSTEM: Needs MS VISIO
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

SITE


    The SITE-tools have been developed at the Humboldt University Berlin. They can be used to develop and analyze components for SDL with different extensions like ASN.1 or IDL. Every tool is a stand alone program. So it is easier to adjust a program, if standards change or a costumer needs other functionalities. This tool gives one of the open SDL-96 grammar and is used also in commercial tools. For compilation this tool needs Kimwutu.

    COMPUTATION: SITE consists of tools for syntax analysis (with optional ASN.1/IDL combination), semantics analysis and code generation for C++ and JAVA (with ASN.1 and BER support). So a code generator with SDL/PR output is used first and then the SITE compilation way is used.

    INPUT: Textual representation of a SDL specification.

    OUTPUT: C++ or JAVA code for simulation.

    LINK: http://www.informatik.hu-berlin.de/SITE/site.html.en

    SYSTEM: UNIX and LINUX

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

QUEST


    The QUEuing SDL Tool has been developed at the University of Essen at the Department of Mathematics and Computer Science, Systems Modeling. It is a performance analyzer with an integrated MSC trace generator including time for analysis.
    QUEST is a tool that integrates performance evaluation with the SDL-method. Performance characteristics of planned target platforms as well as the workload descriptions may be attached to an SDL system specification. Transient and stationary performance measures like throughput, response time and utilization are evaluated by discrete event simulation. Moreover the functional behavior of a system under additional restrictions imposed by time and resources can be investigated. The name QUEST summarizes the language QSDL, the methodology of its usage, and the tool itself.

    COMPUTATION: QUEST supports a large set of the SDL language standard including features of SDL92. It provides components for parsing SDL and QSDL- Code, the generation and execution of assessable models, the evaluation and visualization of stochastic simulations and state space exploration. Since all extensions are given as annotational pragmas QSDL is compatible with other SDL-tools.

    INPUT: Textual representation of a SDL specification.

    OUTPUT: A performance analysis and a MSC trace including time information.

    LINK: http://www.cs.uni-essen.de/SysMod/QUEST/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

JADE


    JADE has been developed at the Department of Computer Science of the Federal University of Minas Gerais. It is a graphical SDL generator which is still under construction.

    COMPUTATION: JADE is an integrated environment targeted towards specification, analysis, design, verification and validation of SDL descriptions. JADE is a platform written in Java. The tool can be considered a framework where other tools being developed in the Computer Engineering Laboratory will soon be hooked up to the language environment, thus enabling full integration even with commercial tools.

    INPUT: A JAVA object serialization file.

    OUTPUT: A file in JAVA object serialization format and CIF files.

    LINK: http://www.dcc.ufmg.br/~coelho/jade.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

SDL 2000 Parser


    This tool has been developed at the University of Lübeck at the Institute for Telematik by Michael Schmitt. It requires ANTLR.

    COMPUTATION: ANTLR parser.

    INPUT: A textual representation of a SDL-2000 specification (without macros)

    OUTPUT: -

    LINK: http://www.teststep.org/

    Further Link: http://www.itm.mu-luebeck.de/research/main_projects/projects/single_projects/index.php?lang=de&pj_nr=7&opj_nr=2

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

MSC 2000 Parser


    This tool has been developed at the University of Lübeck at the Institute for Telematik. It requires ANTLR.

    COMPUTATION: ANTLR Parser.

    INPUT: A textual representation of a MSC-2000 specification.

    OUTPUT: A graphical overview in tree form is shown; parser can be integrated into own projects

    LINK: http://www.itm.mu-luebeck.de/research/main_projects/projects/single_projects/index.php?lang=de&pj_nr=8&opj_nr=2

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

Cinderella SDL


    (New Version) This commercial tool has been developed by Cinderella ApS in Denmark. The software development tool supports standardized notations like SDL, ASN.1, MSC, and UML for system design, specification and implementation.

    COMPUTATION: Cinderella is for designing, implementing, analyzing and simulating software.

    INPUT: -

    OUTPUT: -

    LINK: http://www.cinderella.dk/index.htm

    SYSTEM: and ?
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

ProGen


    ProgGen is a commercial tool developed by SINTEF Telecom and Informatics, Trondheim Norway for automatic code generation. ProgGen is mainly used as an SDL transformation tool. Both "SDL92" and "SDL88" are supported. ProgGen users may also define their own parsers and use ProgGen as a transformation tool for other languages.

    COMPUTATION: It generates from a SDL specification a code in different programming languages.

    INPUT: A file in SDL/PR format.

    OUTPUT: Code for programming languages like C, C++, CHILL, Occam and Java.

    LINK: http://www.informatics.sintef.no/projects/proggen/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

TIMe


    TIMe (The Integrated Method) has been developed at SINTEF Telecom and Informatics, Trondheim Norway and is for free.
    TIMe is designed for systems that are reactive, concurrent, real-time, distributed, heterogeneous and complex.

    COMPUTATION: TIMe is a guide for developing software.

    INPUT: Idea!

    OUTPUT: Design.

    LINK: http://www.informatics.sintef.no/projects/time/

    SYSTEM: -
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

Melba96


    Melba96 has been developed at the Centre for Advanced Technology in Telecommunications (CATT) at the Royal Melbourne Institute of Technology (RMIT).

    COMPUTATION: It is a graphical SDL designing tool.

    INPUT: -

    OUTPUT: SDL specification in SDL GR and SDL PR format.

    LINK: http://www.catt.rmit.edu.au/catt/melba96.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

SDL-RT (language)

    SDL-RT is a proprietary definition based on SDL graphical symbols relying on C for behaviour.

    SDL-RT is a:

    • simpler set of features compared with SDL
    • depends on C language support
    • supports extended real time concepts

    COMPUTATION: -

    INPUT: -

    OUTPUT: -

    LINK: http://www.sdl-rt.org/

    SYSTEM: -
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

SiCat


    SiCat has been developed by Siemens AG. But there was no information available. SICAT is free for universities.

    COMPUTATION: ?

    INPUT: ?

    OUTPUT: ?

    LINK: http://www.siemens.co.in/scs/page23.html OR: Google sicat sdl msc OR: sicat.support@siemens.at

    SYSTEM: ?
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

DisCo


    DisCo (Distributed Co-operation) is a formal specification method for reactive systems developed at Tampere University of Technology, Finland. It incorporates a specification language, a methodology for developing specifications using the language, and tool support for the methodology.
    DisCo is designed for software engineers rather than theoreticians, and thus the DisCo language resembles more a programming language than mathematical formulas. However, every DisCo specification has a precise interpretation in logic, which enables rigorous reasoning.
    DisCo focuses on collective behavior, i.e., how objects co-operate. Specifications are developed incrementally. The user starts with very simple behavior, and gradually adds details until the specification is at the desired level.
    Developing a DisCo specification can be compared to carving a shape out of a block of wood. The original block of wood represents all the possible behaviors, and removing a piece of wood corresponds to a design step that disallows some of the behaviors. In early stages of the process we get a rough sketch, on which we gradually introduce more details.
    At an abstract level, we may describe the behavior of the system using concepts that do not explicitly exist in the implementation level. We describe these abstractions using the DisCo language, which means that we can validate and reason about the precise behavior early in the development cycle.

    COMPUTATION: There exists a toolset for DisCo.

    INPUT: Specification in DisCo format.

    OUTPUT: MSCs as a little overview.

    LINK: http://disco.cs.tut.fi/index.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

MOCHA


    MOCHA is a joint project between the University of California at Berkeley, the University of Pennsylvania, and the State University of New York at Stony Brook; and is funded in part by the Defense Advanced Research Projects Agency, the National Science Foundation, the Microelectronics Advanced Research Corporation and the Semiconductor Research Corporation.
    MOCHA is a growing interactive software environment for system specification and verification. The main objective of MOCHA is to exploit, rather than destroy, design structure in automatic verification. MOCHA is intended as a vehicle for development of new verification algorithms and approaches.
    MOCHA is available in two versions, cMocha (Version 1.0.1) and jMocha (Version 2.0).

    COMPUTATION: MOCHA designs, analyzes and implements software specifications.

    INPUT: -

    OUTPUT: jMOCHA shows traces as MSCs.

    LINK: http://www.cis.upenn.edu/~mocha/what.shtml

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

UBET


    UBET, formerly named MSC/POGA, was devolved by Bell Labs and is a free available tool. It consists of two components a MSC editor for creating one MSC and a graph editor for specifying HMSCs.

    COMPUTATION: The two editors give an MSC, which can be verified.
    MSC Verification
    The MSC editor has a checking option that exposes potential race conditions and timing violations in an MSC. The user may choose among several queue semantics for these checks. Performing checks can expose interaction problems and design flaws early in the design process, while they are still relatively inexpensive to fix.

    Test Generation
    UBET provides automatic test case generation over HMSCs using coverage and selection algorithms. Sets of test are optimal in the smallest number of tests with the shortest possible length per test will be generated from a single or multilevel graph. Test cases produced will be in the ITU Z.120 standard form for MSCs. Test cases will automatically be named and saved for future reference or export to a testing or modeling tool.

    Process Model Generation
    UBET provides conversion of ITU Z-120 BMSCs and HMSCs into separate process models in a manner that is consistent with their semantics. The output language is Promela; the language of the Spin verification tool.

    INPUT: System specification.

    OUTPUT: UBET models integrate with rather than replace English prose. Enumerated requirements in Microsoft Word documents can be referenced from MSC and graph elements. Users can navigate to the requirement via hypertext linking. UBET supports several graphical outputs formats for MSCs and Use Cases including paginated postscript, GIF, ASCII, and WMF (Windows MetaFile) and MIF (FrameMaker Interchange Format).

    LINK: http://cm.bell-labs.com/cm/cs/what/ubet/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

VeriSoft


    VeriSoft was devolved by Bell Labs and is a commercial tool. VeriSoft is a tool for software developers and testers of concurrent/reactive/real-time systems.

    COMPUTATION: VeriSoft automatically searches for coordination problems (deadlocks, etc.) and assertion violations in a software system by generating, controlling, and observing the possible executions and interactions of all its components. It integrates automatic test generation, execution and evaluation in a single framework. VeriSoft includes an interactive graphical simulator that can drive existing debuggers for examining precisely the concurrent execution of multiple processes.
    VeriSoft can quickly reveal behaviors that are virtually impossible to detect using conventional testing techniques, and hence reduces the cost of testing and debugging, while increasing reliability.
    Scope. VeriSoft can test software applications developed in any language (C, C++, Tcl, etc.). VeriSoft is optimized for analyzing multi-process applications. It can analyze systems composed of processes described by hundreds of thousands of lines of code. Source code for all the components is not required.
    The key technology used in VeriSoft is a new form of systematic state-space exploration (also called "model checking" in the research literature).

    INPUT: A system design.

    OUTPUT: Traces in MSC style.

    LINK: http://www1.bell-labs.com/project/verisoft/

    SYSTEM: Needs also Tcl/Tk, Expect and gdb.
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     

Charis Actor Portfolio TM (CAP)


    This tool is an upgrade of pico Virtual Machine (pVM) for developing software. It both has been developed by Charis.

    COMPUTATION: CAP is a collection of tools and associated class libraries specifically designed for Java programmers to develop concurrent and Object- Oriented software of all degrees of complexity, excelling in very complex systems. CAP is based on the Actor (Actor = "Objects++") model of computation. Our version of this model supports multi-threading as well as behavioral modeling using statecharts (these are hierarchical & parallel state machines embraced by the Unified Modeling Language - UML - for behavioral modeling).

    INPUT: Software design.

    OUTPUT: Capture of inter-actor message-passing, and display using Message Sequence Charts (MSC).

    LINK: http://www.charis.com/cap/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

MESA


    MESA (MSC Editor, Simulator and Analyzer) was originally developed at the University of Waterloo, Canada and is now maintained by the tele research group of the University of Freiburg. In case you would like to receive a copy for research, please send an email: Prof. Stefan Leue
    This tool is under design and works only with Solaris. For a preliminary description of the tool see the technical report "MESA: Support for Scenario-Based Design of Concurrent Systems".

    COMPUTATION: MESA will implement syntactic checks for non-local choice, process-divergence, timing consistency, various semantics analysis functions, and code synthesis (ROOM/UML-RT, SDL, Promela).

    INPUT: Mesa contains a graphical MSC editor. Z.120 can also be parsed.

    OUTPUT: static analysis results, Z.120 MSCs, Promela or ROOM code

    LINK: http://tele.informatik.uni-freiburg.de/Mesa/index.html

    Further Link: http://tele.informatik.uni-freiburg.de/~leue/msc.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

LaTeX macro package for MSCs


    The LaTeX macro package for drawing Message Sequence Charts was developed at theTechnical University of Eindhoven by Victor Bos and Sjouke Mauw.
    This package should be useful to all people that prepare their texts with LaTeX and want draw MSCs in their texts easily. This is not an MSC editor. It simply takes a textual description of an MSC and draws the corresponding MSC.
    The current version of the MSC macro package supports the full MSC2000 language.

    COMPUTATION: Creates graphical MSCs in LaTeX.

    INPUT: Textual representation of an MSC in LaTeX style.

    OUTPUT: A graphical representation of an MSC in a *.dvi, *.ps, ... file.

    LINK: http://www.win.tue.nl/~sjouke/mscpackage.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Use Case Maps Navigator 2


    The Use Case Maps Navigator was developed by the Use Case Maps User Group (UCM-UG).
    With this tool you can create and edit Use Case Maps that are always syntactically correct. Furthermore path transformation and connections inside are represented on a hypergraph-based model. And also nested levels of stubs and plugins can be used without binding of plugins to the stubs.
    Binding of path elements to components:
      Component attributes (type, formal, anchored, fixed, replicated, color, etc.)
      Components can be nested inside other components (warnings for invalid nestings)
      Moving a component moves all its sub-components, elements, and path segments
      Resizing a component can automatically reshape the paths bound to it

     
    The Navigator supports annotations for agent systems and performance modelling Generation of LQN performance models (Layered Queuing Networks).

    COMPUTATION: Takes Use Case Maps and creates different views to analyze them.

    INPUT: A Use Case Map in different formats.

    OUTPUT: A graphical representation of an MSC, XML, *.ps, *.pdf files, etc.

    LINK: http://www.usecasemaps.org/tools/ucmnav

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Mu2L (MSC Textual to Graphical Representation Tool)


    This tool has been developed at the Chair of Computer Science 2 (here) by Markus Schlütter.
    This tool uses the MSC2000-Parser developed at the ITU-Lübeck for reading a textual representation of a MSC and returns a LaTeX-file which can be converted with the MSC macro package for MSCs.
    It provides the following events:
    • normal messages
    • lost and found messages
    • messages from and to the environment
    • messages from and to references
    • conditions
    • alternatives
    • loops
    • actions
    • references

    It does'nt provide timers and coregions.
    HMSCs are converted into dotty graphs.
    The new functionality is integrated in the tool MSC Execute .
     

    COMPUTATION: Takes a textual representation and generates a LaTeX-file.

    INPUT: A MSC in ITU standard notation.

    OUTPUT: A graphical representation of an MSC, *.tex, *.ps, *.pdf files, etc.

    LINK: http://www-i2.informatik.rwth-aachen.de/Research/AG/MCS/MSC/Mu2L/index.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

ObjectGeode


    This is a commercial tool developed by Telelogic. This company is researching in the sector of software development and verification.

    COMPUTATION: ObejectGeode is a toolset which designs, simulates and verifies real-time and distributed applications.

    INPUT: UML diagrams, SDL files or MSCs.

    OUTPUT: C code and test cases.

    LINK: http://www.telelogic.com/products/additional/objectgeode/index.cfm

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Météore


    This tool has been developed by ANDREA informatique. It gives a GUI for designing and editing MSCs and provides the textual and graphical representation of MSCs.

    COMPUTATION: Designing and editing MSCs.

    INPUT: A MSC

    OUTPUT: A graphical and textual representation of an MSC.

    LINK: http://www.andrea-inf.fr/testing/acc.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Phenix


    This tool has been developed by ANDREA informatique. It gives a GUI for creating test cases using MSCs and provides the textual and graphical representation of MSCs.

    COMPUTATION: Takes a textual representation of a MSC and creates a SUT (system under test).

    INPUT: A MSC in textual form.

    OUTPUT: Different test cases in graphical and textual form.

    LINK: http://www.andrea-inf.fr/testing/acc.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Real Time Developer Studio


    This tool has been developed by PragmaDev. It is a commercial tool supporting the extended real time concepts of SDL-RT.

    COMPUTATION: The tool takes a SDL-RT specification for generating C code and MSC traces to verify this specification.

    INPUT: A SDL-RT specification.

    OUTPUT: Certain ways to debug and verify the system.

    LINK: http://www.pragmadev.com

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

JSDL


    This tool has been developed by Jens Altmann.

    COMPUTATION: -

    INPUT: SDL

    OUTPUT: -

    LINK: http://home.t-online.de/home/Jens.Altmann/jsdl/jsdl.htm

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

ezSDL


    This is a commercial tool developed by ezLab. UCS markets the tool. It is inteded for Visual Software Development of communication protocols, real-time, event-driven and embedded systems.

    COMPUTATION: ezSDL is a toolset with SDL and MSC Graphical Editors, Simulator/Debugger, C Code generator, Document generator, MSC tracer.

    INPUT: SDL and MSC specification, external code may be added.

    OUTPUT: C code

    LINK: http://www.ucstec.com

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

MSC Execute


    This tool has been developed at the Chair of Computer Science 2 (here) by Markus Schlütter.
    This tool uses the MSC2000-Parser developed at the ITU-Lübeck for reading a textual representation of a MSC and converts the processes and events into objects. Then from this representation a framework of JAVA code is generated for executing the MSC in the distributed manner given by the standard ITU-T Z.120. External code can be added easily to give actions and other data a more specific meaning.
    The functionality of Mu2L is also integrated.
    It provides the following events:
    • normal messages
    • lost and found messages
    • messages from and to the environment
    • messages from and to references
    • conditions
    • alternatives
    • loops
    • actions
    • references

    It doesn't provide timers and coregions.

    COMPUTATION: MSC Execute is a tool for generating executable JAVA code from MSCs. It is useful for implementing MSCs.

    INPUT: MSC specification in textual form; External code may be integrated.

    OUTPUT: JAVA code

    LINK: http://www-i2.informatik.rwth-aachen.de/Research/AG/MCS/MSC/MSCExecute/index.html

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

SDLT


    This tool is been developed by LABCOM.
    The SDLT is a free SDL compiler for SDL-PR language that generates SDL-GR in PostScript format.

    COMPUTATION: The SDLT is a free SDL compiler for SDL-PR language that generates SDL-GR in PostScript format.

    INPUT: SDL specification in textual form.

    OUTPUT: PS-File.

    LINK: http://www.labcomsistemas.com.br/

    SYSTEM:
    UNIX
    LINUX
    WINDOWS
    C/C++
    JAVA 1.2.2
    JAVA 1.3
    JAVA 1.4

     TOP
     Back to INDEX
     
     
     

Valid HTML 4.01 Strict! Valid CSS!