中国科学E辑
中國科學E輯
중국과학E집
SCIENCE IN CHINA (SERIES E)
2007年
4期
467-485
,共19页
网格%网格服务链%形式化方法%模型验证%状态Pi演算
網格%網格服務鏈%形式化方法%模型驗證%狀態Pi縯算
망격%망격복무련%형식화방법%모형험증%상태Pi연산
确保网格应用中大规模资源共享和复杂任务处理的正确性与可靠性是一项重要的工作.文中从形式化方法的角度出发,提出了基于状态Pi演算的网格服务链模型作为对网格中服务协作与组合进行建模和分析的理论工具.其中,状态Pi演算针对Web服务资源框架(WSRF)的思想,协调了系统状态与行为间的关系,扩展了Pi演算对系统状态的全生命周期管理能力.在此基础上,进一步结合了模型验证技术对网格服务链进行设计和运行时的逻辑性质分析.通过材料形变与断裂过程动态分析的网格应用案例,展示了采用上述方法对网格应用进行需求验证和可靠性分析的有效性.
確保網格應用中大規模資源共享和複雜任務處理的正確性與可靠性是一項重要的工作.文中從形式化方法的角度齣髮,提齣瞭基于狀態Pi縯算的網格服務鏈模型作為對網格中服務協作與組閤進行建模和分析的理論工具.其中,狀態Pi縯算針對Web服務資源框架(WSRF)的思想,協調瞭繫統狀態與行為間的關繫,擴展瞭Pi縯算對繫統狀態的全生命週期管理能力.在此基礎上,進一步結閤瞭模型驗證技術對網格服務鏈進行設計和運行時的邏輯性質分析.通過材料形變與斷裂過程動態分析的網格應用案例,展示瞭採用上述方法對網格應用進行需求驗證和可靠性分析的有效性.
학보망격응용중대규모자원공향화복잡임무처리적정학성여가고성시일항중요적공작.문중종형식화방법적각도출발,제출료기우상태Pi연산적망격복무련모형작위대망격중복무협작여조합진행건모화분석적이론공구.기중,상태Pi연산침대Web복무자원광가(WSRF)적사상,협조료계통상태여행위간적관계,확전료Pi연산대계통상태적전생명주기관리능력.재차기출상,진일보결합료모형험증기술대망격복무련진행설계화운행시적라집성질분석.통과재료형변여단렬과정동태분석적망격응용안례,전시료채용상술방법대망격응용진행수구험증화가고성분석적유효성.
