计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2011年
7期
12-16,174
,共6页
Web服务组合%过程框架%Pi演算%BPEL
Web服務組閤%過程框架%Pi縯算%BPEL
Web복무조합%과정광가%Pi연산%BPEL
文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用.并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法.
文章從Web服務的編排、驗證、部署角度提齣瞭基于Pi縯算的Web服務組閤過程框架,說明瞭這箇框架中每一步驟涉及的理論和工具應用.併在現有研究的基礎上,針對框架中人工參與較多形式化驗證環節提齣瞭其嚮自動化、可視化方嚮髮展的改進方法.
문장종Web복무적편배、험증、부서각도제출료기우Pi연산적Web복무조합과정광가,설명료저개광가중매일보취섭급적이론화공구응용.병재현유연구적기출상,침대광가중인공삼여교다형식화험증배절제출료기향자동화、가시화방향발전적개진방법.
