微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2010年
30期
209-211
,共3页
Pi演算%Web服务%服务组合%组合验证
Pi縯算%Web服務%服務組閤%組閤驗證
Pi연산%Web복무%복무조합%조합험증
Web服务组合研究领域中一个重要的研究内容是服务组合验证问题,通过对Web服务组合建立形式化模型,在服务组合之前进行形式化验证,以确保满足服务组合符合设计者的预期目标.Pi演算是一种适合描述动态拓扑结构的并发系统的进程代数.本文首先介绍了Pi演算的基本语法,建立了Pi演算与BPEL4WS的映射关系,提出了一种基于Pi演算的BPEL4WS的形式化模型,最后通过案例给出了模型的验证过程.
Web服務組閤研究領域中一箇重要的研究內容是服務組閤驗證問題,通過對Web服務組閤建立形式化模型,在服務組閤之前進行形式化驗證,以確保滿足服務組閤符閤設計者的預期目標.Pi縯算是一種適閤描述動態拓撲結構的併髮繫統的進程代數.本文首先介紹瞭Pi縯算的基本語法,建立瞭Pi縯算與BPEL4WS的映射關繫,提齣瞭一種基于Pi縯算的BPEL4WS的形式化模型,最後通過案例給齣瞭模型的驗證過程.
Web복무조합연구영역중일개중요적연구내용시복무조합험증문제,통과대Web복무조합건립형식화모형,재복무조합지전진행형식화험증,이학보만족복무조합부합설계자적예기목표.Pi연산시일충괄합묘술동태탁복결구적병발계통적진정대수.본문수선개소료Pi연산적기본어법,건립료Pi연산여BPEL4WS적영사관계,제출료일충기우Pi연산적BPEL4WS적형식화모형,최후통과안례급출료모형적험증과정.
