形式化描述方法在地理信息系统中应用综述

        摘　要：总结形式化理论与地理信息系统的应用情况，阐述形式化描述方法在空间拓扑关系、距离关系与方向关系等方面的应用。文中提出形式化方法在地理信息系统问题框架描述与多系统接口描述中的应用，即通过形式化方法精确一致的规格化描述定义，促进对地理信息领域问题的更好理解，促进信息融合，提高地理信息系统开发质量。