Introduction

This volume, KLOCwork MSC to SDL Synthesizer CookBook of MSC specifications, contains a selection of examples that we hope will assist you to better understand the key concepts of the KLOCwork MSC for SDL Synthesizer tool. 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 MSC to SDL Synthesizer can bring value to your organization.
• Using MSC to SDL Synthesizer stand-alone
• Using MSC to SDL Synthesizer with Telelogic Tau

Please refer to the Reference Manual of the KLOCwork MSC to SDL Synthesizer for systematic coverage of the installation, operations, and language-related issues of the tool. Please refer to the Tutorial on the KLOCwork MSC to SDL Synthesizer for best practices of using the MSC to SDL Synthesizer tool.