基于模型驱动的WSDL→Radl-WS生成方法及自动转换系统

来源 :江西师范大学 | 被引量 : 0次 | 上传用户:jackzhao1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
面向服务的计算范型(Sevice Oriented Computing,简称SOC)是一种基于Internet的全新计算模式,具有松散耦合、平台无关、互操作性强等特点。面向服务架构(Sevice Oriented Architecture,简称SOA)是这种计算模式下通用的架构风格,而Web服务是服务计算的重要研究内容,同时Web服务也是当前实现SOA最为主流的技术。Web服务是一种Internet上的分布式计算新范型,并且具有基于标准的、松散耦合的、跨平台的特性,其优点是任何企业和个人在任何地点都可以通过Internet快速、方便地进行服务调用,并且可以显著地提高软件的可重用性。精确地描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要。而形式化规范技术迄今已经发展了40余年,能够以可验证的方式精确地定义软件系统的语义。为了精确描述Web服务语义,本文在前期研究设计的Radl语言基础上,扩展Radl为Radl-WS,提出一种新型的基于Radl-WS代数规范的Web服务建模语言。该建模语言统一了基于代数公理方法和Hoare公理方法来描述软件规格说明,其中代数公理方法易于建立整个Web服务的语义框架,而Hoare公理方法便于指导操作(算法)的形式化推导和验证。以模型驱动为理论指导,进一步提出了将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法,并设计了相应的WSDL→Radl-WS自动转换系统。最后,采用两个工业真实案例:空中交通管制系统、建管系统后台,验证了该生成方法的有效性。针对上述目标,本文主要做了如下几方面工作:1、扩展Radl语言为Radl-WS建模语言,统一了基于代数公理方法和Hoare公理方法,使之更适合精确地描述Web服务。2、以模型驱动为理论指导,根据WSDL语言特点提炼出等价转换规则,进而提出将WSDL语言描述的Web服务通过等价变换生成为Radl-WS建模语言的方法。3、为支持模型转换,根据等价转换规则深入分析模型转换的实现原理,设计并实现了WSDL→Radl-WS自动转换系统。4、将该系统部署在阿里云服务器上:http://106.14.226.54:8080,并采用工业真实案例验证了其有效性。
其他文献
背景:肿瘤标志物是由肿瘤细胞产生的正常细胞缺乏或含量极微的抗原性物质,可以用于肿瘤筛查、预后监测及治疗效果监测等。癌胚抗原(carcinoembryonic antigen,CEA)和鳞状角蛋白
明治维新以来,日本开始走上现代化的道路,随着社会的发展,为解决政府内部矛盾,一部分人开始主张侵略别国,把侵略别国作为解决国内矛盾和危机的力量。此后,20世纪前半期,在包
目的前列腺癌(Prostate cancer,PCa)是男性癌症相关死亡的第二大主要原因。尽管前列腺癌的治疗措施已取得进展,但大多数前列腺癌患者的预后仍令人不满意。随着对肿瘤炎症微环
线粒体虽拥有自身的遗传物质及遗传体系,但超过99%线粒体蛋白仍由核基因编码,这些蛋白在细胞质合成N端含有前导序列的前体蛋白,被线粒体外膜蛋白TOM系统识别并转运,最终转运
目的:探讨超声BI-RADS联合弹性成像技术鉴别诊断乳腺良恶性肿块的价值。方法:选取2018年8月到2019年10月在皖南医学院第一附属医院住院治疗的96例乳腺肿块患者,共102个肿块,
《祖庭事苑》乃宋代善卿所著,是我國最早研究禪宗語錄的一部佛學辭典著作。該書的內容主要是對雲門文偃、雪竇重顯等大師的語錄中的難解語句作注,作注的條目約有二千四百條,
背景经皮椎间孔镜是脊柱微创手术中一种内镜下的辅助技术,经皮内镜下腰椎间盘突出切除术(Percutaneous Endoscopic Lumbar Discectomy,PELD)具有创伤小、术后疼痛轻、并发症
在中国哲学的发展史上,“宋明理学”占据了重要的地位,也产生了非凡的影响力。理学的内部争论更是延续了数百年的时间,中间最具代表性的关于“和会朱、陆”思想以及由此引发
本文主要研究根据律所主导的疆域,并由此就根据律的作用疆域而言,考察意志自由是否可能。因此本文的结构与此相应,即对自莱布尼茨伊始的诸位哲学家,首先考察其关于根据律的思
非物质劳动理论是意大利马克思主义的重要组成部分。奈格里作为一名意大利马克思主义学者,在对当代资本主义进行分析和批判时,秉承了马克思政治经济学批判的理论传统:以劳动