提示
于双元
-
34浏览
-
0点赞
-
0收藏
-
0分享
-
95下载
-
0评论
-
引用
期刊论文
Web服务组合形式理论分析与研究
兵工自动化，2009，28（5）：91～96，-0001，（）：
摘要/描述
形式化方法对于建模和验证软件系统是一种有效的方法。对于Web 服务及其组合来说，保证其组合正确性以实现其服务增值十分必要.分析Web 服务的综合特征，总结Web 服务组合的典型特征，安点介绍有代农性的Web 服务组合形式模型和方法，包括OWL（DAML-S），进程代数类的CSP 和r 演算、自动机理论的米兰机以及Petri 网。通过综合比较与分析，对各个模型和方法给出一定许价，为系统地建立Web 服务组合形式理论打下基础。
【免责声明】以下全部内容由[于双元]上传于[2010年03月01日 23时20分32秒]，版权归原创者所有。本文仅代表作者本人观点，与本网站无关。本网站对文中陈述、观点判断保持中立，不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考，并请自行承担全部责任。
我要评论
全部评论
共 0 条
本学者其他成果
同领域成果
