Synthesis of Concurrent Haskell Programs from Message Sequence Charts

In this article we show how to generate executable Concurrent Haskell programs from message sequence charts (MSCs). MSCs capture the communication between processes in a concurrent system and allow for a concise graphical and textual specification. Their modularity and extensibility can be reflected by Haskell's module concept. By compiling the generated code, several of the static properties of MSCs are verified by the Haskell compiler