计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2009年
3期
55-58
,共4页
庞士焕%朱相冰%张琦%汤萍萍
龐士煥%硃相冰%張琦%湯萍萍
방사환%주상빙%장기%탕평평
Web服务%TLA%BPEL%Conversation模型%正确性验证
Web服務%TLA%BPEL%Conversation模型%正確性驗證
Web복무%TLA%BPEL%Conversation모형%정학성험증
随着面向服务的体系结构的发展,有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题.然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等.文中主要是针对组合服务的正确性验证问题,引入时序逻辑TLA.通过把组合服务的BPEL描述转换为TLA可以理解的自动机的形式,这种方法可以很好地验证组合逻辑的正确性以及快速发现死锁等问题.
隨著麵嚮服務的體繫結構的髮展,有效地組閤單箇分佈的web服務以提供更有價值的服務成為新的熱點問題.然而,在這一研究領域還存在諸多問題,比如web服務用哪種方式組閤,能否實現自動組閤,對組閤服務進行正確性驗證等等.文中主要是針對組閤服務的正確性驗證問題,引入時序邏輯TLA.通過把組閤服務的BPEL描述轉換為TLA可以理解的自動機的形式,這種方法可以很好地驗證組閤邏輯的正確性以及快速髮現死鎖等問題.
수착면향복무적체계결구적발전,유효지조합단개분포적web복무이제공경유개치적복무성위신적열점문제.연이,재저일연구영역환존재제다문제,비여web복무용나충방식조합,능부실현자동조합,대조합복무진행정학성험증등등.문중주요시침대조합복무적정학성험증문제,인입시서라집TLA.통과파조합복무적BPEL묘술전환위TLA가이리해적자동궤적형식,저충방법가이흔호지험증조합라집적정학성이급쾌속발현사쇄등문제.
