摘要
精确的软件需求是软件质量的保证,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.
出处
《重庆科技学院学报（自然科学版）》
CAS
2012年第3期142-146,共5页
Journal of Chongqing University of Science and Technology：Natural Sciences Edition
基金
安徽省社科联基金项目(B2011019)
蚌埠学院校内基金项目(2010SK20)
关键词
B方法
UML
形式规约
家庭智能控制系统
B-method
UML
formal specification
the house intelligent control system
