55、时间信息系统建模方法与目标推理研究

时间信息系统建模方法与目标推理研究

在信息系统的开发与管理中，时间信息的建模以及业务目标的实现检查是至关重要的环节。本文将介绍两种相关的方法，一是用于建模时间信息系统的TUML方法，二是基于一阶多排序时态逻辑对业务目标进行表示和推理的方法。

1. TUML方法：建模时间信息系统

TUML方法是一种用于建模时间信息系统的时态面向对象分析与设计方法，它涵盖了从分析到设计再到实现的整个过程。

1.1 核心时态原型

核心时态原型可应用于类、属性或关联UML元素，主要包括以下几种：
| 原型类型 | 描述 |
| — | — |
| < > | 表示应保留数据库中元素的存在时间段，元素可能只有静态和/或事务时间属性。 |
| < > | 表示应保留建模现实中元素的存在时间段，元素可能只有静态和/或有效时间属性。 |
| < > | 表示应同时保留数据库中和建模现实中元素的存在时间段，元素可能有静态、事务时间、有效时间和/或双时态时间属性。 |
| < > | 记录属性在数据库中输入的所有值以及每个值的有效时间段。 |
| < > | 记录属性在建模现实中拥有的所有值以及每个值的有效时间段或时间点。 |
| < > | 记录属性在数据库中输入的和在建模现实中拥有的所有值以及相应的时间段。 |
| < > | 记录关联在数据库中输入的所有实例以及每个实例在数据库中的存在时间段。 |
| < > | 记录关联在建模现实中存在的所有实例以及相应的时间段或时间点。 |
|