形式化语言B与UML／OCL的比较  

Formal Language B and UML/OCL Comparison

作　　者：顾建丰[1,2] 陈名铭[1] 周秀芳 

机构地区：[1]扬州大学信息工程学院,江苏扬州225009 [2]江苏电大武进学院,江苏常州213149

出　　处：《电脑知识与技术》2009年第12期9739-9741,共3页Computer Knowledge and Technology

摘　　要：该文介绍了形式化方法中B语言和UML／OCL语言，从软件开发生命周期的角度对B语言和OCL语言进行了比较，归纳了这两种形式化语言的异同和各自的适用范围。This article introduced in the formalized method the B method and the UML/OCL language. Has carried on the comparison from the softwaredevelopment life cycle＇s angle to the B language and OCL, has induced these two kind of formalized language similarities and differences and therespective applicable scope.

关 键 词：B语言 OCL 形式化方法 比较 

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