中文摘要：

为了有效地对地理现象进行回溯和预测,必须对地理现象的发生过程进行准确描述,时空过程模型(STPM)是一种有效的方法。本文在研究时空过程概念模型的基础上,将概念层发展到逻辑层,研究地理现象时空逻辑过程建模方法;使用UML-RT标准化逻辑建模技术,解决了实时信号传输和并行处理问题;并引入π-演算来解决面向过程系统的信号传输和可移植性问题,提出地理现象时空过程模型的逻辑架构。