【摘 要】
:
以语义Web服务为基础,利用语义技术更快速、更高效地进行软件系统的开发,已经成为解决企业应对不断变化市场需求的理想解决方案。本文在研究现有的面向服务的软件开发方法和
论文部分内容阅读
以语义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语言进行软件分析、软件设计、软件编码、软件部署和软件运行的整个开发过程。
其他文献
<正>近日,浙江省政府举行的常务会议,通过了《浙江省禁毒条例(修订草案)》,这是浙江省自2001年制定颁布《浙江省禁毒条例》后首次全面修订。针对近几年,该省出现一些吸毒人员
目的探讨凶险性前置胎盘疾病临床特点,预防产后出血,提高孕产妇的抢救成功率。方法将37例凶险性前置胎盘与前置胎盘143例、瘢痕子宫147例对照,进行回顾性分析。结果凶险性前
2005年11月~2007年5月,我们对20例外伤后色素沉着患者采用微晶磨削术治疗并进行了分组对照研究,取得了较好疗效,现将结果报道如下。
针对FDI的静态挤入挤出效应不能反映中国经济发展不同阶段中FDI对国内投资影响的差别,本文将Agosin和Mayer模型扩展为一个动态的模型,并对FDI的静态及动态挤入挤出效应进行了
在“电力载波通信原理”课程教学改革实践中,在原有教学内容体系上增加了新的知识点,主要是现代反馈控制理论在电力载波通信中的应用,很好地体现了理论与实践的结合,提高了学
研究了絮凝浮选分选细粒有用矿物的理论,包括分散细矿粒、加入有效絮凝剂、使氧化锌矿泥的粒度增大、可浮性增强;添加特效吸附捕收剂使矿粒表面疏水,强烈搅拌矿浆使有用矿粒
近年来,因电气设备陈旧老化或失修,安全防护设施不全,备件质量不合格,操作人员违章作业等,造成设备事故和人身伤害事故时有发生,给企业和个人带来巨大的经济损失和心理伤害。
介绍了西藏索达矿区铜铅锌银矿体的试验研究。研究结果表明,采用铜—铅—锌优先浮选方案和无毒(低毒)选矿药剂,可从含铜为0.39%、含铅为2.13%、含锌为4.35%、含银为48g/t的试
本文为"中等收入陷阱"提供了一种量化识别方法并检验了该概念的存在性。在增长收敛模型中,本文运用跨国面板数据进行实证检验发现,β条件收敛在全球范围内显著成立。分位数回
柴胡栏子金矿树脂矿浆法提金工艺树脂再生过程中产生含有大量SCN-和金属离子的废水,该废水返回氰化浸吸流程后,不但氰化钠消耗量巨增,而且破坏树脂对金的吸附效果,恶化生产指