带OCL约束条件的类图到Object-Z规格说明的转换

摘要：

如何提高软件的可靠性是目前软件研究领域的一个热点.将形式化方法和主流的软件开发方法相结合是一个可行的方法.本文研究UML语言和Object-Z语言相结合的方法,为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁.本文定义如何将带OCL约束条件的类图转换到Object-Z规格说明的方法.这样不仅可以通过支持Object-Z语言的工具来对UML语言描述的系统性质进行验证和确认,而且能够帮助规格说明人员方便地构造Object-Z规格说明.

关键词：UML、类图、OCL约束、Object-Z规格说明

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60373072;国家重点基础研究发展计划973计划2002CB312001;上海市教委资助项目

在线出版日期：2007-03-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：228-235