会议专题

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

  由于目前通用的Web 服务组合语言不适合地理信息处理业务流程的直观表达,且学习成本高,不适合空间信息领域的用户使用,建立了一种基于有向图的空间信息服务链模型,并从模型组成元素、约束条件和控制模式三个方面对其进行了详细定义和设计。针对构建的服务链模型,从模型语法正确性、结构正确性和语义正确性三个方面进行研究,通过对空间信息服务链模型结构的分析,结合现有的图规约规则,研究并设计了空间信息服务链模型的语法、结构和语义验证方法,并给出了模型验证方法的具体算法和实现流程。通过具体的案例分析,说明了所提出的算法和设计的实施流程的有效性和可操作性。

服务链 模型 有向图 图规约

陈科 谢明霞 成毅

信息工程大学测绘学院 郑州 450052 信息工程大学测绘学院 郑州 450052;75719 部队,武汉 430074

国内会议

第四届中国Agent理论与应用学术会议

长春

中文

1-6

2012-08-04(万方平台首次上网日期,不代表论文的发表时间)