Indexed by：
Abstract：
空间信息服务链作为空间信息服务一项重要的增值功能,为空间信息服务的重用与自动化组合提供了应用基础。对于空间信息服务链而言,保证其运行结果满足需求是实现增值服务的一个重要条件,因此,需要对其进行正确性验证。本文引入了Pi演算的等价理论,通过建立一个实际的空间信息服务链模型,用Pi演算对其进行形式化建模,并利用形式化工具对空间信息服务链是否满足用户需求(即正确性)进行了验证。
Keyword：
Reprint 's Address：
Email：
Source ：
网络新媒体技术
ISSN： 2095-347X
Year： 2014
Issue： 6
Volume： 0
Page： 57-61
Cited Count：
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count：
Chinese Cited Count： -1
30 Days PV： 0
Affiliated Colleges：
