论文部分内容阅读
分布式地理信息检索具有有效性、高性能、高可靠性和低成本等方面的优势,因而是WebGIS的核心技术之一。以分布、异构的信息检索环境为背景,提出对基于Agent的分布式地理信息检索系统,采用π演算方法,建立分布式地理信息检索系统的服务请求模型,经过演算推理,证明该系统模型的有效性、可用性、可靠性和合理性。