摘要： 如何提高软件的可靠性是目前软件研究领域的一个热点。将形式化方法和主流的软件开发方法相结合是一个可行的方法。本文研究UML语言和Object-Z语言相结合的方法，为主流的软件开发人员所使用的图形化规格说明技术与形式方法提供的精确的分析和验证技术架起了一座桥梁。本文定义如何将带0CL约束条件的类图转换到Object-Z规格说明的方法。这样不仅可以通过支持Object-Z语言的工具采对UML语言描述的系统性质进行验证和确认，而且能够帮助规格说明人员方便地构造Object-Z规格说明。
缪淮扣 陈怡海. 带OCL约束条件的类图到object—Z规格说明的转换[J]. 计算机科学, 2007, 34(1): 228-235. https://doi.org/
MIAO Huai-Kou, CHEN Yi-Hai （School of Computer Engineering and Science, Shanghai University, Shanghai 200072）. [J]. Computer Science, 2007, 34(1): 228-235. https://doi.org/
首页