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 条
  • [31] Web service choreography model based on concurrent transaction logic
    Wang, Yong
    Jiang, Zheng-Tao
    Hou, Ya-Rong
    Fang, Juan
    Mao, Guo-Jun
    Beijing Gongye Daxue Xuebao / Journal of Beijing University of Technology, 2009, 35 (08): : 1132 - 1137
  • [32] MDA applied:: From sequence diagrams to Web Service choreography
    Bauer, B
    Müller, JP
    ENGINEERING ADVANCED WEB APPLICATIONS, 2004, : 136 - 148
  • [33] MDA applied:: From sequence diagrams to web service choreography
    Bauer, B
    Müller, JP
    WEB ENGINEERING, PROCEEDINGS, 2004, 3140 : 132 - 136
  • [34] Modeling web service choreography and orchestration with colored Petri nets
    Deng, Xinguo
    Lin, Ziyu
    Cheng, Weiqing
    Xiao, Ruliang
    Fang, Lina
    Li, Ling
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 2, PROCEEDINGS, 2007, : 838 - +
  • [35] Logical instruments for dynamic web service composition
    Tyugu, E
    Matskin, M
    ISWS '05: Proceedings of the 2005 International Symposium on Web Services and Applications, 2005, : 87 - 93
  • [36] A Service-Oriented Architecture (SOA) Framework Component for Verification of Choreography
    Bhuyan, Prachet
    Ray, Abhishek
    Mohapatra, Durga Prasad
    COMPUTATIONAL INTELLIGENCE IN DATA MINING, VOL 3, 2015, 33
  • [37] A Logical Verification Methodology for Service-Oriented Computing
    Fantechi, Alessandro
    Gnesi, Stefania
    Lapadula, Alessandro
    Mazzanti, Franco
    Pugliese, Rosario
    Tiezzi, Francesco
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (03)
  • [38] Logical Zonotopes: A Set Representation for the Formal Verification of Boolean Functions
    Alanwar, Amr
    Jiang, Frank J.
    Amin, Samy
    Johansson, Karl H.
    2023 62ND IEEE CONFERENCE ON DECISION AND CONTROL, CDC, 2023, : 60 - 66
  • [39] A Logical Framework for the Representation and Verification of Context-aware Agents
    Abdur Rakib
    Hafiz Mahfooz Ul Haque
    Mobile Networks and Applications, 2014, 19 : 585 - 597
  • [40] A Logical Framework for the Representation and Verification of Context-aware Agents
    Rakib, Abdur
    Ul Haque, Hafiz Mahfooz
    MOBILE NETWORKS & APPLICATIONS, 2014, 19 (05): : 585 - 597
12345