Generating FSMs from Interworkings

Research output: Contribution to journalArticleAcademicpeer-review

2 Citations (Scopus)


A technique for the automated synthesis of FSMs (finite state machines) from sets of interworkings (synchronous sequence charts) is described. This is useful for obtaining feedback from a set of scenarios during a system's definition phase or test phase. It is sound in the sense that the generated FSM only exhibits traces that correspond to one of the interworkings from the given set. It preserves deadlock freedom in the sense that no behaviours are lost. The concrete syntax of SDL is used to represent the resulting FSMs.
Original languageEnglish
Pages (from-to)31-40
Number of pages10
JournalDistributed Computing
Issue number1
Publication statusPublished - 1999


Dive into the research topics of 'Generating FSMs from Interworkings'. Together they form a unique fingerprint.

Cite this