一种结合UML和B的软件需求获取方法.pdfVIP

第 14卷 第 3期 重庆科 技学 院学报 (自然科 学版 )2012年 6月 一 种 结 合 ���和 �的 软 件 需 求 获 取 方 法 王 友 �蚌埠学 院�蚌埠 ������� 摘 要�精确 的软件 需求是软件质量 的保证��ML在软件 需求 中起着重要的作用�它用于描述软件 的需求模 型�对 象 模 型�动态模 型和部署模 型�然而 缺 乏形式化方法 的准确语义�很难产生准确 无歧义 的软件规约 �使用 和 �ML B �ML结合 的方法�借助形式化方法 的精确语义和规约级证 明义务来产生准确一致 的系统规约�并结合家庭 智能控制 系统说 明了结合使用 B和 �ML规约 的过程� 关键词:B方法��ML�形式规约�家庭 智能控制系统 中图分类 号���311.5文献标识码�A文 章编号�1673-1980(2012)03-0142-05 提高软件 产品质量 的途径是提高软件规 约的准 为 四步� 确 性��ML作 为通 用 的可视化 建模 语 言�在业界 已 (1)需求 陈述 得 到了广泛的应 用�它使 用