Generating FSMs from interworkings |
| |
Authors: | L.M.G. Feijs |
| |
Affiliation: | (1) Philips Research Laboratories Eindhoven, University of Technology Eindhoven, Postbus 513 (HG7.33), NL-5600 MB Eindhoven, The Netherlands (e-mail: feijs@win.tue.nl) , NL |
| |
Abstract: | Summary. 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. Received: December 1996 / Accepted: September 1998 |
| |
Keywords: | :Sequence chart – Finite state machine – Process algebra – Synthesis |
本文献已被 SpringerLink 等数据库收录! |