土地划拨时空过程中事件的形式化描述

摘要

土地管理工作是一个群体协同决策过程，基于GIS的群体协同决策系统的实现，依赖于对整个土地划拨过程的分析与建模。该文作者认为土地划拨时空过程主要由主体（决策者）、事件（决策行为）、状态（决策结果）构成，三者相互作用，构成了系统的总体行为。其中事件起着主导的作用，主要表现为决策主体需通过事件来实现其意图；决策事件序列构成了系统工作流的动作；而时空目标的状态也随决策行为而发生改变。该文着重讨论了事件的定义与形式化描述方法。