Research of Formal Modelling Based on UMLPackage and B

摘要：

This paper analyzes the difficulties of conversion between UML and B, and proposes a systeam of formal modelling to overcome the difficulties and get a simply proving obligation.Then,an instance is realized for describing the whole process.

作者: Zhang Jianhui

作者单位: Department of Software Engineering Shenzhen Institute of Information Technology Shenzhen, China

会议类型: 国际会议

会议名称: 2010 International Conference on E-Health Networking,Digital Ecosystems and Techonlogies(2010电子健康网络、数字生态系统和技术国际会议 EDT 2010)

会议地点: 深圳

会议语种:英文

页码: 361-365

在线出版日期: 2010-04-17（万方平台首次上网日期，不代表论文的发表时间）