BDL模型到UML状态图的可视化方法研究  

Visualization Method of BDL Model to UML State Diagram

作　　者：马丽[1,2] 毋国庆[2,3] 黄勃[2,3] 程铭[2] 崔梦天[4,5] 

机构地区：[1]平顶山学院软件学院,平顶山467000 [2]武汉大学计算机学院,武汉430072 [3]武汉大学深圳研究院,深圳518057 [4]西南民族大学计算机科学与技术学院,成都610041 [5]电子科技大学计算机科学与工程学院,成都610000

出　　处：《计算机科学》2015年第7期38-43,共6页Computer Science

基　　金：国家自然科学基金(91118003;61003071);国家自然科学基金面上项目(61379019);深圳战略性新兴产业发展专项资金(JCYJ20120616135936123);国家留学基金(201206070041);四川省学术和技术带头人培养资金联合资助

摘　　要：针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。Aimed at finding a solution to the difficulty understand for the requirement model a complex software,this paper presented a visualization method by using UML state diagram discribing the requirement model.This method is based on system behavior sequences,which are indicated by behavior description language（BDL）.It builds up a system behavior model.Mapping rules which are defined construct the relation between behaviors of the BDL model and the migrations of UML state diagram,and the state of UML state diagram associates the state produced by behavior.Then,according to the transformation algorithm,the information for each node is extracted automatically to visualize BDL requirement model.At last,the instance was presented to verify the effectiveness of the method.

关 键 词：行为描述语言 需求建模 映射规则 模型转换 状态图 

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