A Logical Representation and Verification of Web Service Choreography

被引：0
|
作者：
Madani, Zahra [1 ]
Nematbakhsh, Naser [2 ]
Zamanifar, Kamran [2 ]
Mardukhi, Frahad [3 ]
机构：
[1] Islamic Azad Univ, Young Res Club, Najafabad, Iran
[2] Univ Isfahan, Dept Comp Engn, Isfahan, Peoples R China
[3] Univ Isfahan, Software Engn, Isfahan, Peoples R China
来源：
2009 THIRD INTERNATIONAL SYMPOSIUM ON INTELLIGENT INFORMATION TECHNOLOGY APPLICATION, VOL 2, PROCEEDINGS | 2009年
关键词：
D O I：
10.1109/IITA.2009.289
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Web services choreography describes global model of services interactions among a set of participants. The correct description of choreography is very important, so before implementation upon choreography design description, we must be sure about correctness. Several techniques are employed to verify WS-CDL. In this paper we use a logical formal model to verify specifications of WS-CDL. In our approach, we model some important aspects of WS-CDL, such as channel passing, Timeout and policies in first order logic and then use Prolog tool to check reachability of all goal states of choreography interactions.
引用
收藏
页码：404 / +
页数：2
相关论文
共 50 条
  • [1] Compatibility verification for web service choreography
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2004, : 738 - 741
  • [2] CSP-based verification for web service orchestration and choreography
    Yeung, W. L.
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2007, 83 (01): : 65 - 74
  • [3] Web Service Choreography Verification Using Z Formal Specification
    Rastegari, Y.
    Sajadi, Z.
    Shams, F.
    INTERNATIONAL JOURNAL OF ENGINEERING, 2016, 29 (11): : 1549 - 1557
  • [4] Towards the formal model and verification of web service choreography description language
    Zhao Xiangpeng
    Yang Hongli
    Qiu Zongyan
    WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, 2006, 4184 : 273 - 287
  • [5] WEB SERVICE CHOREOGRAPHY CONFORMANCE VERIFICATION THROUGH THE piX-MODEL
    Van Seghbroeck, Gregory
    Volckaert, Bruno
    De Turck, Filip
    Dhoedt, Bart
    Demeester, Piet
    INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2010, 19 (1-2) : 1 - 30
  • [6] The semantics and verification of timed service choreography
    Zhao, Yongxin
    Xiao, Hao
    Wang, Zheng
    Pu, Geguang
    Su, Ting
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 2014, 91 (03) : 384 - 402
  • [7] A QoS view of web service choreography
    Zhao Xiangpeng
    Cai Chao
    Yang Hongli
    Qiu Zongyan
    ICEBE 2007: IEEE INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING, PROCEEDINGS, 2007, : 607 - +
  • [8] Insights into Web Service Orchestration and Choreography
    Daniel, Florian
    Pernici, Barbara
    INTERNATIONAL JOURNAL OF E-BUSINESS RESEARCH, 2006, 2 (01) : 58 - 77
  • [9] Web Service Choreography Configurations for BPMN
    Pfitzner, Kerstin
    Decker, Gero
    Kopp, Oliver
    Leymann, Frank
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, WORKSHOPS, 2009, 4907 : 401 - +
  • [10] Representation, verification, and computation of timed properties in Web service compositions
    Kazhamiakin, Raman
    Pandya, Paritosh
    Pistore, Marco
    ICWS 2006: IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2006, : 497 - +
12345