空问信息处理过程建模研究

大型GIS应用往往涉及复杂的空间信息处理过程，良好定义的过程模型将有助于合理规划和管理GIS应用的设计和实施。通过分析其基本特性，给出空间信息处理过程的形式化定义，空间活动、过程数据和关系流是其中基本的组成要素。在此基础上，定义空间信息处理过程元模型。并讨论其完整性约束规则，其中空间语义是核心的约束条件。通过以上工作规范空间信息处理过程的表达，并实现GIS应用的过程建模，进而可以有效结合工作流技术，解决大型空间应用的管理控制问题。