全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

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

Keywords: Web服务,接口,行为视图,兼容性,π演算

Full-Text   Cite this paper   Add to My Lib

Abstract:

定义了服务的基调视图和行为视图,设计了将Web服务行为转换为π演算进程表达的建模方法,并给出了实现服务视图向π演算进程自动转换的算法;最后借助π演算的操作语义和形式化推理技术实现了对Web服务组合时的兼容性进行检查。

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133