Previous Topic

Next Topic

Book Contents

Book Index

Run the KLOCwork MSC to SDL Synthesizer

In this exercise, we run the KLOCwork MSC to SDL Synthesizer to produce a text file containing the SDL model for our example.

  1. Make sure that MSC to SDL is in the PATH environment variable (the work directory contains the files ask.mpr and dialog.mpr) and perform the following command in your command shell.

    2. plainsdl ask.mpr dialog.mpr

    The KLOCwork MSC to SDL Synthesizer analyzes the model described in the files dialog.mpr and ask.mpr. The synthesizer analyzes the syntax and semantics of the MSC model. All MSCs referenced in the HMSC must be present in MSC PR files in the list of files in the command line. The synthesized SDL model is written to a text file called System.sdl (the default filename). File System.sdl contains a synthesized SDL model in the phrase representation (SDL-PR). For this example we used the plain SDL code generator.

Summary

We have produced the text specification of the SDL model.

In the next exercise we will inspect the synthesized model.

See Also

Model: Simple dialog

Create textual MSCs

Inspect the synthesized SDL model