互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于行为描述的Web服务组合兼容性检查


□ 张 驰

  摘要:定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。
  关键词:web服务;接口;行为视图;兼容性;π演算
  中图分类号:TP311 文献标志码:A 文章编号:1001-3695(2009)07-2586-04


  注:请下载安装 Acrobat Reader 软件后点击下面的链接阅读。

阅读PDF原文: 1 2 3 4 




......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017