Computer Science

Computer Science ›› 2022, Vol. 49 ›› Issue (11A): 211100055-14.doi: 10.11896/jsjkx.211100055

• Software Engineering • Previous Articles     Next Articles

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)

415

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

CLC Number: 

  • 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] QI Jian, HU Jun, GU Qing-fan, RONG Hao, ZHAN Wan-li, DONG Yan-hong. Class Flattening Method for AltaRica 3.0 Model [J]. Computer Science, 2021, 48(5): 51-59.
[2] YU Zhi-yong, LIN Li-qiang, CHEN Yan, ZHOU Tian, NI Yi-tao, CHEN Xing. SQL Access Framework for Hyperledger Fabric [J]. Computer Science, 2021, 48(11): 54-61.
[3] LI Zhi, DENG Jie, YANG Yi-long, WEI Shang-feng. Transformational Approach from Problem Models of Cyber-Physical Systems to Use Case Diagrams in UML [J]. Computer Science, 2020, 47(12): 65-72.
[4] LING Jing, JIANG Ling-yun. Semantic Description of IoT Services:A Method of Mapping WSDL to OWL-S [J]. Computer Science, 2019, 46(4): 89-94.
[5] LI Dong-min, LI Jing and LIN Hua-feng. Reliability Analysis Method of Embedded System AADL Model Based on Fault Tree Analysis [J]. Computer Science, 2017, 44(6): 182-188.
[6] HOU Jin-kui and WANG Lei. Formal Framework of Architecture-based Model Transformation [J]. Computer Science, 2017, 44(4): 148-152.
[7] MA Li, QIU Zhi-yang, CHEN Yan-ping and ZHAO Jing. Semantic Web Service Selection Based on QoS [J]. Computer Science, 2017, 44(3): 226-230.
[8] GUO Yan-yan, ZHANG Nan and TONG Xiang-rong. Survey on Formal Semantics of UML Sequence Diagram [J]. Computer Science, 2017, 44(2): 17-30.
[9] FENG Gu and LI Ni-ge. Model-driven Testing for Mobile Applications [J]. Computer Science, 2017, 44(11): 232-239.
[10] YU Yong and GUO Qian. Behavioral Model Construction Method for Mobile Applications Based on Smali Code [J]. Computer Science, 2017, 44(11): 207-220.
[11] ZHANG Ya. Research on BPEL Test Sequence Generation for Web Services Combination [J]. Computer Science, 2017, 44(1): 203-207.
[12] GUO Peng, LI Ya-hui, SUN Lei and CAI Xiao-le. UML Model to Simulink Model Transformation Method in Design of Embedded Software [J]. Computer Science, 2016, 43(2): 192-198.
[13] HU Jun, SHI Jiao-jie, CHENG Zhen, CHEN Song and WANG Ming-ming. System Safety Modeling and Analysis Method Based on Four-variable Model [J]. Computer Science, 2016, 43(11): 193-199.
[14] HU Xiang, JIAO Li and CHAI Ye-sheng. Transforming UML to GSPN for Performance Analysis [J]. Computer Science, 2016, 43(11): 49-54.
[15] LI Zong-hua, ZHOU Xiao-feng, WU Ke-li and CHEN Fu-bing. BPMN Formalization Based on Extended Petri Nets Model [J]. Computer Science, 2016, 43(11): 40-48.
Viewed
Full text


Abstract

Cited
  Shared   
  Discussed   
No Suggested Reading articles found!
渝ICP备16013121号-4
Add:18# Honghu West Rd., Yubei ,Chongqing,China    Post Code: 401121
Tel: 023-63500828/023-67039612/023-67039623
E-mail: jsjkx12@163.com
Powered by Beijing Magtech Co., Ltd.