计算机科学 ›› 2015, Vol. 42 ›› Issue (7): 38-43.doi: 10.11896/j.issn.1002-137X.2015.07.009
马 丽,毋国庆,黄 勃,程 铭,崔梦天
MA Li, WU Guo-qing, HUANG Bo, CHENG Ming and CUI Meng-tian
摘要: 针对复杂软件系统需求模型难以理解的问题,提出了一种UML状态图描述需求模型的可视化方法。该方法基于行为描述语言(Behavior Description Language,BDL)构建的需求模型,通过定义映射规则,将BDL模型中的行为、行为间关系与UML状态图中的迁移相关联,并将行为执行后产生的状态与UML状态图中状态相关联。然后根据转换算法自动提取各结点信息,输出完整的状态图,从而实现BDL需求模型的可视化。最后通过实例,验证了该方法的有效性。
[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! |
|