-
题名GIS服务链的形式化建模与正确性验证
- 1
-
-
作者
梁娟珠
-
机构
福州大学福建省空间信息工程研究中心数据挖掘与信息共享教育部重点实验室
-
出处
《网络新媒体技术》
2014年第6期57-61,共5页
-
基金
国家科技支撑计划项目(2013BAC08B00)
福建省科技重点项目(2013H0023)
-
文摘
空间信息服务链作为空间信息服务一项重要的增值功能,为空间信息服务的重用与自动化组合提供了应用基础。对于空间信息服务链而言,保证其运行结果满足需求是实现增值服务的一个重要条件,因此,需要对其进行正确性验证。本文引入了Pi演算的等价理论,通过建立一个实际的空间信息服务链模型,用Pi演算对其进行形式化建模,并利用形式化工具对空间信息服务链是否满足用户需求(即正确性)进行了验证。
-
关键词
GIS服务链
形式化建模
服务链正确性
-
Keywords
GIS service chain, formal model, service chain verification
-
分类号
P208
[天文地球—地图制图学与地理信息工程]
-