服务组合中基于线性逻辑的消息语义匹配

• 作者: 徐海长 林永兴 王玥 王鹏英 邱剑锋
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 语义服务 服务组合 描述逻辑 线性逻辑
• 年，卷（期）: 2010,（8）
• 页码范围: 161-166,184
• 分类号: TP311
• 字数: 6074字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.08.044

摘要

介绍一种自动服务组合模型服务消息语义化匹配验证的方法.该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机.根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证.同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林永兴	浙江理工大学科技与艺术学院	23	41	4.0	5.0
2	徐海长		4	0	0.0	0.0
3	王鹏英	浙江理工大学计算机技术教研部	8	61	4.0	7.0
4	邱剑锋		1	0	0.0	0.0
5	王玥		1	0	0.0	0.0