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

• 作者: 张驰
• 来源期刊: 计算机应用研究
• 关键词: Web服务 接口 行为视图 兼容性 π演算
• 年，卷（期）: 2009,（7）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2586-2589
• 页数: 4页
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2009.07.052

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张驰	江西财经大学软件学院	17	60	4.0	7.0