软件学报
軟件學報
연건학보
JOURNAL OF SOFTWARE
2007年
12期
3001-3014
,共14页
邓水光%李莹%吴健%邝砾%吴朝晖
鄧水光%李瑩%吳健%鄺礫%吳朝暉
산수광%리형%오건%광력%오조휘
Web服务%服务行为%行为兼容%π演算%进程
Web服務%服務行為%行為兼容%π縯算%進程
Web복무%복무행위%행위겸용%π연산%진정
确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为和Web服务间的交互行为表达成π演算进程,然后借助π演算的操作语义和形式化推演实现服务行为兼容性自动的定性判定;随后在π演算的进程变换理论的基础上提出算法实现服务兼容性自动的定量计算.该方法在服务动态组合与服务动态替换中的典型应用表明,该方法对于服务组合的正确建立和可靠执行具有重要作用.
確保Web服務行為兼容是實現Web服務無縫集成與協作的一箇重要問題.在服務視圖概唸的基礎上,給齣瞭Web服務行為兼容性的相關定義.提齣一種基于π縯算的Web服務行為兼容性的定性判定與定量計算方法.該方法首先通過算法自動地將Web服務行為和Web服務間的交互行為錶達成π縯算進程,然後藉助π縯算的操作語義和形式化推縯實現服務行為兼容性自動的定性判定;隨後在π縯算的進程變換理論的基礎上提齣算法實現服務兼容性自動的定量計算.該方法在服務動態組閤與服務動態替換中的典型應用錶明,該方法對于服務組閤的正確建立和可靠執行具有重要作用.
학보Web복무행위겸용시실현Web복무무봉집성여협작적일개중요문제.재복무시도개념적기출상,급출료Web복무행위겸용성적상관정의.제출일충기우π연산적Web복무행위겸용성적정성판정여정량계산방법.해방법수선통과산법자동지장Web복무행위화Web복무간적교호행위표체성π연산진정,연후차조π연산적조작어의화형식화추연실현복무행위겸용성자동적정성판정;수후재π연산적진정변환이론적기출상제출산법실현복무겸용성자동적정량계산.해방법재복무동태조합여복무동태체환중적전형응용표명,해방법대우복무조합적정학건립화가고집행구유중요작용.
