基于行为模型的需求可视化研究.pdfVIP

第卷第期 计 算 机 学 报 ３６ ６ 　 　　　　　　　　 Ｖｏｌ．３６Ｎｏ．６ 年月 ２０１３６ ＣＨＩＮＥＳＥＪＯＵＲＮＡＬＯＦＣＯＭＰＵＴＥＲＳ Ｊｕｎｅ２０１３ 　 基于行为模型的需求可视化研究 ），），） ） ） ） ） １２３ １ １ ４ １ 李琳 毋国庆 黄勃 万黎 吴昊 　 　 　 　 ） １（武汉大学计算机学院武汉 ） ４３００７２ 　 　 ） ２（武汉科技大学计算机科学与技术学院武汉 ） ４３００６５ 　 　 ） ３（智能信息处理与实时工业系统湖北省重点实验室武汉 ） ４３００６５ 　 　 ） ４（中国民生银行科技开发部北京 ） １０００８６ 　 　 摘要针对复杂软件系统的需求信息难以表达和沟通的问题，提出了一种用动画方式描述需求行为模型的可视 　　 化方法该方法基于行为描述语言（ ，）所建立的需求行为模型，动画的执行机制 ． ＢｅｈａｖｉｏｒＤｅｓｃｒｉｔｉｏｎＬａｎｕａｅＢＤＬ ｐ ｇｇ ， 是采用状态机和状态块分别作为其执行模型和描述模型每一个状态迁移都对应一个需要进行可视化描述的行 ， ， ， 为一个关联元素将状态块模型中的一个迁移与一个动作原语进行关联控制图形的运动实现需求行为模型的可 ， ， 视化该方法的优点在于需求动画的直观性可以使不同背景的用户发现遗漏和不正确的潜在需求避免需求变 ． ， ， 更并且 模型必须通过一系列检测以确保需求动画的正确性文中给出了行为模型到状态模型转换规则的 ＢＤＬ ． 正确性证明，为转换提供了相应的理论验证最后给出了校园通系统实例分析以及所实现的建模工具和动