收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

语义Web服务自动组合的有色网验证模型(英文)

罗楠  严隽薇  刘敏  
【摘要】:Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果。针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架。其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性。另外,该框架采用智能Agent技术,可有效实现组合过程的自动化。

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张以文;;一种支持用户偏好的语义Web服务组合算法[J];安庆师范学院学报(自然科学版);2007年04期
2 陈楠;李建华;刘贤;;基于参数关联矩阵的服务组合研究[J];计算机工程;2010年20期
3 朱正东;胡亚红;伍卫国;王勇;李增智;;内容寻址网络的P2P语义Web服务组合系统架构[J];西安交通大学学报;2010年02期
4 李瑞宁;周竹荣;;基于完备回溯树的语义Web服务自动组合[J];计算机应用;2008年06期
5 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[J];微电子学与计算机;2009年08期
6 叶恒舟;罗晓娟;牛秦洲;;基于归约图的语义Web服务自动组合[J];桂林理工大学学报;2010年03期
7 刘思培;刘大有;齐红;关菁华;;基于描述逻辑规则的语义Web服务组合[J];计算机研究与发展;2011年05期
8 崔华;应时;袁文杰;胡罗凯;;语义Web服务组合综述[J];计算机科学;2010年05期
9 邱莉榕;史忠植;林芬;常亮;;基于主体的语义Web服务自动组合研究[J];计算机研究与发展;2007年04期
10 周相兵;杨小平;谢成锦;杨兴江;;面向本体的服务组合差分进化策略[J];计算机工程;2009年11期
11 王广正;;基于QoS的语义Web服务组合优化算法[J];微电子学与计算机;2011年07期
12 黄小庆;夏安邦;;基于有色Petri网和分类服务的Web服务组合模型[J];计算机集成制造系统;2009年01期
13 卢锦运;张为群;;一种基于与或图的语义Web服务自动组合方法研究[J];计算机科学;2010年03期
14 倪悦;范玉顺;;基于着色Petri网的语义Web服务组合形式化验证[J];清华大学学报(自然科学版);2010年05期
15 李瑞;蒋翠清;;基于接口匹配的语义Web服务自动组合研究[J];情报理论与实践;2009年08期
16 李沛武;基于状态空间等价类的有色Petri网特性验证[J];计算机工程与应用;2003年11期
17 彭晖;陈立民;常亮;史忠植;;基于动态描述逻辑的语义Web服务匹配研究[J];计算机研究与发展;2008年12期
18 宋安华;柔性制造系统实时调度的有色Petri网和状态方程模型[J];计算机学报;1991年11期
19 曹利培;张志亮;;语义Web服务及其在搜索引擎上的应用[J];计算机与信息技术;2008年09期
20 赵楷;应时;张琳琳;胡罗凯;贾向阳;王权于;;基于规则的语义流程异常处理机制[J];计算机科学;2011年07期
中国重要会议论文全文数据库 前10条
1 周相兵;马洪江;杨兴江;;一种基于云计算的语义Web服务组合模型研究[A];2009年全国开放式分布与并行计算机学术会议论文集(上册)[C];2009年
2 江琦;奚宏生;殷保群;;网络新媒体服务系统事件驱动的动态服务组合[A];第二十九届中国控制会议论文集[C];2010年
3 袁兆山;吴亮;;QoS驱动的事务性WEB服务组合[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
4 张纪海;李连宏;;基于有色Petri网的电子商务系统建模与仿真分析[A];全国第八届工业工程与企业信息化学术会议论文集[C];2004年
5 宋庭新;熊健民;刘幺和;;基于语义Web服务的供应链协同与集成技术研究[A];2006年湖北省博士论坛——先进制造技术与制造装备论文集[C];2006年
6 张玉军;李心科;;面向自然语言描述的Web服务组合[A];2011中国仪器仪表与测控技术大会论文集[C];2011年
7 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
8 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
9 邹婷婷;陈燕;孙国磊;;基于有色Petri网的货物配送流程建模[A];第二届中国智能交通年会论文集[C];2006年
10 成睿星;苏森;杨放春;;使用范例推理的服务组合方法研究[A];2006年全国通信软件学术会议论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 龙军;基于信任感知与演化的服务组合关键技术研究[D];中南大学;2011年
2 朱锐;可信服务组合若干关键技术研究[D];国防科学技术大学;2009年
3 李祯;混合QoS模型感知的语义Web服务组合决策算法研究[D];北京邮电大学;2008年
4 于晓浩;面向任务的军事信息服务组合方法与关键技术研究[D];国防科学技术大学;2011年
5 陈志勇;面向模糊请求的服务组合关键问题研究[D];山东大学;2011年
6 马林;基于可信评估的服务组合方法研究[D];中国科学技术大学;2012年
7 徐萌;基于服务关系的服务组合相关技术研究[D];北京邮电大学;2007年
8 翟岩龙;开放网络环境中动态自适应服务组合技术研究[D];北京理工大学;2009年
9 张帅;基于服务组合的跨企业协作关键技术研究[D];浙江大学;2011年
10 张杨;语义Web服务组合的可信性度量研究[D];重庆大学;2011年
中国硕士学位论文全文数据库 前10条
1 高志升;基于多Agent的语义Web服务自动组合方法的研究[D];西华大学;2006年
2 李玉鑫;基于本体的动态Web服务组合的研究与应用[D];大连理工大学;2009年
3 李瑞;基于语义Web服务的企业应用集成研究[D];合肥工业大学;2009年
4 王鹏超;基于规划的语义Web服务组合[D];吉林大学;2005年
5 陈楠;语义Web服务组合相关技术研究[D];中南大学;2010年
6 吴亮;基于模糊Petri网的语义Web服务组合建模与验证[D];合肥工业大学;2009年
7 赵伟伟;基于冗余的可靠Web服务组合方法研究[D];燕山大学;2010年
8 陈伟;语义Web服务的关键技术研究[D];西北工业大学;2006年
9 谭征;一种Web服务组合的自动化模型检测方法[D];桂林电子科技大学;2010年
10 何智华;语义Web服务自动组合技术的研究[D];同济大学;2006年
中国重要报纸全文数据库 前10条
1 周自进;珠宝展应讲究服务组合[N];中国黄金报;2003年
2 本报实习记者 王一;借“服务牌”曲径通幽[N];通信产业报;2006年
3 陈秀云于刚;临淄工商:打好服务组合“牌”[N];淄博日报;2008年
4 冯霖铭靳选东;打好执法与服务组合拳[N];中国质量报;2007年
5 记者 邹良丽 通讯员 丛广;草庙子镇:“服务组合拳”助项目提速[N];威海日报;2011年
6 中国科学院计算技术研究所 万长林史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年
7 郭涛;咨询与管理一气呵成[N];中国计算机报;2006年
8 计育青;“应用为先”树立戴尔服务新主张[N];中国电子报;2003年
9 张小琳;IPTV 能否在亚洲实现真正的腾飞?[N];中国经营报;2006年
10 韩燕波;SOA与网格:整合资源新模式[N];计算机世界;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978