基于模型驱动的Web服务建模与三阶段模型转换方法

摘要：

精确的描述Web服务的语义对Web服务的发现、执行、动态组合和交互至关重要.为支持Web服务建模,提出从抽象到具体4个模型:Radl-WS服务需求模型、Apla服务设计模型、Java可执行代码、WSDL/RESTful API.为支持模型转换,进一步提出一种三阶段转换生成Web服务可执行代码的方法:第一阶段将Radl-WS服务需求建模语言转换为Apla服务设计语言;第二阶段将Apla服务设计语言通过相关转换工具生成可执行代码;第三阶段将可执行代码封装成服务.进而研究了三阶段模型转换的语义正确性,最后通过实例,展示了所提方法的实际效果.

关键词：代数规范、模型驱动、Web服务、建模语言、模型转换

所属期刊栏目：49

分类号：TP301(计算技术、计算机技术)

资助基金：国家自然科学基金;国家自然科学基金;江西省教育厅科技重点项目

在线出版日期：2023-05-22（万方平台首次上网日期，不代表论文的发表时间）

页数：共14页

页码：775-788