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