计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2007年
27期
28-33
,共6页
Web服务相容性%Web服务%Pi-演算
Web服務相容性%Web服務%Pi-縯算
Web복무상용성%Web복무%Pi-연산
Web服务的相容性分析是为了保证多个Web服务之间的正确交互.基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义.同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义.
Web服務的相容性分析是為瞭保證多箇Web服務之間的正確交互.基于Pi-縯算對Web服務的相容性進行瞭形式化的分析,給齣瞭二箇Web服務之間相容性的兩箇形式化定義.同時定義瞭二箇Web服務進程之間的投影操作,在此基礎上給齣瞭多箇Web服務之間相容性的形式化定義.
Web복무적상용성분석시위료보증다개Web복무지간적정학교호.기우Pi-연산대Web복무적상용성진행료형식화적분석,급출료이개Web복무지간상용성적량개형식화정의.동시정의료이개Web복무진정지간적투영조작,재차기출상급출료다개Web복무지간상용성적형식화정의.
