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

Web Service Modeling Based on Model-driven and Three-stage Model Transformation Method

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

Describing the semantics of web services accurately plays a crucial role in service discovery,execution,dynamic composition and interaction.In order to support web service modeling,this paper proposes four models from abstract to concrete:RadlWS service requirement model,Apla service design model,Java executable code,and WSDL/RESTful API.To suppor model transformation,a three-phase method that generates an executable code by transformation is further proposed.The first stage transforms the Radl-WS service requirement modeling language into the Apla service design language,the second stage uses the Apla service design language to generate executable codes through related conversion tools,the third stage encapsulates the executable codes into services.Then the semantic correctness of the three-stage model transformation is studied.Through examples,the actual effect of the proposed method is demonstrated.