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 条
  • [21] Algorithms for checking channel passing in web service choreography
    Hongli YANG
    Chao CAI
    Liyang PENG
    Xiangpeng ZHAO
    Zongyan QIU
    Shengchao QIN
    Frontiers of Computer Science, 2013, 7 (05) : 710 - 728
  • [22] Towards the semantics for web service choreography description language
    Li, Jing
    He, Jifeng
    Pu, Geguang
    Zhu, Huibiao
    FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 246 - +
  • [23] Algorithms for checking channel passing in web service choreography
    Hongli Yang
    Chao Cai
    Liyang Peng
    Xiangpeng Zhao
    Zongyan Qiu
    Shengchao Qin
    Frontiers of Computer Science, 2013, 7 : 710 - 728
  • [24] Standards for web service choreography and orchestration: Status and perspectives
    Barros, A
    Dumas, M
    Oaks, P
    BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 3812 : 61 - 74
  • [25] Generation of choreography skeletons from web service definitions
    Laube, Annett
    Winkler, Patrick
    SERVICE COMPUTATION 2010: THE SECOND INTERNATIONAL CONFERENCES ON ADVANCED SERVICE COMPUTING, 2010, : 1 - 6
  • [26] A Service-Oriented Architecture (SOA) Framework for Choreography Verification
    Rebai, Sirinc
    Kacem, Hatem Hadj
    Karaa, Mohamed
    Pomares, Saul E.
    Kacem, Ahmed Hadj
    2015 IEEE/ACIS 14TH INTERNATIONAL CONFERENCE ON COMPUTER AND INFORMATION SCIENCE (ICIS), 2015, : 642 - 646
  • [27] A Formal Method for Service Choreography Verification Based on Description Logic
    Zhang, Tingting
    Lan, Yushi
    Yu, Minggang
    Zheng, Changyou
    Liu, Kun
    CMC-COMPUTERS MATERIALS & CONTINUA, 2020, 62 (02): : 893 - 904
  • [28] Toward a better Interoperability of Enterprise Information Systems: A CPNs and Timed CPNs -based Web Service Interoperability Verification in a Choreography
    Benabdelhafid, Maya Souilah
    Boufaida, Mahmoud
    CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, 2014, 16 : 269 - 278
  • [29] A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB
    Beggar, Mohammed Lamine
    Liao Lejian
    2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 497 - 507
  • [30] Asynchronous Timed Web Service-Aware Choreography Analysis
    Guermouche, Nawal
    Godart, Claude
    ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 364 - 378
12345