| 一种结合UML和B的软件需求获取方法 |
| |
| 引用本文： | 王友.一种结合UML和B的软件需求获取方法[J].重庆科技学院学报(自然科学版),2012,14(3):142-146. |
| |
| 作者姓名： | 王友 |
| |
| 作者单位： | 蚌埠学院,蚌埠,233000 |
| |
| 基金项目： | 安徽省社科联基金项目(B2011019);蚌埠学院校内基金项目(2010SK20) |
| |
| 摘 要： | 精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型.然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约.使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程.
|
| 关 键 词： | B方法 UML 形式规约 家庭智能控制系统 |
An Approach to Capture Software Specificarion Intergrating B and UML |
| |
| WANG You.An Approach to Capture Software Specificarion Intergrating B and UML[J].Journal of Chongqing University of Science and Technology:Natural Science Edition,2012,14(3):142-146. |
| |
| Authors: | WANG You |
| |
| Affiliation: | WANG You(Bengbu College,Bengbu 233000) |
| |
| Abstract: | The rigorous software specification can guarantee software quality.UML is playing the vital role in capturing software specification.It can describe the requirement model,object model,dynamic model and deployment model of system.However UML lacks the accurate semantics of the formal method,so it is very difficult to produce accurate system specification.This paper proposes a specification method that integrates B with UML,with the aid of the rigorous semantic of formal method and its prove obligation,the accurate and consistent software specification can be produced.With The House Intelligent Control System,the specification process that bases on this method is presented. |
| |
| Keywords: | B-method UML formal specification the house intelligent control system |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
