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
    [J]. Frontiers of Computer Science., 2013, 7 (05) - 728
  • [22] Algorithms for checking channel passing in web service choreography
    Hongli Yang
    Chao Cai
    Liyang Peng
    Xiangpeng Zhao
    Zongyan Qiu
    Shengchao Qin
    [J]. Frontiers of Computer Science, 2013, 7 : 710 - 728
  • [23] Towards the semantics for web service choreography description language
    Li, Jing
    He, Jifeng
    Pu, Geguang
    Zhu, Huibiao
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 246 - +
  • [24] Standards for web service choreography and orchestration: Status and perspectives
    Barros, A
    Dumas, M
    Oaks, P
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2006, 3812 : 61 - 74
  • [25] Generation of choreography skeletons from web service definitions
    Laube, Annett
    Winkler, Patrick
    [J]. 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
    [J]. 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
    [J]. 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
    [J]. 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] Asynchronous Timed Web Service-Aware Choreography Analysis
    Guermouche, Nawal
    Godart, Claude
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, PROCEEDINGS, 2009, 5565 : 364 - 378
  • [30] A FRAMEWORK FOR MODEL CHECKING WEB SERVICE CHOREOGRAPHY BASED ON CWB
    Beggar, Mohammed Lamine
    Liao Lejian
    [J]. 2011 3RD INTERNATIONAL CONFERENCE ON COMPUTER TECHNOLOGY AND DEVELOPMENT (ICCTD 2011), VOL 3, 2012, : 497 - 507
12345