计算机科学 ›› 2015, Vol. 42 ›› Issue (7): 38-43.doi: 10.11896/j.issn.1002-137X.2015.07.009

• 2014’全国理论计算机科学年会 • 上一篇    下一篇

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

马 丽,毋国庆,黄 勃,程 铭,崔梦天   

  1. 平顶山学院软件学院 平顶山467000;武汉大学计算机学院 武汉430072,武汉大学计算机学院 武汉430072;武汉大学深圳研究院 深圳518057,武汉大学计算机学院 武汉430072;武汉大学深圳研究院 深圳518057,武汉大学计算机学院 武汉430072,西南民族大学计算机科学与技术学院 成都610041;电子科技大学计算机科学与工程学院 成都610000
  • 出版日期:2018-11-14 发布日期:2018-11-14
  • 基金资助:
    本文受国家自然科学基金(91118003,1),深圳战略性新兴产业发展专项资金(JCYJ20120616135936123),国家自然科学基金面上项目(61379019),国家留学基金(201206070041),四川省学术和技术带头人培养资金联合资助

Visualization Method of BDL Model to UML State Diagram

MA Li, WU Guo-qing, HUANG Bo, CHENG Ming and CUI Meng-tian   

  • Online:2018-11-14 Published:2018-11-14

摘要: 针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。

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

Abstract: 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.

Key words: Behavior description language,Requirements modeling,Mapping rules,Model transformation,State diagram

[1] 练红.软件开发项目需求分析研究[D].北京:北京邮电大学,2008 Lian Hong.Research of Requirement Analysis in Software Development project[D].BeiJing:Beijing University of Posts and Telecommunications,2008
[2] 赵也非.动态UML子图的形式语义研究[D].上海:华东师范大学,2010 Zhao Ye-fei.The Study on Formal Semantics of Dynamic UML Diagrams[D].ShangHai:East China Normal University,2010
[3] 金芝,刘璘,金英.软件需求工程:原理和方法[M].北京:科学出版社,2008 Jin Zhi,Liu Lin,Jin Ying.Software requirements engineering:principles and methods[M].Beijing:Science Press,2008
[4] 毋国庆,梁正平,袁梦霆,等.软件需求工程[M].北京:机械工业出版社,2013Wu Guo-qing,Liang Zheng-ping,Yuan Meng-tin,et al.Softwarerrequirements engineering[M].Beijing:China Machine Press,2013
[5] Qu Yan-wen.Software behaviou[M].Beijing:Publish house ofElcetronics Industry,2005
[6] Ross D T.Structured analysis a language for communicating ideas[J].IEEE Transactions on Software Engineering,1977(SE-3):16-34
[7] Schoman,Ross D T.Structured analysis for requirements definition[J].IEEE Transactions on Software Engineering,1977(SE-3):6-15
[8] Wan L,Wu G,Wu H.BDL-behavior description language[C]∥Proceeding of 2009 International Conference on Software Technology and Engineering,2009.World Scientific,2009:37-41
[9] 万黎,毋国庆,吴怀广.面向行为的需求建模研究及实现[J].计算机科学,2011,38(4):175-181 Wang li,Wu guo-qing,Wu Hai-guang.Research and Implement of behavior-oriented requirments modeling[J].Computer Science,2011,38(4):175-181
[10] 万小平,李蜀瑜.基于XML的UML模型向AADL模型的自动转换[J].计算机技术与发展,2014,24(3):71-73,78 Wan Xiao-ping,Li Shu-yu.Automatic Conversion of UML Model to AADL Model Based on XML[J].Computer Technology and Development,2014,24(3):71-73,78
[11] 吴怀广,毋国庆,陈曙,等.面向软件行为的需求模型及特性检测[J].计算机研究与发展,2011,8(5):869-876 Wu Huai-guang,Wu Guo-qing,Chen Shu,et al.A software behavior oriented requirements models and properties verification[J].Jouranl of Computer Research and Development,2011,8(5):869-876
[12] 解方,段富.从行为树转换到UML状态机来验证系统需求[J].计算机工程与设计,2013,34(10):3710-3716 Xie Fang,Duan Fu.Validation of system requirements from behavior tree to UML state machine[J].Computer Enginnering and Design,2013,34(10):3710-3716
[13] 李琳,毋国庆,黄勃,等.基于行为模型的需求可视化研究[J].计算机学报,2013,36(6):1312-1323 Li Lin,Wu guo-qing,Huang Bo,et al.Behavioral model based requirements visualization method[J].Chinese Jouranl of Computers,2013,36(6):1312-1323

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!