The authors describe the use of action-state diagrams in the software development of small embedded reactive systems. The proposed method allows specification, design, and coding phases to be combined with a formal notation. Direct mapping from design to code is also presented. It is also shown that this method covers all the functionality of the classical state transition diagram. The suitability of this method for user interface problems is also discussed.
展开▼
