计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2006年
10期
2466-2469
,共4页
π-演算%商业流程可执行语言%开互模拟%on-the-fly算法%模型验证
π-縯算%商業流程可執行語言%開互模擬%on-the-fly算法%模型驗證
π-연산%상업류정가집행어언%개호모의%on-the-fly산법%모형험증
为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法.首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段.最后通过实例说明这一方法的可行性.
為檢驗Web服務組閤的實現與用戶需求的一緻性,在開互模擬形式化理論和檢驗工具的基礎上,提齣瞭一箇自動化檢驗方法.首先,用π-縯算分彆對用戶需求和商業流程可執行語言(BPEL4WS)程序實現建模,然後對它們進行弱開互模擬檢驗,噹它們不互模擬時,檢驗工具能自動標識關鍵的不互模擬的BPEL4WS程序片段.最後通過實例說明這一方法的可行性.
위검험Web복무조합적실현여용호수구적일치성,재개호모의형식화이론화검험공구적기출상,제출료일개자동화검험방법.수선,용π-연산분별대용호수구화상업류정가집행어언(BPEL4WS)정서실현건모,연후대타문진행약개호모의검험,당타문불호모의시,검험공구능자동표식관건적불호모의적BPEL4WS정서편단.최후통과실례설명저일방법적가행성.