About this tutorial

This tutorial on the KLOCwork MSC to SDL Synthesizer contains a selection of best practices and examples intended to help you understand the key concepts related to the KLOCwork MSC for SDL Synthesizer. The KLOCwork MSC to SDL Synthesizer analyzes scenario models specified as a set of Message Sequence Charts (MSC) and High-level Message Sequence Charts (HMSC) and automatically synthesizes executable state machine specifications in Specification and Description Language (SDL).

This document contains the following parts:

• Introduction. The rest of this section describes several ways in which the KLOCwork MSC to SDL Synthesizer can bring value to your organization.
• Using the MSC to SDL Synthesizer in stand-alone mode
• Using the MSC to SDL Synthesizer with Telelogic Tau

Please refer to the KLOCwork MSC to SDL Synthesizer Reference Manual for systematic coverage of the installation, operations, and language-related issues of the tool. Please refer to the Cookbook of MSC Specifications for comprehensive examples of formal modeling with scenarios.

The KLOCwork MSC to SDL Synthesizer is a versatile tool. The following paragraphs illustrate how it can add value in the software development process.