10、基于空间的互操作性模型解析

基于空间的互操作性模型解析

1. 引言

基于空间的互操作性模型需提供基础的空间概念，使软件组件既能访问所需信息（通过指定订阅上下文），又能传播其生成的信息（在发布上下文中发布主题信息）。

2. 空间概念

2.1 通用空间模型

• 空间与位置 ：通用空间模型定义空间类型，空间是空间模型的实例，由位置集合组成。一个空间中不能有两个相同的位置，且每个位置仅属于一个空间。主题信息可定位在一个或多个空间的一个或多个位置。
• 空间模型类型 ：本文处理有限空间，有以下几种空间模型：
  • 图空间模型 ：支持定义图空间，其位置为节点和边。
  • 网格空间模型 ：支持定义位置按二维网格排列并由一对索引表征的空间。
  • 名称空间模型 ：支持将名称空间定义为命名位置的集合。

以下是通用空间模型的UML类图描述：
|类名|属性|约束|
| ---- | ---- | ---- |
|Location|position|无|
|Space|nameSpace|{location uniqueness}
inv: self.locations -> forAll(loc1, loc2 | loc1<>loc2 implies loc1.position <&