计算机科学

计算机科学 ›› 2022, Vol. 49 ›› Issue (11A): 211100055-14.doi: 10.11896/jsjkx.211100055

• 软件工程 • 上一篇    下一篇

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

王昌晶1,2, 丁希龙1, 陈茜1, 罗海梅3, 左正康1   

  1. 1 江西师范大学计算机信息工程学院 南昌 330022
    2 江西师范大学管理科学与工程研究中心 南昌 3300223 江西师范大学物理与通信电子学院 南昌 330022
  • 出版日期:2022-11-10 发布日期:2022-11-21
  • 通讯作者: 左正康(kerrykaren@126.com)
  • 作者简介:(wcj771006@163.com)
  • 基金资助:
    国家自然科学基金(11804133,61862033);江西省教育厅科技重点项目(GJJ210307)

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

WANG Chang-jing1,2, DING Xi-long1, CHEN Xi1, LUO Hai-mei3, ZUO Zheng-kang1   

  1. 1 College of Computer Information and Engineering,Jiangxi Normal University,Nanchang 330022,China
    2 Management science and Engineering Research Center,Jiangxi Normal University,Nanchang 330022,China
    3 College of Physics and Communication Electronics,Jiangxi Normal University,Nanchang 330022,China
  • Online:2022-11-10 Published:2022-11-21
  • About author:WANG Chang-jing,born in 1977,Ph.D,Professor,Ph.D supervisor,is a senior member of China Computer Federation.His main research interests include software formal method,trustworthy software and Web services.
    ZUO Zheng-kang,born in 1980,Ph.D,professor,is a senior member of China Computer Federation.His main research interests include software formal method and functional programming.
  • Supported by:
    National Natural Science Foundation of China(11804133,61862033) and Science and Technology Key Project of Education Department of Jiangxi Province(GJJ210307).

PDF (PC)

399

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

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

Abstract: 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:Radl-WS 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.

Key words: Algebraic specification, Model-driven, Web services, Modeling language, Model transformation

中图分类号: 

  • TP301
