收藏本站
《中国科学院研究生院(软件研究所)》 2004年
收藏 | 手机打开
二维码
手机客户端打开本文

Web服务复合的若干关健问题研究

任志宏  
【摘要】: 随着以Web服务为基础的面向服务的体系结构的发展,如何复合分布的、自治的Web服务构筑新的企业业务应用的问题也成为软件工程领域一个新的热点问题。利用Web服务复合技术,企业业务应用可以获得极大的敏捷性。但是,Web服务复合技术的研究刚刚起步,在复合建模、结构验证、执行语义和支撑框架等方面的研究尚不充分;本文针对这些不足展开研究。 本文首先提出了一个基于属性图理论的Web服务复合模型——WSCG模型,改进了现有Web服务复合模型在可视化表示能力和执行语义的确定性等方面的不足;模型包括Web服务复合的可视化表示模型和执行模型两个方面。其次,基于属性图文法,本文给出了由WSCG文法描述的Web服务复合元模型,对WSCG模型的设计过程进行约束,形成一种以属性图文法导向的WSCG模型设计方式;不但保证了用户可以生成符合规范的WSCG模型,而且消除了WSCG模型在结构上可能引发死锁的部分原因。同时,我们也给出了WSCG模型的形式化定义。 在WSCG模型的基础上,针对目前Web服务复合模型缺乏良构性验证的问题,在WSCG模型的静态特性验证方面,我们定义了WSCG模型的类型安全性,并给出了相应的WSCG模型全局类型安全性的验证算法,解决了验证WSCG模型中输入输出消息集合的类型是否匹配以及输入消息是否是完备的问题;在WSCG模型的动态特性方面,我们主要分析了WSCG模型的可达性、活锁和死锁问题。不但给出了WSCG模型的可达性分析方法和活锁检测方法;而且通过定义WSCG模型的依赖关系图,模拟WSCG模型的执行过程中的控制依赖和数据依赖关系,设计了基于依赖关系分析的WSCG模型死锁检测算法,检测WSCG模型有无死锁存在。 本文还在统一的属性图变换理论框架内研究了WSCG模型的执行语义,以保证WSCG模型的执行实例和WSCG设计模型的一致性。WSCG模型的执行语义有两种描述方式,一种是定义在WSCG元模型之上的基本的执行语义,这是WSCG模型进行解释执行的基础。除了定义在元模型之上的执行语义,通过扩展WSCG模型基于事件的可执行框架中提供的三类用户定制事件,用户亦可以定制面向领域应用的用户定制执行语义,提高WSCG模型的适用性。论文也通过构造变换产生式集合的并行不相关割集和变换产生式的顺序不相关集合,设计了WSCG模型的执行算法,改善执行效率。 最后,本文从软件复用角度出发,基于WSCG模型,设计了Web服务复合的基本框架——WSCG Framework。Web服务复合框架涵盖了Web服务复合模型表示、WSCG模型、WSCG变换和WSCG验证四个方面的内容。同时,基于WSCG Framework我们设计并实现了支持Web服务复合模型的设计、验证和执行的原型系统,并给出了原型系统的总体结构,描述了其中的关键部件,如WSCGEditor、WSCG协调者、状态管理器、Web服务代理和WSCG对等点服务的设计思路和具体实现技术。
【学位授予单位】:中国科学院研究生院(软件研究所)
【学位级别】:博士
【学位授予年份】:2004
【分类号】:TP393.09

