About


Smyle is an acronym for Synthesizing Models bY Learning from Examples. Its major objective is to ease the development of concurrent systems. More specifically, the overall goal is to derive communication models of concurrent systems.

The synthesis process starts by providing the tool with a set of sample Message Sequence Charts (MSCs) where each MSC is either positive or negative. Positive MSCs describe system behavior that is possible and negative MSCs characterize unwanted or forbidden behavior.

Provided with such positive and negative example scenarios, Smyle employs dedicated learning techniques to generate a system model that conforms with the given examples.