A Constructive Approach to Support the Design of State Machines
Abstract
The components of telecommunication systems can be described by state machines that communicate by sending messages asynchronously. It is difficult to keep a component consistent with the other components it is connected to. Interface protcol descriptions can be used to specify the correct sequence of messages. This thesis provides a method to create the behavioural state machine of a component by using the protocol descriptions of its interfaces. The method takes a stepwise approach on the problem by limiting the design options for each transition. A prototype has been implemented and integrated into the Ramses tool suite. Tests so far show promising results increased development speed, better overview for the developer and consistency.