[1]XIA Q,JIANG C X,YANG C,et al.A Semantic Demand-Servi-ce Matching Method based on OWL-S for Cloud Testing Service Platform[C]//2020 3rd International Conference on Algorithms,Computing and Artificial Intelligence.2020:1-6.
[2]LING J,JIANG L Y.Semantic description ofinternet of things services:A transformation method from WSDL to OWL-S [J].Computer Science,2019,46(4):89-94.
[3]DIACONESCU R,TUTU I.Foundations for structuring beha-vioural specifications [J].Journal of Logical and Algebraic Me-thods in Programming,2014,83(3/4):319-338.
[4]HENNING K,BARBARA K.Coalgebraic trace semantics forcontinuous probabilistic transition systems [J].Logical Methods in Computer Science,2013,9(4):2320-2346.
[5]DIEKERT V,DRISTE M,MUSCHOLL A,et al.Logic,Algebra and Fromal Verification of Concurrent Systems[C]//Schloss Dagstuhl-L eibniz-Zentrum für Informatik.2021:1-26.
[6]BONCHI F,MONTANARI U.A coalgebraic theory of reactive systems [J].Electronic Notes in Theoretical Computer Science,2008,209:201-215.
[7]QIU B,YANG Z B,ZHOU Y,et al.AADL multi paradigmmodeling and automatic code generation method forIMA [J].Journal of Chinese Computer Systems,2021,42(10):2223-2233.
[8]SMITH D R.Composition by colimit and formal software development[M]//Algebra,Meaning,and Computation.Berlin:Springer,2006:317-332.
[9]CHEN X,YANG G,CUIi Z Q,et al.Overview of automatic code annotation generation methods [J].Journal of Software,2021,32(7):2118-2141.
[10]XUE J Y,HUANG J W,YOU Z,et al.Research on virtual reali-ty modeling mechanism based on Apla language [J].Journal of Huazhong University of science and Technology(Natural Science Edition),2021,49(2):62-67.
[11]XUE J Y,YANG B,ZUO Z K,et al.A linear in-situ algorithm for the power of cyclic permutation[C]//International Workshop on Frontiers in Algorithmics.Berlin:Springer,2008:113-123.
[12]XUE J Y.PAR method and its supporting platform[C]//Procedure of the 1st International Workshop on Asian Working Conference on Verified Software.Macao:UNU-IIST,2006.10-20.
[13]SHI H H,XUE J Y,et al.PAR-based formal development of algorithms [J].Chinese Journal of Computers,2009,32(5):982-991.
[14]WANG C J,XUE J Y,et al.Research on relative correctness of Radl formal specification [J].Journal of Software,2013.24(4):715-729.
[15]WANG C J.Verifying the correctness of loop optimization based on extended logictransformation system μ TS [J].Journal of Computer Research & Development,2012,49(9):1863-1873.
[16]SSEBASTIAN G,GALLUD J A,TESORIERO R.Code generation using model driven architecture:A systematic mapping study [J].Journal of Computer Languages,2020,56:100935.
[17]ZUO Z K,XUE J Y.Research on generic constraints of Apla[J].Journal of Software,2015,26(6):1340-1355.
[18]SHI H H.Apla-Java automatic program transformation system supporting generic programming[D].Nanchang:Jiangxi Normal University,2004.
[19]HU Q M,XUE J Y,YOU Z.Research on formal development of non-recursive algorithms of graph search[C]//International Workshop on Structured Object-Oriented Formal Language and Method.Cham:Springer,2015:165-178.
[20]XIE W P,XUN J Y.Research of Radl->Apla program generation system and its reliability[D].Nanchang:Jiangxi Normal University,2009.
[21]XIE W P,XUN J Y.Research on generation system from Radl algorithm toApla program [J].Journal of Computer Research and Development,2014,51(4):854-864.
[22]ZUO Z Z,FANG Y,HUANG Q,et al.Non-recursive algorithm derivation and formal proof of binary tree traversal class problems[C]//2020 IEEE 20th International Conference on Software Quality,Reliability and Security Companion.IEEE,2020:670-671.
[23]LIU D,YANG Y F,CHEN Y,et al.Evaluating the ontological semantic description of web services generated from algebraic specifications[C]//2016 IEEE Symposium on Service-Oriented System Engineering(SOSE).IEEE,2016:211-220.
[24]PUSHPA C N,DEEPAK G,KUMAR A,et al.OntoDisco:improving web service discovery by hybridization of ontology focused concept clustering and interface semantics[C]//2020 IEEE International Conference on Electronics,Computing and Communication Technologies(CONECCT).IEEE,2020:1-5.
[25]REN F L,SHEN J K,SUN B B,et al.A review of ontologytechnology in the field of construction from the text [J].Journal of Computer,2019,42(3):654-676.
[26]HYOUNG D K.BPMN-based modeling of B2B business processes from the neutral perspective of UMM/BPSS[C]//2008 IEEE International Conference on e-Business Engineering.IEEE,2008:417-422.
[27]SADOVYKH A,DESFRAY P,ELVESAETER B,et al.Enterprise architecture modeling with soaML using BMM and BPMN-MDA approach in practice[C]//2010 6th Central and Eastern European Software Engineering Conference(CEE-SECR).IEEE,2010:79-85.
[28]ANISHA V,NARY S.Transforming functional requirementsfrom UML into BPEL to efficiently develop SOA-based systems[C]//OTM Confederated International Conferences.Berlin:Springer,2009:337-349.
[29]KNAPP A,MOSSAKOWSKI T,ROGGENBACH M.An institutional framework for heterogeneous formal development in UML [J].Springer International Publishing,2014:215-230.
[30]GAOH Y,ZHANG J Y,POVALEJ R,et al.Service-oriented modeling method for the development of an e-Commerce platform[C]//2009 International Conference on E-Business and Information System Security.IEEE,2009:1-5.
[31]MIAO W K,LIU S Y.A formal engineering framework forservice-based software modeling [J].IEEE Transactions on Services Computing,2012,6(4):536-550.
[32]MOHSEN M,MOHAMMAD K S,MORTEZAD,et al.A mo-del-driven approach for semantic web service modeling using web service modeling languages [J].Journal of Software:Evolution and Process.2021,33(7):e2364.
[33]DAVID S,JERME R,CHRISTIANH A,et al.A model-driven method for fast building consistent web services in practice[C]//MODELSWARD.2018:1-12.
[34]ZHU H,YU B.Algebraic specification of web services[C]//2010 10th International Conference on Quality Software.IEEE,2010:457-464.
[35]LIU D M,ZHU H,BAYLEY I,et al.SOFIA:An algebraic specification language for developing services[C]//2014 IEEE 8th International Symposium on Service Oriented System Engineering.IEEE,2014:70-75.
[1] 张冰清, 费琪, 王轶辰, 杨召.
面向SOA的集成测试序列生成算法研究
Study on Integration Test Order Generation Algorithm for SOA
计算机科学, 2022, 49(11): 24-29. https://doi.org/10.11896/jsjkx.210400210
[2] 黄双芹, 刘英博, 黄向生.
模型驱动开发工具的自动化测试技术研究
Research on Automatic Testing Technology of Model Driven Development Tools
计算机科学, 2021, 48(6A): 568-571. https://doi.org/10.11896/jsjkx.201000139
[3] 祁健, 胡军, 谷青范, 荣灏, 展万里, 董彦宏.
一种AltaRica 3.0模型中类的平展化方法
Class Flattening Method for AltaRica 3.0 Model
计算机科学, 2021, 48(5): 51-59. https://doi.org/10.11896/jsjkx.200700184
[4] 於志勇, 林力强, 陈艳, 周天, 倪一涛, 陈星.
面向Hyperledger Fabric的SQL访问框架
SQL Access Framework for Hyperledger Fabric
计算机科学, 2021, 48(11): 54-61. https://doi.org/10.11896/jsjkx.210100220
[5] 于扬, 邢镔, 曾骏, 文俊浩.
KSN:一种基于知识图谱和相似度网络的Web服务发现模型
KSN:A Web Service Discovery Method Based on Knowledge Graph and Similarity Network
计算机科学, 2021, 48(10): 160-166. https://doi.org/10.11896/jsjkx.200900026
[6] 唐文君,张佳丽,陈荣,郭世凯.
基于强化学习的Web服务众测任务分派方法
Web Service Crowdtesting Task Assignment Approach Based onReinforcement Learning
计算机科学, 2020, 47(3): 54-60. https://doi.org/10.11896/jsjkx.191100085
[7] 李智, 邓杰, 杨溢龙, 韦尚锋.
从信息物理融合系统问题模型到UML用例图的变换方法
Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML
计算机科学, 2020, 47(12): 65-72. https://doi.org/10.11896/jsjkx.201200044
[8] 陈朔, 胡军, 唐红英, 石梦烨.
一种AltaRica3.0模型到NuSMV模型的转换方法
Transformation Method for AltaRica3.0 Model to NuSMV Model
计算机科学, 2020, 47(12): 73-86. https://doi.org/10.11896/jsjkx.190400035
[9] 范国栋,祝铭,李静,崔晓柳.
基于FAHP与规划图融合的Web服务组合方法
Web Service Composition by Combining FAHP and Graphplan
计算机科学, 2020, 47(1): 270-275. https://doi.org/10.11896/jsjkx.181102228
[10] 李思洁, 魏欧, 战芸娇, 王立松.
基于表格表达式的SCR需求模型转换
SCR Requirement Model Transformation Based on Table Expression
计算机科学, 2019, 46(6): 180-188. https://doi.org/10.11896/j.issn.1002-137X.2019.06.027
[11] 鲁城华, 寇纪淞.
求解Web服务组合QoS优化的多属性决策及自适应遗传算法
Multi-attribute Decision Making and Adaptive Genetic Algorithm for Solving QoS Optimization of Web Service Composition
计算机科学, 2019, 46(2): 187-195. https://doi.org/10.11896/j.issn.1002-137X.2019.02.029
[12] 张杰鑫, 庞建民, 张铮, 邰铭, 刘浩.
拟态构造Web服务器的服务质量量化方法
QoS Quantification Method for Web Server with Mimic Construction
计算机科学, 2019, 46(11): 109-118. https://doi.org/10.11896/jsjkx.181001922
[13] 周女琪, 周宇.
基于概率模型检测的Web服务组合多目标验证
Multi-objective Verification of Web Service Composition Based on Probabilistic Model Checking
计算机科学, 2018, 45(8): 288-294. https://doi.org/10.11896/j.issn.1002-137X.2018.08.052
[14] 李东民,李静,林华锋.
基于故障树分析的嵌入式系统AADL模型可靠性分析方法
Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis
计算机科学, 2017, 44(6): 182-188. https://doi.org/10.11896/j.issn.1002-137X.2017.06.031
[15] 侯金奎,王磊.
基于体系结构的模型转换语义描述框架
Formal Framework of Architecture-based Model Transformation
计算机科学, 2017, 44(4): 148-152. https://doi.org/10.11896/j.issn.1002-137X.2017.04.032
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
地址：重庆市渝北区洪湖西路18号    邮编：401121  
电话：023-63500828（编辑部） 023-67039612（会议/专题） 023-67039623（财务/发票）
E-mail：jsjkx12@163.com
本系统由北京玛格泰克科技发展有限公司设计开发