有界模型检测在服务组合中的应用研究

• 作者: 张丽 郝身刚
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 有界模型检测 服务组合 线性时态逻辑 适定性问题
• 年，卷（期）: 2012,（10）
• 所属期刊栏目: 网络、通信、安全
• 页码范围: 111-114
• 分类号: TP311
• 字数: 3783字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.2012.10.024

摘要

大规模服务自动组合问题是Web Service技术的主要瓶颈.传统的服务组合技术灵活性差并且适用的服务规模有限.在用有限状态自动描述机服务的输入、输出、操作等活动的基础上,提出用有界模型检测技术对大规模服务进行建模,将用户请求翻译为线性时态逻辑公式,采用适定性问题求解技术快速求解限定长度的服务组合解.实验结果表明有界模型检测技术应用在自动服务组合中是可行的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郝身刚	南阳师范学院计算机与信息技术系	15	81	3.0	8.0
2	张丽	南阳师范学院计算机与信息技术系	12	22	2.0	4.0