Comparing the Local or Global Synthesis of State-Based Specifications from Scenario-Based Specifications

In scenario-based requirement engineering, synthesis approach is to automatically construct the state-based specifications from the scenario-based specifications. There are two kinds of synthesis methods: global synthesis and local synthesis. From the scenario-based specifications, global synthesis is to construct a state-based specification for the whole system while local synthesis is to construct a state-based specification for each object in the system. The two different synthesis methods have different uses and need to be systematically compared. We propose a novel algorithm supporting local and global synthesis of state machines and an algorithm which is similar to operator priority analysis method which can fully automate synthesis process.