A research on equivalence between event trace diagram and goals

Scenario, as an important requirement description in software requirements engineering has been used widely in various requirement modeling method. But scenario based requirement description has great difficulties in maintaining correctness and complement. In recent years, the method of oriented goal requirement has become a hotspot of requirement researchers, who solved the judge problem of the consistency and complement successfully by establishing formal semantic of goals. In this paper we establish formal semantics by describing scenario event trace diagram and presenting equivalence definition from scenario to operational goal set, and present the judgment theory to simplify judgment complexity in practice and the method to transfer scenario description into operational goal set. We make a conclusion that we combine the goal correctness and complement judgment to solve scenario judgment by deducing scenario to operational goal set.