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

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对等点服务的设计思路和具体实现技术。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 花全香,邢汉承,冯纯伯;数据流分析的图文法途径[J];小型微型计算机系统;1997年07期
2 孟祥武;图文法遗传算法[J];计算机工程与科学;1998年04期
3 花全香,邢汉承,冯纯伯;一种有效的结点标号上下文无关图文法分析算法[J];软件学报;1995年09期
4 方林,谢立;关系图文法及其应用[J];软件学报;1997年02期
5 张一立,孙杰,唐常杰,练林,郑红兰;数据模化与树图文法[J];计算机研究与发展;1991年09期
6 徐建礼,周龙骧;基于图文法的并发系统状态测试方法及其实现[J];软件学报;1996年10期
7 孔骏;赵春颖;;可视化语言技术在软件开发中的应用(英文)[J];软件学报;2008年08期
8 但斌;李兴华;;基于图文法的产品族表达方法[J];系统工程与电子技术;2006年06期
9 邹阳;曾晓勤;韩秀清;张康;;一个描述可视化语言上下文属性化的图文法框架(英文)[J];Journal of Southeast University(English Edition);2008年04期
10 张迪;伦立军;;面向图文法的体系结构测试方法研究[J];哈尔滨师范大学自然科学学报;2010年01期
11 冉平;石兵;马晓星;吕建;;上下文相关图文法分析及其应用初探[J];计算机科学;2006年03期
12 马晓星;曹春;余萍;周宇;;基于图文法的动态软件体系结构支撑环境[J];软件学报;2008年08期
13 曾晓勤;韩秀清;邹阳;;一种基于边的上下文相关图文法形式化框架[J];软件学报;2008年08期
14 韩秀清;曾晓勤;邹阳;张康;;图文法综述[J];计算机科学;2008年08期
15 马晓星,张小蕾,吕建;自省的动态软件体系结构描述与实现[J];南京大学学报(自然科学版);2004年02期
16 韩秀清;曾晓勤;邹阳;;图文法EGG在设计模式中的应用[J];计算机工程与科学;2010年03期
17 朱世佳;王亚东;季春光;陶海军;;基于TGG的SBML与其他生物建模语言间的自动转换研究[J];计算机研究与发展;2011年05期
18 曾法力;李爱平;谢楠;徐立云;;基于图重写规则的可重构机床配置规划[J];计算机集成制造系统;2011年08期
19 韦梓楚;关于并行语言Gamma的结构化扩充[J];软件学报;2000年11期
20 张一立,卢东,王文全;数据分类与绘制实体-关系图的计算机实现[J];计算机研究与发展;1991年01期
中国重要会议论文全文数据库 前1条
1 文贵华;张宇;丁月华;;开放对象操作的可视化研究[A];数据库研究与进展95——第十三届全国数据库学术会议论文集[C];1995年
中国博士学位论文全文数据库 前1条
1 代印唐;基于语义网络的知识协作关键技术研究[D];复旦大学;2009年
中国硕士学位论文全文数据库 前4条
1 朱世佳;基于Petri网和SBML的可视化生物建模语言的研究[D];哈尔滨工业大学;2007年
2 张鑫;基于组件的医学影像处理算法平台的研究与实现[D];沈阳航空工业学院;2009年
3 李兴华;大规模定制模式下基于图文法的产品族配置管理研究[D];重庆大学;2006年
4 李小青;基于MDA的软件开发方法研究与应用[D];华北电力大学(河北);2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978