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

语义编程语言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语言进行软件分析、软件设计、软件编码、软件部署和软件运行的整个开发过程。


知网文化
【相似文献】
中国期刊全文数据库 前20条
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期
11 樊哲民;程序变换概论[J];电子学报;1983年01期
12 潘晓玲,罗旭东;扩展一阶B型Cooper变换[J];北京轻工业学院学报;1995年01期
13 翟永翠;;基于网络接口的HLA软件开发环境研究[J];指挥控制与仿真;2010年03期
14 陈瑞源;航空航天部第二总体设计部建立Teamwork软件开发环境[J];现代防御技术;1991年06期
15 瓮正科;数据库自动编程——程序变换法[J];计算机应用研究;1991年04期
16 吕丽民,黄宁宅;AUTO-GPAD系统的编辑软件——GPADED系统[J];浙江工业大学学报;1992年01期
17 沈军,程正潮,腾至阳;快速原型工具系统RPTS的设计与实现[J];计算机应用与软件;1998年02期
18 费宗铭;肖宁;;基于软件自动化的开发环境[J];计算机研究与发展;1989年09期
19 黄瑞芳;莫晓柏;;支持软件重用的软部件分类方法[J];常州工学院学报;1992年04期
20 江毛进,陆鑫达,陈杰;编译中的循环优化[J];上海交通大学学报;1996年06期
中国重要会议论文全文数据库 前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 曹虹华;语义编程语言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年
中国重要报纸全文数据库 前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年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978