收藏本站
《武汉大学》 2009年
收藏 | 手机打开
二维码
手机客户端打开本文

语义编程语言SPROGLE及其实现机制研究

曹虹华  
【摘要】:以语义Web服务为基础,利用语义技术更快速、更高效地进行软件系统的开发,已经成为解决企业应对不断变化市场需求的理想解决方案。本文在研究现有的面向服务的软件开发方法和技术的基础上,针对如何面向语义Web服务进行软件系统编程、验证和执行的问题,提出了一种以语义信息处理为基础的、以语义Web服务为软件基本构成元素的编程语言,研究该语言的实现机制及其形式化模型,并设计和开发相应的支撑平台。 本文的主要工作包括以下四个方面:1)提出了一种语义编程语言SPROGLE,并研究了SPROGLE程序的变换机制和执行机制。SPROGLE语言定义了语义数据、语义服务、语义规则和语义流程四个语义层的软件构造单元,用于编写面向语义Web服务的软件系统。基于该语言,开发人员可以在语义层上进行程序设计。2)基于类型化的π演算理论,研究了SPROGLE语言的形式化模型,为基于形式化方法对程序进行模型检查和验证提供支持。重点研究了基于该形式化模型,分析和验证构成软件系统的服务之间交互时的数据类型不匹配和服务之间交互行为的正确性。3)研究并开发编辑和执行SPROGLE程序的支撑环境,包括SPROGLE图形化编辑工具SPROGLE Designer Studio、SPROGLE程序变换工具SPROGLE Converter、SPROGLE程序执行引擎SPROGLE Execution Engine及其管理平台Administer,给出了这些工具的核心设计和关键实现技术。4)提出了一种基于SPROGLE语言的语义软件开发方法,并结合电子商务领域旅游预订具体案例,给出了基于SPROGLE语言进行软件分析、软件设计、软件编码、软件部署和软件运行的整个开发过程。
【学位授予单位】:武汉大学
【学位级别】:博士
【学位授予年份】:2009
【分类号】:TP391.1

