Computer Science ›› 2015, Vol. 42 ›› Issue (7): 38-43.doi: 10.11896/j.issn.1002-137X.2015.07.009

Previous Articles     Next Articles

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

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!