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

基于形式方法面向服务的Web软件开发技术研究

孙军梅  
【摘要】: 网络技术的飞速发展,给人们的工作、生活方式带来了极大的变化,人们对网络的需求与依赖也越来越明显,对Web软件的需求也越来越多,例如电子政(商)务等。Web环境的开放性、分布性等特点使得Web软件开发方法不同于传统的软件开发方法。目前还没有很完善的Web软件开发方法。开发Web软件的方法基本上还是沿用传统的软件开发方法。传统的软件系统被开发为封闭的系统。虽然其构件可以来自外部,但合并到系统运行时,它们就在系统设计者控制之下。根据这一基本思想所开发的软件都具有这一特点。但在网络上,系统可能没有这样的集中控制,它们只在协议、地址和站点的交互上有统一标准,只在需要时动态绑定,所以需要一种允许用户利用网上自治的资源实现他们自己的组合,并能自动或人机互动进行服务的动态组装方法。 基于Web的软件系统的建立和维护需要软件工程方法的进一步支持。为降低Web软件系统的设计开发难度,已经研究提出了基于软件体系结构、模型驱动等设计方法。这些方法的核心是模型的构造、模型的转换和精化。但目前软件体系结构以及模型驱动体系结构的建模语言主要是以UML作为标准建模语言。UML具有可视化、容易理解等特点,但缺乏严格的语义,而模型的转换必须建立在严格语义的基础上。 本文提出基于形式方法面向服务的Web软件开发方法,围绕此问题分别从形式方法在面向服务构件的软件开发中的作用出发,对面向服务的软件体系结构的形式建模、基于模型的服务组合验证、基于形式本体的服务构件的发现、基于角色的设计模式形式建模及演化进行了研究。 提出了基于面向服务软件体系结构的自顶向下的服务构件的组装理论。鉴于目前的面向服务软件体系结构的表示主要采用W3C给出的非形式化图形表示,不能精确表示软件结构的内涵,基于面向服务软件体系结构的服务构件自动化组装存在一定的难度。本文用形式规格说明语言Z对面向服务的软件体系结构进行了形式化,并提出把面向服务的软件体系结构作为一种风格来研究。面向服务的软件体系结构风格的形式化可以更为准确和方便地在体系结构的层次上进行交流。对不同的体系结构风格进行形式化描述,有利于系统的形式化验证和不同风格之间的比较。本文还分析定义了面向服务这样一种新出现的分布式软件体系结构风格的一些性质并给出了证明,并据此风格给出了一个应用实例,并对实例的活性进行了分析。 服务组合是面向服务的Web软件开发的关键技术之一。如何有效地验证组合服务的功能及性能是服务组合研究中必须要解决的关键问题。为了能够自动地验证组合服务的各种属性,如组合服务是否能实现用户需求的功能,以及组合服务在运行过程中是否会出现用户不期望的行为,本文使用标签状态自动机建立组合服务的形式模型,将与用户的功能需求及期望的行为相关的性质表示为CTL公式,然后用形式验证工具SMV对服务组合进行了形式化验证。 发现服务是面向服务Web软件开发中的另一关键技术。本文通过建立一个领域本体来扩展用户查询端查询的语义精确性,这种方法一方面可以提高服务构件的查准率和查全率。另一个好处是克服了其它基于语义的方法在实际服务查询中的可操作性方面的难度。我们的方法可以很好地利用已有的搜索引擎来达到对服务查询效能方面的提高,本文给出了一个服务搜索引擎的原型系统。 体系结构反映系统的本质,由一些抽象的概念,以及概念间的关系来表示。但体系结构过于空泛,缺乏延伸性。设计模式正好可以弥补体系结构的这一缺陷,通过对体系结构的分析、分解,寻找和我们要解决问题匹配的模式可以使抽象的体系结构更接近用户熟悉的代码。本文提出了基于设计原则的设计模式选择方法,并给出了该方法的示例。 针对目前的设计模式模型主要采用UML模型,缺乏明确语义,有些语义信息在UML图中难以反映出来的问题,本文利用形式规格说明语言Object-Z对设计模式建模,给出了基于角色的设计模式形式建模及演化方法与步骤,该方法可以避免模式在实例化时模式重叠、可追踪性差以及模式代码难于重用等问题,方便模式的自动化演化。 最后,本文给出了面向服务的Web软件——BBS系统的开发实例,并就在面向服务的软件开发中如何使用设计模式进行了实践。


