基于OOZS的UML类图形式化描述及其应用.pdfVIP

2013年1月 重庆师范大学学报(自然科学版) Jan．2013 第30卷第1期 of Normal Science) V01．30No．1 JoumalChongqingUniversity(Natural 基于OOZS的UML类图形式化描述及其应用’ 肖 岗 (重庆师范大学研究生处，重庆401331) 摘要：统一建模语言UML是一种面向对象分析和设计过程中重要的建模工具。但由于UML缺乏精确的形式化语义，不 利于对其所描述的需求进行进一步分析和验证。这一点上，形式化方法可与之互补。基于此，本文采用一种面向对象的、 基于z的扩展语言00zs——结构化面向对象形式规格说明语言，对uML的类图进行了形式化描述，寻求一种在软件设 果表明本文的研究工作在实践中是可行的。 关键词：面向对象方法；形式化描述；00ZS；UML；类图 中图分类号：TP311．5 文献标志码：A 综上，UML与形式化方法的优势与不足是非常 1研究背景 明显的，同时也是互补的。将二者有机结合，既可以保 软件系统模型的描述目前可以分为两大类：非形 留UML的直观性，又具有形式化的精确语义。目前， 式化方法和形式化方法。非形式化方法一般都是用图 国内外已有很多研究将现有的形式化技术(如Z[3。4]， 表来描述系统模型，如数据流图、UML等，它们用各 种图形来表示系统模型的具体含义，主要优点是其易 语义，倍受关注。 用性、直观性、交流性强。UML可对软件开发过程中 各个阶段的需求进行可视化图形建模，是目前比较流 2结构化面向对象形式规格说明语言 行的软件系统模型描述方法，在工业界得到广泛应用。 00ZS 然而，由于复杂系统的建模往往需要严格的语义分析， OOZS是在形式化描述语言Z的基础上，基于“由 而UML缺乏精确的语义，多视角建模视图之间也存 规格说明建立一个快速原型”的思想而形成的一种面 在不一致，这使得对模型难以进行一致性检查和正确 向对象的形式规格说明语言口。9]。 性分析，进而限制了它的有效性，所以UML有必要在 OOZS具有表达力强、规格说明简明直观、结构清 形式化方面进行拓展[1]。 晰、支持规格说明重用等特点。基于此，本文采用 形式化方法(Formalmethod)本质是基于数学的 方法(如集合论、一阶谓词演算、线性时序逻辑等)来描 格说明的映射。这样，可以很方便地将需求工程中建 述目标软件或硬件系统属性的一种特殊技术。将形式 立的各种非形式化或半形式化模型转化为具有精确语 化方法用于计算机科学领域中，是期望能够像其他工 程学科一样，使用适当的数学分析以提高设计的可靠 义的OOZS规格说明，在此基础之上，不仅可以对需 性和可信性，并能使系统具有良好的结构，使其易维 求模型进行精确描述，还可以进行推理和验证，也可以 护，关键是能较好地满足用户需求。形式化方法最主 进一步地从需求模型自动产生测试用例。 要的优点是具有精确性、可以验证，并且便于机器支撑 类是面向对象模型的最基本模型元素，类图技术 和自动处理等。然而，形式化方法并没有在工业界得 是面向对象方法