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

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

Full description

Saved in:
Bibliographic Details
Published in计算机科学 Vol. 49; no. z2; pp. 775 - 788
Main Authors 王昌晶, 丁希龙, 陈茜, 罗海梅, 左正康
Format Journal Article
LanguageChinese
Published 江西师范大学管理科学与工程研究中心 南昌 330022%江西师范大学计算机信息工程学院 南昌 330022%江西师范大学物理与通信电子学院 南昌 330022 2022
江西师范大学计算机信息工程学院 南昌 330022
Subjects
代数规范
建模语言
模型驱动
模型转换
Web服务
Online AccessGet full text

Cover

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