知网文化
【相似文献】
中国期刊全文数据库 前20条
1 李伟华;张自力;肖文;;一种基于本体的支持QoS的Web服务组合方法[J];西南师范大学学报(自然科学版);2011年02期
2 刘金定;徐焕良;;基于语义本体的反向迭代Web服务组合方法[J];科学技术与工程;2008年19期
3 崔华;应时;袁文杰;胡罗凯;;语义Web服务组合综述[J];计算机科学;2010年05期
4 邬翠兰;叶荣华;;语义Web服务发现模型研究[J];计算机与现代化;2008年06期
5 谢储晖;;地理信息服务组合技术研究[J];苏州市职业大学学报;2009年01期
6 马可方;李陶深;;语义Web和UDDI集成的研究[J];广西科学院学报;2006年04期
7 王强;王家耀;郭建忠;;基于Agent的空间信息服务组合研究[J];测绘科学技术学报;2009年01期
8 郭建文;于德介;刘坚;曾威;;网格环境下基于本体的设备故障诊断服务发现方法[J];中国机械工程;2009年20期
9 许卓明;石磊;;基于语义的Web服务发现算法研究[J];计算机应用与软件;2006年05期
10 饶祎;刘鹏;;基于本体的GridGIS服务发现框架研究[J];地理信息世界;2007年04期
11 魏娟丽;;一种改进的语义Web服务发现方法[J];电子设计工程;2010年07期
12 罗丹;姜建华;盛步云;杨明忠;;制造网格中基于语义的服务发现技术及应用[J];武汉理工大学学报;2008年08期
13 付文静;彭志平;杨社堂;;语义web服务发现技术研究进展[J];茂名学院学报;2009年03期
14 龚小勇;;基于QoS的Web服务发现与组合框架[J];重庆电子工程职业学院学报;2009年03期
15 沈记全;辛焦丽;;基于本体的服务组合算法研究[J];计算机工程与科学;2009年08期
16 何智勇;贲可荣;;基于过程模型的服务组合方法[J];计算机工程与科学;2009年10期
17 康晓东;刘海岩;;语义服务匹配方法[J];硅谷;2011年16期
18 路松峰;龚四平;;基于语义的Web服务发现算法优化[J];计算机工程与设计;2007年12期
19 夏亚梅;孟祥武;陈俊亮;刘栋;黄永生;;面向服务组合的偏好本体表示及应用[J];北京邮电大学学报;2008年04期
20 戴雪梅;姜浩;;基于带权图规划算法的语义Web服务组合[J];计算机技术与发展;2010年03期
中国重要会议论文全文数据库 前10条
1 马可方;李陶深;;语义Web和UDDI集成的研究[A];广西计算机学会2006年年会论文集[C];2006年
2 唐善成;;普适计算中服务描述的形式化模型[A];2008'中国信息技术与应用学术论坛论文集(二)[C];2008年
3 许鹏波;鱼滨;;基于P2P环境的语义Web服务发现模型[A];2006年全国开放式分布与并行计算学术会议论文集(一)[C];2006年
4 汪晖;吴国文;葛孝堃;;一种基于问题分解的Web Service发现模型[A];计算机技术与应用进展·2007——全国第18届计算机技术与应用(CACIS)学术会议论文集[C];2007年
5 沈国华;黄志球;朱小栋;仲晶;项高友;;一种基于描述逻辑的语义Web服务匹配方法[A];2008'中国信息技术与应用学术论坛论文集(一)[C];2008年
6 张广娟;刘建红;赵波;;Proxy设计模式在大数据量处理中的应用[A];中国地球物理学会第二十届年会论文集[C];2004年
7 马重明;张学旺;王佐成;;基于UML和设计模式的OOA&D在库存管理系统中的应用[A];’2004计算机应用技术交流会议论文集[C];2004年
8 于爱荣;王俊;刘晓明;曹雷;;Observer设计模式的改进型模式的实现与研究[A];’2004系统仿真技术及其应用学术交流会论文集[C];2004年
9 朱定强;柯维娜;刘运峰;;单室双推力固体火箭发动机初步设计[A];中国宇航学会2005年固体火箭推进第22届年会论文集(发动机分册)[C];2005年
10 赵泽宗;;比喻推理建构[A];逻辑今探——中国逻辑学会第五次代表大会暨学术讨论会论文集[C];1996年
中国博士学位论文全文数据库 前10条
1 孙军梅;基于形式方法面向服务的Web软件开发技术研究[D];上海大学;2008年
2 安杨;基于本体的网络地理服务中的关键问题研究[D];武汉大学;2005年
3 卢刘明;基于语义的web服务发现与组合关键技术研究[D];东华大学;2006年
4 蒲国林;基于QoS的服务模型与方法研究[D];西南大学;2009年
5 宋莉莉;基于SOA的建模与仿真框架及仿真服务发现技术研究[D];国防科学技术大学;2009年
6 杜文华;本体的构建及其在数字图书馆中的应用研究[D];武汉大学;2005年
7 严亚兰;基于语义Web的知识处理研究[D];武汉大学;2005年
8 张抗抗;基于语义Web Services的企业异构系统应用集成研究与实现[D];山东大学;2006年
9 罗正鸿;D_4/APAEDMS本体开环共聚及其数学模拟[D];浙江大学;2003年
10 龚小勇;基于QoS的Web服务发现与组合方法研究[D];重庆大学;2008年
中国硕士学位论文全文数据库 前10条
1 武海峰;基于OWL-S的动态服务组合的改进的研究[D];江南大学;2007年
2 郎大为;基于语义Web服务的服务组合与匹配算法研究[D];大连理工大学;2006年
3 栾秀梅;基于Web的服务发现机制研究[D];山东师范大学;2006年
4 张娜;基于Ontology和P2P技术的网格服务发现模型[D];大连理工大学;2006年
5 姚书怀;语义Web服务发现机制的研究[D];西华大学;2006年
6 李玉鑫;基于本体的动态Web服务组合的研究与应用[D];大连理工大学;2009年
7 张以文;基于本体的Web服务动态发现和合成技术研究[D];合肥工业大学;2006年
8 田加正;物联网环境下基于QoS的Web服务组合研究[D];中国石油大学;2011年
9 单宝宁;Web服务组合的研究与应用—服务组合中的QoS管理模型[D];江南大学;2008年
10 杨晓琴;基于TMS的Web服务动态切换研究[D];太原科技大学;2009年
中国重要报纸全文数据库 前10条
1 黄家艳;川电三公司汽机工程处本体班获“全国质量信得过班组”[N];西南电力报;2002年
2 刘春田;“知识”的本体和现实形态[N];中国知识产权报;2004年
3 大江;锻造本体竞争力[N];中国改革报;2006年
4 中国科学院计算技术研究所 黄瑞史忠植;加强知识的共享与重用[N];计算机世界;2007年
5 深圳报业集团驻京记者 陆云红;改革开放之窗创新活力之都[N];深圳特区报;2006年
6 任玉岭;一本体现时代精神的哲学教材[N];光明日报;2003年
7 郑敏;也谈本体杂文[N];中国文化报;2003年
8 宏图三胞高级副总裁 花贵侃;企业需要一条灵活的“尾巴”[N];电脑商报;2007年
9 中国科学院计算技术研究所 万长林史忠植 彭晖;语义Web解决Web服务难题[N];计算机世界;2007年
10 左孝 记者蒋寒;世界最大本体装置在天原建成[N];科技日报;2005年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978