A State Machine Analysis Support System Based on the Problem Frames

The paper describes a total support system for the state diagrams in the problem frames. The system provides graphical editors for problem diagrams, domain state diagrams and requirement state diagram, all of which are related together. By analyzing these diagrams, the system automatically generates the machine specification described in the state transition description. In the system, event names defined in the problem diagram are used in the related domain state diagrams and domain state names defined in the domain state diagrams are used in the requirement state diagram to describe the required domain behavior. This significantly reduces the effort to draw new diagrams. Also, by checking the consistency among these diagrams, the system reports the requirement errors, including the leakage of requirements.