【引证文献】
中国期刊全文数据库 前4条
1 张弛;陈彦萍;;基于情景演算的Web服务语义描述[J];电脑知识与技术;2010年27期
2 程燕;程杰;;面向SOA架构的单通道应用程序模式的改进[J];计算机与数字工程;2007年03期
3 张军朝;郭明智;李俊山;;山西建筑市场与招投标信息应用服务平台技术[J];山西建筑;2010年34期
4 刘文华;和晓军;;Web服务复合技术研究[J];科技创新导报;2008年05期
中国重要会议论文全文数据库 前1条
1 薛永安;;基于Web服务的招投标领域应用集成框架BDAIF[A];跨越发展:七省市第十届建筑市场与招标投标优秀论文集[C];2010年
中国博士学位论文全文数据库 前1条
1 杨文军;Web服务组装关键技术研究[D];清华大学;2005年
中国硕士学位论文全文数据库 前9条
1 赵实;Web服务可靠性若干关键问题研究[D];南京大学;2011年
2 朱元鸿;基于Web services的超市订单服务平台设计[D];复旦大学;2010年
3 赵春娟;Web服务组合方法的研究与实现[D];天津理工大学;2011年
4 苏晓波;WEB快速开发框架的设计与实现[D];华中科技大学;2010年
5 光超;面向价值的服务模型分析与组合方法[D];哈尔滨工业大学;2011年
6 刘群;QoS与概率驱动的Web服务集成策略[D];中国海洋大学;2005年
7 汪青松;基于J2EE平台的Web服务复合技术的研究与应用[D];武汉理工大学;2006年
8 韩建福;文档聚类在搜索引擎结果中的应用研究[D];北京交通大学;2007年
9 龙艳;基于T-RBAC的船厂工作流访问控制模型的研究[D];武汉理工大学;2009年
【共引文献】
中国期刊全文数据库 前10条
1 张亮;金茂忠;姚淑珍;;一种支持工作流模式的扩展工作流网[J];北京航空航天大学学报;2007年01期
2 章汉武;龚俊;吴华意;;地理空间信息服务质量评价的概念与方法[J];测绘科学;2012年01期
3 Jong-sun CHOI;Jae-young CHOI;Yong-yun CHO;;Context-aware Workflow Model for Supporting Composite Workflows[J];Journal of Measurement Science and Instrumentation;2010年02期
4 李征;李昭;何克清;王健;冯在文;;Research on Evolution of Goal-Driven Service Composition Patterns[J];Journal of Donghua University(English Edition);2012年01期
5 张华;王茜;;面向服务工作流补偿机制的研究与实现[J];东南大学学报(自然科学版);2009年01期
6 于素萍;毛伟伟;;基于抽象服务流程的Web服务组合的重用[J];电脑知识与技术;2010年33期
7 尹毅伟;刘敏;孙斗;赵永望;;Web服务标准及互操作性分析(六) Web服务业务流程相关标准的互操作性分析[J];信息技术与标准化;2009年08期
8 顿海强;赵文;邓鹏鹏;张世琨;王立福;谭杰;;一种基于RFID数据集的物品工作流挖掘方法[J];电子学报;2008年S1期
9 朱学伟;孙奎;路鹏;殷兆麟;;工作流模式的概述[J];福建电脑;2007年12期
10 傅琴;潘孝铭;;基于Pi演算的工作控制流模式研究[J];福建电脑;2008年10期
中国重要会议论文全文数据库 前3条
1 陈娇娇;薛岗;何象林;何婧;;基于DSC的工作流模式描述研究[A];全国第20届计算机技术与应用学术会议(CACIS·2009)暨全国第1届安全关键技术与应用学术会议论文集(下册)[C];2009年
2 段友祥;相鹏;;Web服务组合引擎的研究与实现[A];第二十三届中国数据库学术会议论文集(研究报告篇)[C];2006年
3 周建涛;叶新铭;李平;;网格环境中基于SOA的工作流系统架构研究[A];第二十四届中国数据库学术会议论文集(技术报告篇)[C];2007年
中国博士学位论文全文数据库 前10条
1 宋巍;Web服务组合动态演化技术研究[D];南京大学;2010年
2 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
3 崔毓剑;基于网络化的林业工程装备制造业供应链协同研究[D];中南林业科技大学;2010年
4 董存祥;应急事件处置流程建模及其过程协同研究[D];天津大学;2010年
5 刘灿灿;科学工作流管理及调度研究[D];国防科学技术大学;2011年
6 蔡章利;基于BPMN的业务流程一体化建模方法研究与实现[D];重庆大学;2011年
7 黄红梅;基于同步管理器的柔性工作流建模方法的研究[D];广东工业大学;2011年
8 房俊;支持最终用户编程的服务虚拟化方法研究[D];中国科学院研究生院(计算技术研究所);2006年
9 李景霞;基于扩展颜色Petri网的Web服务组合建模研究[D];中国科学院研究生院(计算技术研究所);2006年
10 杨雨图;支持双语的协同CAPP系统若干关键技术研究[D];南京航空航天大学;2006年
中国硕士学位论文全文数据库 前10条
1 李占峻;基于Pi演算的网格工作流形式化描述及有效性检测[D];解放军信息工程大学;2009年
2 朱琴;放射流程监控与自动排班技术研究[D];浙江大学;2011年
3 刘雅琪;基于工作流的网上协同OA系统的设计与研究[D];湖北工业大学;2011年
4 周欣;工作流技术在科研管理信息系统中的应用研究与实现[D];北京交通大学;2011年
5 马伟;面向服务的工作流系统研究与实现[D];曲阜师范大学;2011年
6 王芳;基于JBPM的林权证管理系统研建[D];北京林业大学;2011年
7 刘伟跃;基于工作流的张航校园网OA系统的设计与开发[D];中南大学;2010年
8 张少轩;基于SOA的动物卫生监督系统的设计与实现[D];华北电力大学;2011年
9 李号彩;工作流引擎技术研究及在项目管理系统中的应用[D];湖南大学;2009年
10 崔昕岗;基于工作流的电磁兼容综合测试系统关键技术研究[D];国防科学技术大学;2010年
【同被引文献】
中国期刊全文数据库 前10条
1 程贵秀,叶延科;产品数据库系统的结构研究[J];兵工自动化;2003年03期
2 邓志鸿,唐世渭,张铭,杨冬青,陈捷;Ontology研究综述[J];北京大学学报(自然科学版);2002年05期
3 张煜,葛声,孙海龙,马殿富;Web服务组合处理系统的研究与实现[J];北京航空航天大学学报;2005年04期
4 吕宜洪,宋瀚涛,龚元明;基于RBAC改进模型的角色权限及层次关系分析[J];北京理工大学学报;2002年05期
5 ;价值工程法[J];城市煤气;2001年12期
6 苏志勇;周颖;李必信;;面向用户的Web服务可靠性计算模型[J];东南大学学报(自然科学版);2008年04期
7 陶再平;樊甫伟;吴吉义;;基于对象-关系映射技术的数据库应用系统的开发[J];电脑知识与技术(学术交流);2007年10期
8 苏华军;;基于Hibernate的JAVA对象持久化技术[J];电脑知识与技术;2008年29期
9 柏永斌;许利亚;冯震宇;黄爱军;;基于XML和WebService的异构数据整合技术应用研究[J];电脑知识与技术;2009年08期
10 李德兵;尹战文;王洪明;;Java EE基于Hibernate的ORM框架[J];电子技术;2010年02期
中国博士学位论文全文数据库 前10条
1 李双庆;Web服务器集群技术研究[D];重庆大学;2003年
2 梁晟;基于语义Web的服务自动组合技术的研究[D];中国科学院研究生院(软件研究所);2004年
3 费玉奎;Web构件模型研究及其在水利领域中的应用[D];河海大学;2005年
4 汤景凡;动态Web服务组合的关键技术研究[D];浙江大学;2005年
5 胡建强;Web服务发现若干关键技术研究[D];国防科学技术大学;2005年
6 冯名正;Web服务组合关键技术研究[D];东南大学;2006年
7 刘家茂;Web services动态合成及UDDI注册/查询技术的研究[D];复旦大学;2005年
8 邹琼;Java虚拟机的自适应动态优化[D];中国科学技术大学;2008年
9 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年
10 张东;中国互联网信息治理模式研究[D];中国人民大学;2010年
中国硕士学位论文全文数据库 前10条
1 熊丽;基于J2EE和MVC的Web应用开发方法的探讨[D];武汉理工大学;2002年
2 康其桔;基于Web服务的电子政务综合平台系统设计[D];南京理工大学;2003年
3 周树语;面向对象框架复用技术研究与应用[D];重庆大学;2004年
4 黎星星;应用语义网构建Web服务推荐系统[D];重庆大学;2003年
5 周宏生;基于Web服务的企业应用集成的研究与应用[D];大连理工大学;2005年
6 刘媛媛;基于Agent的Web服务组合研究[D];南京航空航天大学;2005年
7 谭辉;基于扩展活动网络图的工作流质量管理系统的研究[D];四川大学;2005年
8 龙洪波;我国互联网信息管理研究[D];华中科技大学;2005年
9 周星海;基于SOAP的Web服务访问控制技术的研究[D];大连海事大学;2006年
10 贾广宇;MVC设计模式下Web开发框架的研究与应用[D];大连海事大学;2006年
【二级引证文献】
中国期刊全文数据库 前4条
1 章晓勤;李心科;夏克付;;基于SOA的软件开发方法研究以及在高校学生管理系统的应用[J];福建电脑;2008年04期
2 赵宇晴;黄秋波;苏厚勤;;SaaS流程可配置模型的研究与实现[J];计算机应用与软件;2011年12期
3 白宇;张尧学;周悦芝;;基于服务质量信息的服务组装算法[J];计算机工程;2012年16期
4 王倩;;文档聚类技术在搜索引擎中的应用研究[J];图书馆学研究;2008年11期
中国博士学位论文全文数据库 前2条
1 张卫;基于XaaS的制造服务链形成与应用研究[D];浙江大学;2011年
2 张佩云;基于语义的Web服务组合研究[D];南京理工大学;2008年
中国硕士学位论文全文数据库 前10条
1 聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年
2 杨跃辉;基于SOA的项目信息管理系统的设计与实现[D];西南交通大学;2010年
3 广树建;SOA架构的独立学院教务管理系统研究与设计[D];中山大学;2011年
4 高立蓬;公安110指挥决策业务系统[D];天津大学;2011年
5 潘丽丽;基于状态ECA规则和Web服务的业务过程集成方法研究[D];中国海洋大学;2008年
6 章晓勤;基于SOA的软件开发方法的研究及应用[D];合肥工业大学;2008年
7 黄妍琴;Web服务失效问题研究[D];中国石油大学;2009年
8 于宽春;Web服务环境下业务流程实现与执行模式的研究[D];山东大学;2010年
9 何红玉;基于EJB技术的固定资产及设备管理系统的开发[D];东北石油大学;2010年
10 赵小盼;基于Web Services和ODS的软件全面质量管理体系研究[D];成都理工大学;2010年
【相似文献】
中国期刊全文数据库 前10条
1 何希;范冰冰;吴志敏;;面向Web服务的管理体系架构[J];现代计算机(专业版);2008年05期
2 邓武;赵慧敏;牛一捷;唐飞龙;;面向服务的企业应用集成架构研究[J];计算机与应用化学;2007年07期
3 王孝满;周晓明;毛宇光;;数据资源服务化技术的研究与实现[J];计算机技术与发展;2011年03期
4 潘定;潘琰;;面向开放互操作环境的本体存储库研究[J];现代图书情报技术;2006年07期
5 王明倩;任月鸥;;基于Web服务的应用集成研究[J];长春工业大学学报(自然科学版);2008年06期
6 许有志;王锐兵;王道平;;面向服务的敏捷知识管理及关键技术研究[J];情报杂志;2008年03期
7 孟晖;周剑明;肖俐平;李德毅;;面向服务软件的网络拓扑表示方法[J];计算机科学;2009年03期
8 吴家菊;唐定勇;席传裕;;基于Web服务的协同制造研究[J];计算机工程与设计;2007年22期
9 王雪萍;宋旭东;刘晓冰;;基于MDA的Web服务动态组合的研究[J];计算机工程与设计;2009年13期
10 李新;;基于Java EE面向服务的工作流管理系统设计[J];山东科学;2009年01期
中国重要会议论文全文数据库 前10条
1 杨占胜;;基于Web服务的基本遗传算法实现[A];第三届中国智能计算大会论文集[C];2009年
2 尤军;;谈气象Web服务的网络安全问题[A];网络安全技术的开发应用学术会议论文集[C];2002年
3 刘正涛;毛宇光;应毅;;基于Web服务的分布式Web应用框架研究[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
4 任涛;李玉忱;刘乃丽;;面向动态环境的Web服务合成系统[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
5 张伟燕;席传裕;;J2EE中异步Web服务的研究与应用[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
6 蔡子龙;俞集辉;;基于Web服务的远程报表打印系统的研究[A];电工理论与新技术2004年学术研讨会论文集[C];2004年
7 许国艳;李晓芳;;J2EE平台上基于Web服务的动态电子商务架构研究[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
8 李滨;刘莹;;UDDI注册中心综述[A];中国企业运筹学[C];2009年
9 唐勇;刘玉芳;孔晓峰;;基于Specification的保护Web服务的入侵检测技术研究[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
10 田绍亮;左明;;基于Web服务的医学影像共享[A];第一届全国Web信息系统及其应用会议(WISA2004)论文集[C];2004年
中国重要报纸全文数据库 前10条
1 李佳师 孙爱民;Web服务,在等待中成熟[N];中国电子报;2004年
2 宁肯;Web服务:黎明前的跋涉[N];计算机世界;2005年
3 朴华;SilverStream延伸Web服务[N];中国计算机报;2002年
4 IBM软件集团亚太区副总裁Andrew Dutton;Web服务——新一代电子商务的核心[N];计算机世界;2001年
5 中国科学院软件研究所 刘绍华;“坐,请坐,请上坐!”[N];计算机世界;2005年
6 李浩;Web服务的阳光之旅[N];网络世界;2004年
7 本报记者 薛斐;Web服务不神秘![N];计算机世界;2002年
8 徐昊;Lotus ND6:强化Web服务协作[N];中国计算机报;2002年
9 本报记者 龚杰;Web服务需要管理[N];计算机世界;2004年
10 ;Web服务 力助IT[N];中国电子报;2005年
中国博士学位论文全文数据库 前10条
1 任志宏;Web服务复合的若干关健问题研究[D];中国科学院研究生院(软件研究所);2004年
2 吴健;基于Web服务的网络化产品配置技术研究[D];浙江大学;2004年
3 龚晓庆;基于Web服务的分布式工作流管理系统研究[D];西北大学;2004年
4 朱一群;Web服务访问控制研究[D];上海交通大学;2008年
5 蒋哲远;基于Web服务的特定领域软件体系结构及其关键技术研究[D];合肥工业大学;2006年
6 钟读杭;Web服务组合的可靠性预测研究[D];国防科学技术大学;2007年
7 温浩宇;制造网格若干关键技术研究[D];西安电子科技大学;2005年
8 刘必欣;动态Web服务组合关键技术研究[D];国防科学技术大学;2005年
9 詹建;基于无线传感器网络的协同技术研究[D];兰州大学;2007年
10 孙宏彬;面向服务突现的整体智能模型及其应用研究[D];东华大学;2007年
中国硕士学位论文全文数据库 前10条
1 庄夏;面向服务的EDI模型研究[D];西南大学;2006年
2 袁利永;面向服务的高校信息系统集成研究[D];华东师范大学;2006年
3 张大明;面向服务的企业分布式应用体系结构研究[D];辽宁工程技术大学;2005年
4 王强;面向服务的智能客户端在MIS系统中的研究与实现[D];南昌大学;2008年
5 刘明升;Web服务动态组合的关键技术研究[D];大连海事大学;2008年
6 林亚男;一种基于Web服务的数据挖掘系统框架的研究与实现[D];华中科技大学;2007年
7 王文娟;基于UDDI的Web服务信息发布系统[D];西北工业大学;2003年
8 张敏;基于SOA的工作流管理系统研究[D];长春理工大学;2008年
9 吴蕾;SOA框架下面向Web服务的注错测试工具研究[D];合肥工业大学;2006年
10 江红;XML在Web服务中的应用[D];武汉理工大学;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026