Analysis of Generating Statecharts Algorithms from Scenarios
从Scenarios到状态图的算法分析

采用Scenarios进行需求建模能够反映从用户角度观察到的系统的行为,状态图是系统行为的精确描述。从Scenario到状态图的自动转换是指软件开发过程中从UML需求模型自动生成行为模型的过程，其研究对于细化系统行为,保持开发过程中模型间的一致性有重要意义。对其研究现状及进展进行了介绍，并对现有算法进行了总结和分类，进一步指出这些算法的不足和今后需要改进的方向。