博文

形式化方法B和UML的结合

已有 4892 次阅读 2010-4-16 09:00 |个人分类:形式化方法|系统分类:科研笔记

形式化方法B和UML的结合*

摘要: 形式化方法B用抽象机器符号来描述软件的规格说明，因为工具集的有力支持已成为形式化方法的首选并有了一些成功的工业应用，UML是面向对象的建模技术，它的半形式化的分析结果可被B方法所引用，此文通过从UML类图到B抽象机器的转换给出了一个UML和B结合的方法。

关键词 B方法,UML,形式化方法，规格说明语言

17. Snook, C. and Butler, M. U2B - UML to B translation tool and Manual
http://www.ecs.soton.ac.uk/~cfs/U2Bdownloads/U2Bdownloads.htm

23. MATISSE (2001) Event B Reference Manual.Matisse Project (IST-
available at http://www.atelierb.societe.com/evt2b/evt2b.html

转载本文请联系原作者获取授权，同时请注明本文来自邹盛荣科学网博客。
链接地址：https://blog.sciencenet.cn/blog-362656-312562.html

上一篇：《复杂系统与复杂网络》介绍
下一篇：论文

收藏 IP: .*| 热度|

数据加载中...

返回顶部

博文发布时间已经超过87600小时，评论已关闭。

扫一扫，分享此博文