支持Web服务组合与验证的形式化模型

发布时间：2017-08-12 06:24

  本文关键词：支持Web服务组合与验证的形式化模型

  更多相关文章： Web服务 服务组合 形式化模型 范畴理论 进程代数

【摘要】：针对Web服务的组合与验证问题,在范畴理论描述框架的基础上,引入进程代数描述服务组件的外部行为,为Web服务系统的架构描述建立了一种形式化的语义模型。Web服务作为范畴理论中的对象节点,服务间的交互和组合关系作为态射,从而以范畴图表的形式来描述服务网络。在形式化定义服务接口、Web服务、服务组合等概念的基础上,进一步分析讨论了服务组合和交互过程中的语义特性,给出了Web服务可替代性和服务请求可满足性的形式化定义。实例研究表明,该框架增强了Web服务架构的语义描述能力。
【作者单位】： 潍坊学院计算机工程学院;
【关键词】： Web服务 服务组合 形式化模型 范畴理论 进程代数
【基金】：山东省科技发展计划项目(2011YD01042,2011YD01043) 山东省优秀中青年科学家科研奖励基金资助项目(BS2011DX039) 山东省高等学校优秀中青年骨干教师国际合作培养计划项目(2013)
【分类号】：TP393.09;TP311.52
【正文快照】： 0引言近年来,随着Internet网络应用模式向着云计算不断推进,服务计算在工业界和学术界都取得了长足的发展,传统的计算系统和软件系统正逐步演变为服务系统[1]。Web服务作为一种随时可被用户访问的互联网资源,可以方便地满足用户需求,是实现面向服务计算的主要技术。通常Web服

【参考文献】

中国期刊全文数据库 前5条

1 张广泉;戎玫;朱雪阳;何亚丽;石慧娟;;基于XYZ/ADL的Web服务组合描述与验证[J];电子学报;2011年S1期

2 史忠植;常亮;;基于动态描述逻辑的语义Web服务推理[J];计算机学报;2008年09期

3 邓水光;黄龙涛;吴斌;尹健伟;李革新;;一种QoS最优的语义Web服务自动组合方法[J];计算机学报;2013年05期

4 陈振邦;王戟;董威;齐治昌;;面向服务软件体系结构的接口模型[J];软件学报;2006年06期

5 侯可佳;白晓颖;陆皓;李树芳;周立柱;;基于接口语义契约的Web服务测试数据生成[J];软件学报;2013年09期

【共引文献】

中国期刊全文数据库 前10条

1 吴彦;高洪皓;;网络软件动态演化的元胞自动机模型研究[J];电脑知识与技术;2010年05期

2 马胜男;孙翊;;现代服务业中的共性标准化问题(下)[J];信息技术与标准化;2010年06期

3 万长林;韩旭;牛温佳;王文杰;史忠植;;基于动态描述逻辑的服务组合及质量模型[J];电子学报;2010年08期

4 张大鹏;王文杰;史忠植;;一种基于主体的可信网构软件设计方法[J];电子学报;2010年11期

5 常亮;;基于逻辑的行动理论综述[J];桂林电子科技大学学报;2010年05期

6 周相兵;;本体应用综述[J];广西科学院学报;2010年04期

7 徐猛;崔立真;李庆忠;;基于扩展图规划的Top-K服务组合方法研究[J];电子学报;2012年07期

8 徐丙凤;黄志球;胡军;魏欧;肖芳雄;;一种状态事件故障树的定量分析方法[J];电子学报;2013年08期

9 李林辉;俞俊;刘东;施康;;基于E语言的全过程管理组件的设计与实现[J];电力系统自动化;2013年21期

10 俞东进;吴为;殷昱煜;闫大强;刘志清;;基于模型检测的服务规则路由正确性验证方法[J];电子科技大学学报;2014年01期

中国重要会议论文全文数据库 前2条

1 吴宁生;董光波;曾庆虎;高效;;基于面向服务和组件技术的雷达组网系统架构方法[A];2007年中国智能自动化会议论文集[C];2007年

2 董光波;吴宁生;高效;曾庆虎;杨进;温京;;一种组件式多线程网络应用架构的设计与实现[A];2009年中国智能自动化会议论文集（第六分册）[中南大学学报（增刊）][C];2009年

中国博士学位论文全文数据库 前10条

1 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年

2 宋雅娟;Web服务组合方法研究[D];吉林大学;2011年

3 萧毅鸿;基于本体的复杂决策任务表示方法与求解技术研究[D];南京大学;2011年

4 唐素勤;面向语义Web的描述逻辑本体构建[D];中南大学;2011年

5 张龙昌;面向复杂上下文的组合服务决策方法研究[D];北京邮电大学;2011年

6 沈国华;基于描述逻辑的语义Web服务建模及推理研究[D];南京航空航天大学;2009年

7 杨瑞龙;基于短语特征的Web文档聚类方法研究[D];重庆大学;2010年

8 吴明晖;面向服务的语义模型驱动企业应用软件开发方法及关键技术研究[D];浙江大学;2011年

