时空对象行为分类与形式化表达

摘要： 基于行为驱动的传统时空数据模型只关注时空对象的空间运动行为,忽略了行为对时空对象属性、关系等的改变,导致行为对时空对象的驱动机制研究不足。时空行为是全空间信息系统表达的重要特征之一,为此,本文从以下几个方面阐述了时空对象的行为。首先,本文阐述3行为的定义及将行为作为时空本体的元组的必要性。其次,研究了时空对象行为的复杂性、可继承性及在时态上的延续性等特征。再次,根据行为的作用对象,将时空对象的行为分为空间行为、属性行为、关系行为及复合行为4类行为,并给出了上述4类行为的定义与形式化表达方式。最后,分析了时空本体中时空行为的驱动机制。通过时空行为分类及其在时空本体中的形式化表达研究,为基于行为驱动的时空对象构模奠定了理论基础。