Formal Specification of Web Services Composition

被引：0
|
作者：
Bachtarzi, Faycal [1 ]
Chaoui, Allaoua [1 ]
机构：
[1] Univ Constantine 2, DIFA Dept, Constantine, Algeria
来源：
2013 IEEE SYMPOSIUM ON WIRELESS TECHNOLOGY & APPLICATIONS (ISWTA2013) | 2013年
关键词：
web service specification; WSDL; G-Nets; model transformation; NETS;
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
In web service oriented architecture, web services are available in specific registers and described using Web Service Description Language (WSDL). Users or application developers ask these registers to discover the needed services. When the existing services don't meet user's requirements, they must be composed to offer new functionalities. In the last decade, many languages have been proposed to perform web services composition. However, these languages don't take into account the specification step which is very important in the early stages of the composition process. In this paper, we address this problem by modeling web services with the G-Net formalism. We provide a transformation method from WSDL descriptions to their equivalent G-Net specifications. These latter makes easy the services composition and the verification of their behavioral correctness.
引用
收藏
页码：34 / 39
页数：6
相关论文
共 50 条
  • [1] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    [J]. Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [2] Formal Specification of Adaptable Semantic Web Services Composition
    Ben Lamine, Rihab
    Ben Jemaa, Raoudha
    Ben Amor, Ikram Amous
    [J]. INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY AND WEB ENGINEERING, 2018, 13 (04) : 14 - 34
  • [3] Formal specification of a Web services protocol
    Johnson, James E.
    Langworthy, David E.
    Lamport, Leslie
    Vogt, Friedrich H.
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2007, 70 (01): : 34 - 52
  • [4] Agent-oriented formal specification of Web services
    Zhu, H
    Zhou, B
    Mao, XJ
    Shan, LJ
    Duce, D
    [J]. GRID AND COOPERATIVE COMPUTING GCC 2004 WORKSHOPS, PROCEEDINGS, 2004, 3252 : 633 - 641
  • [5] Formal Verification in Web Services Composition
    Todica, Valeriu
    Vaida, Mircea-Florin
    Cremene, Marcel
    [J]. 2012 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION, QUALITY AND TESTING, ROBOTICS, THETA 18TH EDITION, 2012, : 195 - 200
  • [6] WSOL - A language for the formal specification of classes of service for Web Services
    Tosic, V
    Pagurek, B
    Patel, K
    [J]. ICWS'03: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON WEB SERVICES, 2003, : 375 - 381
  • [7] Formal Specification of the Assurance Point Web Service Composition Model
    Gao, Le
    Urban, Susan D.
    Rodriguez, Jonathan
    Warkhade, Abhijit
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2014, 23 (04)
  • [8] COMPOSITION OF WEB SERVICES BASED ON DATA DEPENDENCY SPECIFICATION
    Quan Lixin
    [J]. 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 7 - 11
  • [9] RESTful Services and Web-OS Middleware: a Formal Specification Approach
    Bravetti, Mario
    [J]. JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2017, 23 (09) : 808 - 844
  • [10] An object-oriented approach to specification and composition of web services
    Sach, LT
    Cao, TH
    Thang, LN
    Son, LT
    [J]. MODELLING, SIMULATION AND OPTIMIZATION OF COMPLEX PROCESSES, 2005, : 427 - 440
12345