24、ODP系统规范与UML/OCL语义建模

ODP系统规范与UML/OCL语义建模

1. ODP系统规范概述

ODP（开放分布式处理）系统的规范涉及从不同视角对系统进行定义。每个视角语言都定义了从相应视角来规范ODP系统的概念和规则。企业视角是开放分布式系统的首要规范，它关注ODP系统的目的、范围和策略。不过，RM - ODP（参考模型 - 开放分布式处理）并不能直接应用，它只是为新的ODP标准定义提供了一个框架。这些标准包括ODP功能标准、ODP系统建模与规范标准，以及ODP系统的编程、实现和测试标准。同时，RM - ODP建议为ODP系统定义ODP类型。

在当前软件工程方法和形式化方法的背景下，我们使用UML/OCL（统一建模语言/对象约束语言）指称元建模语义来为ODP企业语言中的结构规范概念定义语义。通过UML和OCL来定义语法域和语义域，并在同一模型中定义它们之间的关联。

2. 相关工作

• 现有规范语言 ：Z、SDL、LOTOS和Esterel等语言被用于RM - ODP架构语义部分来规范ODP概念。但没有一种形式化方法能适用于规范ODP系统的所有方面，因为这些方法主要是为硬件设计和协议工程开发的。ODP系统的固有特性意味着需要集成不同的规范语言和验证方法。
• UML的应用 ：在软件方法领域，有大量研究将UML用作自身定义的符号。UML的定义从抽象语法、格式良好规则和建模元素语义三个视图进行。抽象语法用UML静态建模符号的子集（类图）表示，格式良好规则用OCL表示。UML元模型的一部分通过指称元建模方法定义了精确的语义。指称方法主要包括三个步骤：
  1. 定义