Synthesizing statecharts from multiple interrelated scenarios
Simona Nicoleta Vasilache, Jiro Tanaka · 2002
In dening the behaviour of a system, requirement speci- cations make use of a number of scenarios that are interrelated in many ways. Current approaches, even though giving directions on how to translate them into statecharts, treat each scenario separately. In this paper we propose a method of synthesizing statecharts from multiple scenarios, with respect to the relationships among them. We describe a set of rules for the synthesis of statecharts from multiple scenarios, as a means to properly describe the requirements specications of a system.