天津大学学报
天津大學學報
천진대학학보
JOURNAL OF TIANJIN UNIVERSITY SCIENCE AND TECHNOLOGY
2013年
6期
520-525
,共6页
多元Pi-演算%Web服务验证%Web服务可替换性
多元Pi-縯算%Web服務驗證%Web服務可替換性
다원Pi-연산%Web복무험증%Web복무가체환성
polyadic Pi-calculus%Web service verification%Web services replace-ability
验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度.针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相容性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性.结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础.
驗證問題是Web服務髮展中亟待解決的關鍵問題之一,類型繫統的加入以及Web服務動態的體繫結構給問題的解決增添瞭很多難度.針對上述問題,在多元Pi-縯算的基礎上給齣Web服務的描述模型和子類型關繫定義,併對Web服務的相容性進行細化,給齣Web服務可替換性定義;基于這些模型和定義,給齣Web服務構造時類型正確性的判定規則和運行時可替換性的判定方法;最後用1箇例子說明上述規則和方法的可行性.結果錶明上述模型、定義和方法為解決動態的、類型化的Web服務驗證問題提供瞭理論依據和基礎.
험증문제시Web복무발전중극대해결적관건문제지일,류형계통적가입이급Web복무동태적체계결구급문제적해결증첨료흔다난도.침대상술문제,재다원Pi-연산적기출상급출Web복무적묘술모형화자류형관계정의,병대Web복무적상용성진행세화,급출Web복무가체환성정의;기우저사모형화정의,급출Web복무구조시류형정학성적판정규칙화운행시가체환성적판정방법;최후용1개례자설명상술규칙화방법적가행성.결과표명상술모형、정의화방법위해결동태적、류형화적Web복무험증문제제공료이론의거화기출.
