信息系统建模的OCL约束检查与确认.pdfVIP

信息系统协会中国分会第一届学术年会 信息系统建模的OCL约束检查和确认水 黎升洪 (江西财经大学信息学院，南昌330013) 文摘，信息系统静态模型通常由UML类图和OCL约束两部分构成。在实现信息系统之前，希望对其进行检查 和确认，以保证所建模型的正确性。而oCL约束的检查和确认不为一般的UMLCAsE工具支持。本文描述了一 个元模型语言框架原理。即通过在元模型层引入切咀．核心元素和OCL元模型元素来对所建信息系统模型的OCL 约束分别在模型层和用户对象实例层进行检查和确认，以检查用户实例层违背OCL约束的系统状态产生的原因。 文章最后给出基于USE应用程序的实例。 关键词t信息系统建模；OCL约束；检查和确认；UML模型： 在信息系统构造过程中，人们总希望信息系 统模型在实现之前能够对其进行检查和确认，也 下列用途：作为一种查询语言；对类(类型)说明 就是通过检查和确认来保证所建立的信息系统模 不变式：对操作和方法描述前置、后置条件；描 型的正确性【l】。在面向对象分析与设计领域，图 述状态图中的门限；对消息和动作说明目标(集 形化的统一建模语言切儿【2】已成为事实上的标 合)；说明操作上的约束；对UML模型中的属性 准。当使用IM．为信息系统建模时，这些图形 说明派生规则。 化的UML记号有时无法充分表达信息系统的某 首先，由于OCL是纯规范说明语言，它具 些特定信息。为此，对象管理组织OMG引入了 有无副作用的特性。即当OCL表达式被赋值时， 对象约束语言OCLr34】。一个完整的信息系统模它只是返回一个值。它并不改变UML模型内的 型是由UML模型和施加在这些模型元素上的 任何东西，这意味着一个UML模型的系统状态 OCL约束二部分构成。如UML标准就是由UML将不会由于OCL表达式的赋值而改变。甚至OCL 元模型定义的抽象语法和施加这些元模型上的用 表达式能够被用来说明系统状态的改变【3】。其次， OCL表达式编写的良构规则、类型遵守规则构 oCL不是编程语言，这样不许在OCL编写控制 成。常见的UMLCASE工具可以对UML模型的逻辑。最后，OCL是类型语言，即每个OCL表 类图进行有效性确认，但不能对OCL约束进行 达式都有一个数据类型。为实现OCL表达式的 有效性确认。例如，Alcoal51是拥有自己输入语言良构，OCL表达式必须遵守类型遵守规则，例如， 将整型与串类型运算违法了类型遵守规则。因此， 的对象模型分析工具：Alloy【6】是基于Z和RTUML 的实时系统建模工具，它可以使用PVS对系统进 编写oCL约束表达式可以强化UML模型描述的 行验证。本文介绍了一种新的方法，它使用 精确性。 USE(UML-basedEnvironment)应用 Specification 1．2基于元模型语言描述框架 程序r7’8】对所建立的信息系统UML模型和OCL 一个信息系统的理解通常从视角、抽象级别 约束进行仿真，这样达到信息系统模型的检查和 和时间这三维出发。首先，一个信息系统可以从 确认目的。 不同视角加以描述，不同视角关心信息系统的不 同方面。其次，系统可以用不同视角，在不同级 1 基于元模型语言描述框架 别抽象。抽象级别由构成信息系统的对象、动作 1．1 oCL约束的功能 粒度决定。最后，随时间改变系统状态也改变， OCL起源于1997年mM公司为响应OMG 信息系统模型必须与其当前状态相适应。应用 的“