GIS协同工作中基于SAT的事件冲突解决机制

摘要

GIS协同工作应用中,系统用户相互协作共同完成系统任务,其操作事件互相影响,可能产生冲突.现有的事件冲突解决机制本质上是以事件发生的时间先后为基础,没有考虑事件自身的特点,以及事件执行者之间的协作关系.本文在详细分析事件冲突类型的基础上,引入言语行为理论描述用户之间的协作行为,并建立事件冲突类型与协作行为之间的映射,通过用户之间的协作解决事件冲突问题.实验证明,该方法为GIS协同工作中的事件冲突提供了合理的解决方案,是切实可行的.