合成状态图中非预期状态转换路径的确认  

Identifying unexpected state transition paths in synthesized statecharts

作　　者：王洪媛[1] 张可[1] 张家晨[1] 

机构地区：[1]吉林大学计算机科学与技术学院,吉林长春130012

出　　处：《计算机工程与设计》2007年第6期1251-1254,共4页Computer Engineering and Design

基　　金：国家自然科学基金项目(69903005);吉林大学985基金项目;吉林大学创新基金项目

摘　　要：利用Scenario进行需求建模能够反映从用户角度观察到的系统行为,而利用状态图能够从对象角度对系统行为进行精确描述。从Scenario到状态图的自动转换指软件开发过程中,从UML需求模型自动生成行为模型的过程。在分析已有的自动转换算法存在的不足的基础上,提出了从语法角度出发,对用例进行分析,提取合适的状态向量;利用在算法中增加Scenario的相关信息,确定非预期状态转换路径。Scenarios present system behaviors from users＇ perspectives by specifying collaboration and interaction between objects or components. Statecharts are precise descriptions of system behaviors. Automatic transition from scenarios to statechart is the process which system behavior models are generated automatically from UML requirement models. Based on analyzing the deficiency of the existing transition algorithm, an approach of capturing appropriate state vectors is proposed by analyzing use case syntax, and unexpected transition paths are identified by adding the scenarios information to the algorithm.

关 键 词：Scenafio 状态图 顺序图 转换 状态向量 非预期状态转换路径 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]