形式化方法B与UML的结合的研究.pdfVIP

形式化方法B和UIIL的结合研究· 邹盛荣，郑国粱 南京大学计算机科学与技术系．江苏南京．210093 摘要：形式化方法B用抽象机器符号来描述软件的规格说 式实时系统、分布式系统、系统软件等。 明． 因为工具集的有力支持已成为形式化方法的首选并有 统一模型语言UML在软件开发过程中已有很多 了一些成功的工业应用．呲是面向对象的建模技术．它的 的实践应用．是现今面向对象需求分析的重要工 半形式化的分析结果可被B方法所引用，此文通过从U睫 具，如果能充分利用好哪L的现有成果，结合B方 类图到8抽象机器的转换给出了一个呲和B结合的方法。 法的形式化技术．将有助于B在实践中的进一步推 荚薯诩B方法：UML；形式化方法：规格说明语言。 广应用。 INTERGRATINGB METHODAND2．B方法和UML筒介 UML 2．1B简介 ZOU ShengRong，ZhengGuoliang