UML-based modeling and validity checking of web service descriptions

被引:0
作者
Jiang, JJ [1 ]
Systä, T [1 ]
机构
[1] Tampere Univ Technol, FIN-33101 Tampere, Finland
来源
2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings | 2005年
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Web services am software systems designed to support interoperahle machine-to-machine interaction over a network. WSDL descriptions, often characterized as IDLs for Web services, are a key for Web service interoperability. Therefore, special care should be taken in designing WSDL descriptions We present an approach that provides UML-based support to design and validate WSDL descriptions. To promote Web service interoperability, WS-I organization provides a Basic Profile that defines clarifications, refinements, interpretations and amplifications of Web service specifications, including WSDL. We propose UML-based profiles to define structural rules of WSDL documents as well as Basic Profile recommendations for WSDL descriptions. These profiles can be used to guide the user in designing correct and Basic Profile compliant WSDL descriptions and to check the validity of existing WSDL descriptions. We propose a method and tools for such validity checking, and demonstrate the applicability of the approach with a case study.
引用
收藏
页码:453 / 460
页数:8
相关论文
共 50 条
[31]   Modeling web service profiles for the Semantic Web: A UML based approach [J].
Sugumaran, Vijayan ;
Park, Sooyong .
JOURNAL OF COMPUTER INFORMATION SYSTEMS, 2006, 47 (02) :86-99
[32]   A UML-based domain specific modeling language for service availability management: Design and experience [J].
Salehi, Pejman ;
Hamou-Lhadj, Abdelwahab ;
Toeroe, Maria ;
Khendek, Ferhat .
COMPUTER STANDARDS & INTERFACES, 2016, 44 :63-83
[33]   UML-based reliability modeling of network services, a UDP Echo service case study [J].
Lipinski, Z. .
PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON DEPENDABILITY OF COMPUTER SYSTEMS, 2009, :50-57
[34]   ReflexML: UML-Based Architecture-to-Code Traceability and Consistency Checking [J].
Adersberger, Josef ;
Philippsen, Michael .
SOFTWARE ARCHITECTURE, 2011, 6903 :344-+
[35]   UML-based modeling approach for automotive system development [J].
See, Win-Bin .
2005 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY - (ICIT), VOLS 1 AND 2, 2005, :512-516
[36]   Using UML-based rules forWeb services modeling [J].
Lukichev, Sergey ;
Giurca, Adrian ;
Wagner, Gerd ;
Gasevic, Dragan ;
Ribaric, Marko .
2007 IEEE 23RD INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOP, VOLS 1-2, 2007, :290-+
[37]   Research on UML-based modeling of workflow manage system [J].
Guan Hong-jie ;
Meng Fan-rong ;
Xia Zhan-guo .
PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, :835-839
[38]   UML-level analysis and comparison of web service descriptions [J].
Jiang, JJ ;
Lipponen, J ;
Selonen, P ;
Systä, T .
Ninth European Conference on Software Maintenance and Reengineering, Proceedings, 2005, :236-240
[39]   Dependability Modeling and Assessment in UML-Based Software Development [J].
Bernardi, Simona ;
Merseguer, Jose ;
Petriu, Dorina C. .
SCIENTIFIC WORLD JOURNAL, 2012,
[40]   Using the she method for UML-based performance modeling [J].
Theelen, BD ;
van der Putten, PHA ;
Voeten, JPM .
SYSTEM SPECIFICATION AND DESIGN LANGUAGES: BEST OF FDL '02, 2003, :143-160