Model: Simple dialog

This example describes a simple dialog between two parties (A and S). The parties communicate by passing messages. First, party A sends the message Question to S. Then, S replies to A with the message Answer. The desired behavior of this model is an infinite repetition of the message interchange between A and S.

In the following exercises we describe the steps for

• creating the text representation of the MSC specification of this model, and
• producing an executable state machine model using the command line interface of the KLOCwork MSC to SDL Synthesizer.