【摘 要】
：
针对面向服务架构（SOA）体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中
【机 构】
：
山东理工大学计算机科学与技术学院,南阳师范学院计算机与信息技术学院
论文部分内容阅读
针对面向服务架构（SOA）体系的Web服务数量快速增长现状,为实现大规模服务场景下高效自动组合Web服务来满足用户复杂需求问题,提出一种基于有界模型检验的Web服务组合方法。其中,Web服务被建模为有限状态自动机,众多Web服务构成服务社区,Web服务组合需求由线性时态逻辑公式描述,通过有界模型检验器的系统化搜索,该方法能够从服务社区中自动地构建满足需求的Web服务组合。实验结果表明,该方法能够适应较大规模的Web服务组合场景。
其他文献
本研究在收集第一手数据的基础上，详细讨论美国报业公司治理机制的四个主要问题，即机构持股、高管薪酬、董事会机构、反并购机制。我们会大致描述美国报业公司在这四个方面的实
针对多表查询中庞大执行计划空间导致的多表Hint控制不精确问题，提出了一种基于关系代数连接运算的多表Hint控制模型。建立了多表Hint与优化器表连接执行计划之间的一一映射关
<正> (一) 日本的“硅岛”(集成电路产业群)是日本三菱电机公司于1965年首先在熊本县创建生产集成电路的工厂,随后又有日本电气、东芝等大企业相继跟踪而至,逐渐发展起来的。
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
<正> 1988年5月10日,美国Chiron公司的科学家宣布,他们已经成功地确认、克隆和表达了非甲非乙肝炎病毒的蛋白质,并研制出了一种免疫测定仪器,可以用来进行非甲非乙型肝炎病毒
通过对电子政务安全需求及现有访问控制技术的分析,设计并实现了一个基于角色的访问控制模型。为了满足电子政务中对权限管理的灵活性要求,该模型引入UBAC、功能权限与数据权
天津市科委副主任席兴福一行五人,应奥地利维也纳市WWF国际社会、经济、科学工程咨询公司的邀请,于1985年11月3日至19日对奥地利水果、蔬菜保鲜、加工技术进行了考察。本刊从
本文对10k V配电网中应用无功补偿技术的特点进行了探讨,对无功补偿在配网应用中存在的问题做了相关分析,结果说明10k V配电网运用无功补偿技术可以起到损耗低和节能效果,是
<正> 利用挪威化学家Vgelstad教授的重要发明而生产的新材料和技术,挪威科学界和工业界密切配合,近年来在生物医学的研究工作中取得了显著的进展,特别在细胞分离技术方面,取
中国计算机学会抗恶劣环境计算机专委会拟于2012年9月11-14日在湖北省武汉市召开全国抗恶劣环境计算机第二十二届学术年会。本次会议由中国计算机学会主办，中国计算机学会抗恶