Using dependency diagrams in dynamic modelling of object-oriented systems
Simona Nicoleta Vasilache, Jiro Tanaka · 2003
In defining the behaviour of a system, requirement specifications make use of a number of scenarios that are interrelated in many ways. Most of the current approaches, even though giving directions on how to translate them into state machines, treat each scenario separately. In this paper we propose a method of synthesizing state machines from multiple scenarios, with respect to the relationships among them.