Jackson´s JSP-Like Method for State Transition Design

This paper presents an idea to apply Jackson¿s JSP method, which is suitable for the transformation problem frame, into the state transition design, presented in the behavior problem frame in Jackson¿s problem frames. First, properties of the problem domain are described in state transition rules of events and states. Next, the requirement is described by the relations of domain states which are occurred in the same period of time. Then domain state transition rules are combined into a requirement state transition, and finally, domain events are allocated into the requirement state transition as actions to obtain the machine specification.