Synthesizing state machines from two scenarios and a case study on business process management
Toshiki Kinoshita, Toshiyuki Miyamoto · 2017
Describing business processes by directed graphs is a common way for system designers, because it makes easier to realize how the process goes on. However the concept of serviceoriented architecture increased difficulty of the business process management system development, because the specification of the whole system and each software unit are different in general. Therefore, describing behavioral model for each software units is required. A flow of interaction of software unit is called a scenario. In our previous study, we showed the algorithm to synthesize model of each software unit when specification of whole system is given by one scenario. In this paper, we show conditions to synthesize models when the whole system has two scenarios. We also apply the conditions to a simple business process.