计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2007年
19期
19-22,41
,共5页
王帅强%万建成%侯金奎%冯仕红
王帥彊%萬建成%侯金奎%馮仕紅
왕수강%만건성%후금규%풍사홍
Web Service%B方法%服务形式化%服务组合
Web Service%B方法%服務形式化%服務組閤
Web Service%B방법%복무형식화%복무조합
对于Web Service及其组合来说,保证其组合的正确性是十分必要的.B方法是一个基于模型的形式化方法,有很强的结构化机制和很好的工具支持,对于建模和软件验证是一种有效的方法.该文基于B方法对Web服务及其组合进行了形式化建模,并能够利用B方法相对成熟和完善的模型检查工具,来完成模型的正确性验证.
對于Web Service及其組閤來說,保證其組閤的正確性是十分必要的.B方法是一箇基于模型的形式化方法,有很彊的結構化機製和很好的工具支持,對于建模和軟件驗證是一種有效的方法.該文基于B方法對Web服務及其組閤進行瞭形式化建模,併能夠利用B方法相對成熟和完善的模型檢查工具,來完成模型的正確性驗證.
대우Web Service급기조합래설,보증기조합적정학성시십분필요적.B방법시일개기우모형적형식화방법,유흔강적결구화궤제화흔호적공구지지,대우건모화연건험증시일충유효적방법.해문기우B방법대Web복무급기조합진행료형식화건모,병능구이용B방법상대성숙화완선적모형검사공구,래완성모형적정학성험증.