期刊名称：International Journal of Computer Science and Network Security
印刷版ISSN：1738-7906
出版年度：2006
卷号：6
期号：2B
页码：57-57~62
出版社：International Journal of Computer Science and Network Security
摘要：Scenarios present system behaviors by specifying collaboration and interaction between objects or components from users’ perspectives. Statecharts are precise descriptions of system behaviors. Automatic transformation from scenarios to statechart is the process in which system behavior models are generated automatically from UML requirement models. In this paper we propose an approach to eliciting implied scenarios based on generated statechart from scenarios. This approach presents some rules of constructing state vectors that assist analysts to add semantic information to scenarios expressed by sequence diagrams，identify implied state transition paths by adding the scenarios information based on existing algorithm which supports the design process by generating statechart design automatically from scenarios, and synthesize implied scenarios by implied state transition paths with which analysts or users can further refine their requirements.
