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

An Approach to Capture Software Specificarion Intergrating B and UML

作　　者：王友[1] 

机构地区：[1]蚌埠学院,蚌埠233000

出　　处：《重庆科技学院学报（自然科学版）》2012年第3期142-146,共5页Journal of Chongqing University of Science and Technology：Natural Sciences Edition

基　　金：安徽省社科联基金项目(B2011019);蚌埠学院校内基金项目(2010SK20)

摘　　要：精确的软件需求是软件质量的保证,UML在软件需求中起着重要的作用,它用于描述软件的需求模型、对象模型、动态模型和部署模型。然而UML缺乏形式化方法的准确语义,很难产生准确无歧义的软件规约。使用B和UML结合的方法,借助形式化方法的精确语义和规约级证明义务来产生准确一致的系统规约,并结合家庭智能控制系统说明了结合使用B和UML规约的过程。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.

关 键 词：B方法 UML 形式规约 家庭智能控制系统 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]