| 基于有界限模型检验的服务建模与自动组合 |
| |
| 引用本文： | 李艳,刘金江. 基于有界限模型检验的服务建模与自动组合[J]. 计算机工程与设计, 2011, 32(12): 4079-4082 |
| |
| 作者姓名： | 李艳 刘金江 |
| |
| 作者单位： | 1. 山东理工大学计算机科学与技术学院,山东淄博,255049
2. 南阳师范学院计算机与信息技术学院,河南南阳,473061 |
| |
| 基金项目： | 河南省科技厅科技攻关基金项目(102102210483、102102210465).河南省重大科技攻关基金项目 |
| |
| 摘 要： | 针对面向服务架构(SOA)体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法.其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,Web服务组合需求由线性时态逻辑公式描述,通过有界模型检验器的系统化搜索,该方...
|
| 关 键 词： | 有界模型检验 Web服务组合 线性时态逻辑 服务社区 有限状态自动机 |
Web service modeling and composition based on bounded model checking |
| |
| LI Yan,LIU Jin-jiang. Web service modeling and composition based on bounded model checking[J]. Computer Engineering and Design, 2011, 32(12): 4079-4082 |
| |
| Authors: | LI Yan LIU Jin-jiang |
| |
| Affiliation: | LI Yan1,LIU Jin-jiang2(1.College of Computer Science and Technology,Shandong University of Technology,Zibo 255049,China,2.College of Computer and Information Technology,Nanyang Normal University,Nanyang 473061,China) |
| |
| Abstract: | Currently,the SOA in many fields of application is accepted,which result in the rapid growth of available web services.To meet user complicated needs effectively,a method of web service automated composition based on bounded model checking is proposed.Web services are modeled as a finite state machine and many web services constitute a service to the community.The user requirements are represented by the linear temporal logic formulas,the method can automatically construct solution from the community to sat... |
| |
| Keywords: | bounded model checking web service composition liner temporary logic service community finite state machine |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
