面向软件行为的多视点需求建模方法-武汉大学学报理学版.pdfVIP

第 卷 第 期 武汉大学学报（理学版） Ｖｏｌ．６０Ｎｏ．３ ６０ ３ 　 年 月 （ ） ， ２０１４ ６ Ｊ．ＷｕｈａｎＵｎｉｖ．Ｎａｔ．Ｓｃｉ．Ｅｄ． Ｊｕｎｅ２０１４２１１～２１８ 　  文章编号： （ ） １６７１８８３６２０１４０３０２１１０８ 面向软件行为的多视点需求建模方法 ， ， １２ １ １２ １ １ 程 铭 ，黄 勃 ，毋国庆 ，姚 昱 ，袁梦霆 　 　 　 （ 武汉大学 计算机学院，湖北 武汉 ； １． ４３００７２ ２．武汉大学 深圳研究院，广东 深圳 ５１８０５７） 摘 要：面向软件行为的多视点需求建模从视点需求出发，提出了基于软件行为描述语言（ ＢｅｈａｖｉｏｒＤｅｓｃｒｉ 　　 　 ｐ ， ）的多视点需求模型、需求验证及生成形式化需求文档方法 首先划分目标系统构建多视点，然 ｔｉｏｎＬａｎｕａｅＢＤＬ ． ｇ ｇ 后利用 建立视点行为模型，所有视点行为模型组合构成系统行为模型 在多视点行为模型框架下，利用 ＢＤＬ ． ＢＤＬ 所构建行为模型进行语法、语义以及系统特性的检测，保证系统行为模型的正确性 最后，介绍了基于上述方法的 ． 多视点需求建模工具 ＲＭＴＳ． 关 键 词：需求建模；软件行为；多视点；模型检测 　 　 中图分类号： ； 文献标识码： ＴＨ１３３ ＴＰ１８３ Ａ 　　　 犛狅犳狋狑犪狉犲犅犲犺犪狏犻狅狉犪狀犱犕狌犾狋犻犞犻犲狑狅犻狀狋狊犗狉犻犲狀狋犲犱 狆 犚犲狌犻狉犲犿犲狀狋犕狅犱犲犾犻狀 犕犲狋犺狅犱狅犾狅 狇 犵 犵狔 ， ， １２ １ １２ １ １ 犆犎犈犖犌犕犻狀 ， ， ， ，