形式化方法B和UML的结合研究
INTERGRATING B METHOD AND UML
形式化方法B用抽象机器符号来描述软件的规格说明， 因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是面向对象的建模技术，它的半形式化的分析结果可被B方法所引用，此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法。
he translation from UML specifications to formal B abstract machine notation gives a way to use semi-formal UML specifications in B formal method.This point is significant thanks to B support tools.This paper reports our experiences on UML-into-B translation that emphasize on the integration of class diagram into B specifications.
邹盛荣
计算技术、计算机技术
B方法UML形式化方法规格说明语言
B methodUMLformal methodsspecification languages.
邹盛荣.形式化方法B和UML的结合研究[EB/OL].(2004-02-02)[2025-08-17].http://www.paper.edu.cn/releasepaper/content/200401-91.点此复制
评论