手机知网App
【参考文献】
中国期刊全文数据库 前10条
1 李舟军,陈火旺,王兵山;π-演算的符号迁移图及其早互模拟验证算法[J];中国科学E辑:技术科学;1999年04期
2 刘静;何积丰;Zhiming Liu;;面向服务架构中服务实现的策略[J];中国科学E辑:信息科学;2006年10期
3 饶元;冯博琴;李尊朝;;ALBC4WS:一种基于软件体系结构生命周期的动态服务合成框架[J];计算机研究与发展;2005年12期
4 辜希武;卢正鼎;;类型化的Web服务组合形式化模型[J];计算机科学;2008年01期
5 史忠植,蒋运承,张海俊,董明楷;基于描述逻辑的主体服务匹配[J];计算机学报;2004年05期
6 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期
7 钱柱中;陆桑璐;谢立;;基于Petri网的Web服务自动组合研究[J];计算机学报;2006年07期
8 郭玉彬;杜玉越;奚建清;;Web服务组合的有色网模型及运算性质[J];计算机学报;2006年07期
9 许斌;李涓子;王克宏;;Web服务语义标注方法[J];清华大学学报(自然科学版);2006年10期
10 许文,方海,林惠民;π-演算互模拟判定算法的优化和实现[J];软件学报;2001年02期
【共引文献】
中国期刊全文数据库 前10条
1 高志升,刘兴伟;基于语义P2P的Web服务模型[J];阿坝师范高等专科学校学报;2005年03期
2 王红艳;朱全银;丁甜甜;;通信终端与农村科技服务平台的Web服务数据同步设计[J];安徽农业科学;2012年01期
3 代秀娟;章昭辉;王敏生;杨娟;潘冬生;汪小寒;;旅游信息服务组合的Petri网建模及其实现[J];安徽师范大学学报(自然科学版);2011年04期
4 方芳;叶春明;;基于Qos的语义Web服务发现研究[J];安庆师范学院学报(自然科学版);2010年02期
5 侯贵法;罗颖;;基于SOA的数字气田应用集成[J];安阳工学院学报;2007年04期
6 曹利培;杨庆祥;李冰川;;一种考虑QoS的网格服务匹配模型[J];安阳工学院学报;2009年02期
7 刘实;刘书雷;熊伟;钟志农;;基于工作流的服务动态聚合平台[J];兵工自动化;2007年10期
8 常宏达;孙文辉;于双元;丁丁;;Web服务组合形式理论分析与研究[J];兵工自动化;2009年05期
9 康辉;苑森淼;浦洁;刘勇;;基于Pi演算的Web服务建模与WSDL转换[J];北京工业大学学报;2008年11期
10 张万方;朱全银;王红艳;丁甜甜;;通信终端与Web服务程序数据同步设计[J];北京联合大学学报(自然科学版);2011年02期
中国重要会议论文全文数据库 前10条
1 万芳;沈建京;韩丁;张慧;;基于SOA的服务构件组合技术研究[A];第二十七届中国控制会议论文集[C];2008年
2 陶冶;刘建勋;唐明董;;基于Map/Reduce的分布式Web服务搜索引擎设计与实现[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
3 党德鹏;徐俏;徐娟;;基于替代的Web服务事务提交协议及其性能分析[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
4 赵会群;孙晶;魏莹;王文文;;服务体系结构的动态演化方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
5 曹栋;李晓峰;乔秀全;孟洛明;;基于模型驱动架构的语义化电信服务建模方法研究[A];CCF NCSC 2011——第二届中国计算机学会服务计算学术会议论文集[C];2011年
6 陈彦萍;李增智;夏虹;朱海萍;;服务质量驱动的Web服务组合框架的设计与实现[A];2006年全国通信软件学术会议论文集[C];2006年
7 李宏伟;李勤超;蔡畅;;基于OWL-S的地理信息服务语义描述研究[A];中国地理信息系统协会第四次会员代表大会暨第十一届年会论文集[C];2007年
8 薛海丽;樊永生;韩燮;;下一代网络结构和关键技术分析[A];AECC专题学术研讨会论文集[C];2007年
9 张艳梅;;基于Overlay网络的服务组合研究综述[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
10 董燕;;中央监测资源集成平台的软件架构设计思路[A];中国新闻技术工作者联合会2008年学术年会论文集(下)[C];2008年
中国博士学位论文全文数据库 前10条
1 张宇;个性化移动内容服务的模型和支持技术研究[D];华中科技大学;2010年
2 朱里越;多业务协同系统服务组合技术研究[D];中国科学技术大学;2010年
3 高瞻;网格任务调度中服务质量保证相关问题研究[D];北京交通大学;2010年
4 殷昱煜;面向服务的软件动态配置技术研究[D];浙江大学;2010年
5 尹可挺;Internet环境中基于QoS的Web服务组合研究[D];浙江大学;2010年
6 傅朝阳;面向实时任务求解的自治服务协同模型、形式语义及其验证[D];浙江大学;2010年
7 邝砾;基于接口和行为语义的Web服务发现与适配研究[D];浙江大学;2009年
8 王强;空间信息服务聚合的关键技术研究[D];解放军信息工程大学;2010年
9 付晓东;Web服务组合服务质量保障关键问题研究[D];昆明理工大学;2008年
10 曹洪江;基于用户需求的Web服务组合系统研究[D];武汉理工大学;2010年
中国硕士学位论文全文数据库 前10条
1 吕媛媛;基于本体的物流信息集成系统的研究[D];山东科技大学;2010年
2 聂剑锋;基于QoS的Web服务选择研究[D];浙江理工大学;2010年
3 宋超臣;基于推荐网络的服务搜索技术研究[D];哈尔滨工程大学;2010年
4 戴步成;基于ArcGIS Server的电子地图研究及应用[D];大连理工大学;2010年
5 马文涛;基于Web Services的工作流系统新模型的研究与实现[D];辽宁工程技术大学;2010年
6 华建新;基于语义的Web服务发现及算法研究[D];长沙理工大学;2010年
7 周凌;基于web的网络实验教学管理系统的设计与实现[D];合肥工业大学;2010年
8 康件丽;网格服务质量评价与服务组合的研究[D];河南理工大学;2010年
9 张大奎;基于Agent的网格服务组合研究[D];河南理工大学;2010年
10 马百皓;基于Web Service的校园电子商务平台研究与开发[D];华东师范大学;2010年
【二级参考文献】
中国期刊全文数据库 前10条
1 唐飞龙,李明禄,曹健;一个Web服务事务处理模型:结构、算法和事务补偿[J];电子学报;2003年S1期
2 史忠植,董明楷,蒋运承,张海俊;语义Web的逻辑基础[J];中国科学E辑:信息科学;2004年10期
3 方海,许文,林惠民;带赋值符号迁移图的局部优化算法[J];计算机研究与发展;2000年01期
4 辜希武;卢正鼎;;基于Pi-演算的BPEL4 WS Web服务组合形式化模型[J];计算机科学;2007年03期
5 王晓玲,郭志懋,周傲英;Web服务组合的基于文法的消息处理[J];计算机学报;2005年04期
6 廖军,谭浩,刘锦德;基于Pi-演算的Web服务组合的描述和验证[J];计算机学报;2005年04期
7 张文涛;彭泳;陈俊亮;;会话类E-Service的接口兼容和服务组合分析[J];计算机学报;2006年07期
8 陶晓峰,孙健;基于面向对象Petri网的Web服务合成[J];计算机应用;2005年06期
9 林惠民;Computing Bisimulations for Finite-Controlπ-Calculus[J];Journal of Computer Science and Technology;2000年01期
10 梁邦勇,李涓子,王克宏;基于语义Web的网页推荐模型[J];清华大学学报(自然科学版);2004年09期
【相似文献】
中国期刊全文数据库 前10条
1 任之;;国产软件开发环境走向市场 “青鸟”展翅欲高飞[J];每周电脑报;1997年14期
2 ;开发环境模拟现实[J];每周电脑报;2001年69期
3 王权于;应时;吕国斌;赵楷;;一种面向语义Web服务的语义程序变换方法[J];计算机科学;2010年03期
4 穆兵;POSIX实时标准介绍[J];计算机工程与设计;1992年03期
5 伍小明;彭自成;;一种信息资源管理环境的设计[J];计算机研究与发展;1992年02期
6 杨连贺;;软件开发环境的发展与软件评价标准的变迁[J];软件;2000年02期
7 ;MIPS基于GNU且内核已优化的领先工具链日前面市[J];电子元器件应用;2008年10期
8 田丽从,张莉,周伯生;基于UML的集成化软件开发环境的研究与实现[J];北京航空航天大学学报;2003年10期
9 蒋韬,张斌,赵文耘,张志;SOLO STUDIO:一个基于构件的应用开发环境[J];计算机工程与科学;2005年02期
10 王焱;郑俊辉;;软件开发环境实验课程的研究与探讨[J];中国校外教育;2010年S2期
中国重要会议论文全文数据库 前10条
1 刘滔;毛宇光;徐洁磐;;CBase查询执行引擎的设计与实现[A];第十八届全国数据库学术会议论文集(技术报告篇)[C];2001年
2 胡绪英;洪军;;数据库应用系统设计及其开发工具[A];第九届全国数据库学术会议论文集(下)[C];1990年
3 刘寅;刘刚;杨飞;王泷;李鑫磊;郭明明;;基于GPS控制技术的土地平整系统[A];中国农业工程学会2011年学术年会论文集[C];2011年
4 贲文慧;廖科;叶明;;基于LabWindows/CVI的制导控制系统总控单元的设计[A];全国第二届信号处理与应用学术会议专刊[C];2008年
5 徐智晨;郭孝洪;钱家骅;;FSA/KB:一个支持软件自动化的面向对象的知识库系统[A];第十届全国数据库学术会议论文集[C];1992年
6 胡守仁;慈云桂;王志英;李伟华;奚建清;;通用的面向对象知识处理系统GOOKPS[A];第九届全国数据库学术会议论文集(上)[C];1990年
7 姜卉芝;钱丽瑾;;Lotus Notes数据库设计[A];数据库研究进展97——第十四届全国数据库学术会议论文集(下)[C];1997年
8 连业耀;袁海文;刘颖异;;基于PC/104的某型发动机参数检查仪的研制[A];2010航空试验测试技术学术交流会论文集[C];2010年
9 张斌;姜久春;牛利勇;时玮;;基于LabVIEW的动力蓄电池维护及测试系统的监控设计[A];2010年西南三省一市自动化与仪器仪表学术年会论文集[C];2010年
10 李伟明;李之棠;;NSL:一种面向网络安全的语言[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
中国重要报纸全文数据库 前10条
1 徐明侠;创造良好的软件开发环境[N];中国电子报;2000年
2 《网络世界》记者 于翔;软件引领全球创新[N];网络世界;2011年
3 本报记者 李佳师;IBM:软件引领所有领域创新[N];中国电子报;2011年
4 李枢;我软件开发环境获重大突破[N];中国电子报;2001年
5 闻达;从层次结构到总线结构[N];计算机世界;2001年
6 《网络世界》记者 周源;“龙芯杯”开源大赛结硕果[N];网络世界;2011年
7 本报记者 许继楠;IBM软件转型透软件业未来玄机[N];中国计算机报;2011年
8 ;NMS:CG 6500C[N];计算机世界;2002年
9 张利永 张程;服务网格的运行支撑环境[N];计算机世界;2006年
10 梁爱霞;用Web服务实现动态业务组装[N];计算机世界;2007年
中国博士学位论文全文数据库 前10条
1 曹虹华;语义编程语言SPROGLE及其实现机制研究[D];武汉大学;2009年
2 满君丰;开放网络环境下软件行为监测与分析研究[D];中南大学;2010年
3 古幼鹏;嵌入式实时软件的构件化开发技术研究[D];电子科技大学;2005年
4 张一弛;程序恶意行为识别及其恶意性判定研究[D];解放军信息工程大学;2012年
5 高鹰;代码迷惑及其语义研究[D];中国科学技术大学;2007年
6 付雄;利用程序分析和优化提高Cache性能[D];中国科学技术大学;2007年
7 马东超;支持业务有效承载的宽带接入网关键技术研究[D];北京邮电大学;2010年
8 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
9 梁超;VLSI测试程序验证及其支撑环境—理论、方法和实践[D];中国科学院研究生院(计算技术研究所);1999年
10 吴俊杰;层次存储的访问分析与优化方法研究[D];国防科学技术大学;2009年
中国硕士学位论文全文数据库 前10条
1 周凯;软件运维服务管理过程的研究[D];上海交通大学;2012年
2 姜新红;房地产行业算量软件的设计与实现[D];电子科技大学;2011年
3 张璐平;基于工作流的面向最终用户软件开发环境的研究与实现[D];昆明理工大学;2009年
4 苗潇绚;面向融合业务的BPEL业务执行引擎的设计与实现[D];北京邮电大学;2011年
5 余义军;嵌入式软件开发环境异种计算机互操作技术研究与实践[D];中国科学院软件研究所;2001年
6 朱厚聪;驻地SNS服务器服务执行引擎的研究与设计[D];北京邮电大学;2011年
7 徐佳;基于构件/构架软件开发环境的研究与实现[D];南京航空航天大学;2003年
8 郭慎;基于多核的程序并行优化的研究与实现[D];苏州大学;2010年
9 焦静;网络对讲系统的终端设备软件的设计与实现[D];大连海事大学;2011年
10 张琦;DWMS列存储中执行引擎的优化与实现[D];东华大学;2012年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026