Premium
Automatic synthesis of state machines from trace diagrams
Author(s) -
Koskimies Kai,
Mäkinen Erkki
Publication year - 1994
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.4380240704
Subject(s) - trace (psycholinguistics) , computer science , component (thermodynamics) , basis (linear algebra) , programming language , state (computer science) , state diagram , abstract state machines , class (philosophy) , object (grammar) , finite state machine , software , object oriented programming , theoretical computer science , artificial intelligence , mathematics , philosophy , linguistics , physics , geometry , thermodynamics
The automatic synthesis of state machines describing the behaviour of a class of objects in object‐oriented software modelling is studied. It is shown that the synthesis can be carried out on the basis of trace diagrams giving possible sequences of events during the execution of the system. An algorithm originally developed for the automatic construction of programs on the basis of their execution traces is applied to the problem, and an experimental state machine synthesizer is implemented. It is demonstrated that such a synthesizer is a highly useful component in a practical object‐oriented CASE system.