9 陈楚湘;中医诊疗标准建立及应用的智能方法研究[D];解放军信息工程大学;2011年

10 郭晓峰;基于SOA和HLA的分布式仿真关键技术研究[D];解放军信息工程大学;2011年

中国硕士学位论文全文数据库 前10条

1 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年

2 杜娟;基于语义网格的知识地图资源组织研究与应用[D];哈尔滨工程大学;2010年

3 朱利君;基于茶学领域本体的智能检索研究[D];安徽农业大学;2010年

4 杨彦博;基于流演算的上下文感知Web服务组合研究[D];浙江大学;2011年

5 宋庆;基于领域本体的智能检索技术应用研究[D];中国农业科学院;2011年

6 简林;基于接口自动机的服务组合验证研究[D];中南大学;2011年

7 陈诚;语义Web服务索引的构建和带有QoS的服务发现[D];南京邮电大学;2011年

8 吴玲娟;基于OWL-S和HTN的语义Web服务组合技术研究[D];内蒙古科技大学;2010年

9 覃明文;基于服务操作的细粒度服务发现机制研究与应用[D];重庆大学;2011年

10 顾嘉楠;基于多层QoS本体模型的个性化服务选择机制研究[D];重庆大学;2011年

【二级参考文献】

中国期刊全文数据库 前10条

1 林惠民,张文辉;模型检测:理论、方法与应用[J];电子学报;2002年S1期

2 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑:信息科学;2004年10期

3 傅博;基于模拟退火遗传算法的软件测试数据自动生成[J];计算机工程与应用;2005年12期

4 傅博;;基于蚁群算法的软件测试数据自动生成[J];计算机工程与应用;2007年12期

5 常亮;史忠植;邱莉榕;林芬;;动态描述逻辑的Tableau判定算法[J];计算机学报;2008年06期

6 朱雪阳,唐稚松;基于时序逻辑的软件体系结构描述语言XYZ/ADL[J];软件学报;2003年04期

7 杨芙清;软件工程技术发展思索[J];软件学报;2005年01期

8 杨鑫;陈俊亮;;WSC/ADL:Web Services组合系统体系结构描述语言[J];软件学报;2006年05期

9 文艳军;王戟;齐治昌;;并发反应式系统的组合模型检验与组合精化检验[J];软件学报;2007年06期

10 王颖,谢剑英;一种自适应蚁群算法及其仿真研究[J];系统仿真学报;2002年01期

【相似文献】

中国期刊全文数据库 前10条

1 张渊源;王海舜;;基于Web服务组合的医院预检系统应用与分析[J];软件导刊;2007年19期

2 付晓东;邹平;;一种规则驱动的Web服务组合例外处理方法[J];计算机应用;2007年08期

3 钟读杭;齐治昌;徐锡山;;基于N版本程序设计的Web服务组合可靠性优化[J];计算机工程与科学;2008年06期

4 邹金安;杨艳萍;;图在自动Web服务组合中的应用研究[J];小型微型计算机系统;2008年11期

5 黄小庆;夏安邦;;基于有色Petri网和分类服务的Web服务组合模型[J];计算机集成制造系统;2009年01期

6 王志坚;程永上;徐经纬;;Web服务组合语义一致性验证研究[J];计算机集成制造系统;2009年01期

7 门鹏;段振华;;动态Web服务组合的选择策略[J];光子学报;2009年02期

8 邢智毅;李辉;;基于Web服务组合技术的智能交通信息服务系统[J];电脑与信息技术;2013年01期

9 管有庆;程强;;Web服务组合事务处理研究与实现[J];计算机技术与发展;2013年11期

10 魏慧;戎玫;张广泉;;一种基于体系结构的Web服务组合描述方法[J];计算机工程与科学;2008年12期

中国博士学位论文全文数据库 前3条

1 杨艳萍;自动Web服务组合关键技术研究[D];国防科学技术大学;2007年

2 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年

3 梅健;基于Web服务组合的文本分类PSE问题研究[D];上海大学;2008年

中国硕士学位论文全文数据库 前10条

1 沈桂芳;面向感知上下文的Web服务组合的应用研究[D];合肥工业大学;2008年

2 章征东;基于移动Agent的Web服务组合执行框架的研究与实现[D];太原理工大学;2007年

3 胡真华;动态Web服务组合管理系统的研究与实现[D];国防科学技术大学;2005年

4 闫培宁;支持Web服务组合的分布式事务处理模型[D];河南大学;2007年

5 郭艳;基于BPEL的Web服务组合建模工具的研究与实现[D];西北大学;2009年

6 段蕾;基于BPEL4WS的Web服务组合建模工具的研究和实现[D];山东大学;2007年

7 王阳阳;多目标粒子群算法在Web服务组合中的应用研究[D];河南大学;2010年

8 王庭强;Web服务组合工作流建模分析及Petri网验证[D];安徽理工大学;2008年

9 刘慧莲;Web服务组合环境下的长事务处理研究与实现[D];电子科技大学;2009年

10 李文娟;基于WS-BPEL的Web服务组合执行引擎的设计与实现[D];西北大学;2009年

，

本文编号：660175