华中科技大学学报(自然科学版)
華中科技大學學報(自然科學版)
화중과기대학학보(자연과학판)
JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY(NATURE SCIENCE)
2005年
z1期
168-171
,共4页
Pi-演算%进程代数%Web服务%服务替换%服务兼容性
Pi-縯算%進程代數%Web服務%服務替換%服務兼容性
Pi-연산%진정대수%Web복무%복무체환%복무겸용성
通过使用交互服务集合的概念归纳出一个适用范围较广的Web服务可替换的充分条件,并基于Pi-演算对可替换条件中的兼容性条件进行建模,从Web服务可替换性和兼容性的关系入手,用求逆的方法证明了弱互模拟在语法兼容等条件下可保证服务兼容性和可替换性的结论.最后建立了一个关于投诉处理流程的实际模型,展示了如何应用Pi-演算的弱互模拟方法和形式化辅助工具对服务的可替换性进行判定.
通過使用交互服務集閤的概唸歸納齣一箇適用範圍較廣的Web服務可替換的充分條件,併基于Pi-縯算對可替換條件中的兼容性條件進行建模,從Web服務可替換性和兼容性的關繫入手,用求逆的方法證明瞭弱互模擬在語法兼容等條件下可保證服務兼容性和可替換性的結論.最後建立瞭一箇關于投訴處理流程的實際模型,展示瞭如何應用Pi-縯算的弱互模擬方法和形式化輔助工具對服務的可替換性進行判定.
통과사용교호복무집합적개념귀납출일개괄용범위교엄적Web복무가체환적충분조건,병기우Pi-연산대가체환조건중적겸용성조건진행건모,종Web복무가체환성화겸용성적관계입수,용구역적방법증명료약호모의재어법겸용등조건하가보증복무겸용성화가체환성적결론.최후건립료일개관우투소처리류정적실제모형,전시료여하응용Pi-연산적약호모의방법화형식화보조공구대복무적가체환성진행판정.