空间信息服务链模型的有向图表示及其验证

摘要

Because the generic language of Web service composition is unsuitable for the visual expression of geographic information processing and the geo-spatial domain user, the Geo-serviceChain model was established by directed graph and it was defined and designed detailed from the model elements,constraints and control mode. We researched the Geo-serviceChain model from three aspects of grammatical correctness, structural correctness and semantic correctness and designed the algorithm and implementation flow combined with the graph reduction rules through analyzing the structure of Geo-serviceChain model. It approves the effectiveness and feasibility of the proposed algorithm and implementation flow through the practical case analyzing.%由于目前通用的Web服务组合语言不适合地理信息处理业务流程的直观表达,且学习成本高,不适合空间信息领域的用户使用,因此建立了一种基于有向图的空间信息服务链模型,并从模型组成元素、约束条件和控制模式3个方面对英进行了详细定义和设计.针对构建的服务链模型,从模型语法正确性、结构正确性和语义正确性3个方面进行研究,通过对空间信息服务链模型结构的分析,结合现有的图规约规则,研究并设计了空间信息服务链模型的语法、结构和语义验证方法,并给出了模型验证方法的具体算法和实现流程.通过具体的案例分析,说明了所提出的算法和设计的实施流程的有效性和可操作性.