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 条
  • [41] A fast algebraic Web verification service
    Alpuente, M.
    Ballis, D.
    Falaschi, M.
    Ojeda, P.
    Romero, D.
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 239 - +
  • [42] A fast algebraic Web verification service
    Alpuente, M.
    Ballis, D.
    Falaschi, M.
    Ojeda, P.
    Romero, D.
    [J]. WEB REASONING AND RULE SYSTEMS, PROCEEDINGS, 2007, 4524 : 229 - +
  • [43] Virtual Organization management using Web Service Choreography and Software Agents
    Svirskas, Adomas
    Ignatiadis, Ioannis
    Roberts, Bob
    Wilson, Michael
    [J]. NETWORK-CENTRIC COLLABORATION AND SUPPORTING FRAMEWORKS, 2006, 224 : 535 - +
  • [44] Local and on-the-fly choreography-based web service composition
    Mitra, Saayan
    Basu, Samik
    Kumar, Ratnesh
    [J]. PROCEEDINGS OF THE IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE: WI 2007, 2007, : 521 - +
  • [45] Model-based Methods for Linking Web Service Choreography and Orchestration
    Sun, Jun
    Liu, Yang
    Dong, Jin Song
    Pu, Geguang
    Tan, Tian Huat
    [J]. 17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 166 - 175
  • [46] Analyzing Web Service Choreography Specifications Using Colored Petri Nets
    Caliz, Enrique
    Umapathy, Karthikeyan
    Sanchez-Ruiz, Arturo J.
    Elfayoumy, Sherif A.
    [J]. SERVICE-ORIENTED PERSPECTIVES IN DESIGN SCIENCE RESEARCH: 6TH INTERNATIONAL CONFERENCE, 2011, 6629 : 412 - 426
  • [47] Towards a Goal-driven Method for Web Service Choreography Validation
    Parsa, Saeed
    Amiri, Mohammad Javad
    Ebrahimifard, Amir
    Arani, Mostafa Khoramabadi
    [J]. 2016 SECOND INTERNATIONAL CONFERENCE ON WEB RESEARCH (ICWR), 2016, : 66 - 71
  • [48] A formal and visual modeling approach to choreography based web services composition and conformance verification
    Yeung, W. L.
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 12772 - 12785
  • [49] Architectural Characterization of Web Service Interaction Verification
    Rai, Gopal N.
    Gangadharan, G. R.
    [J]. PROCEEDINGS OF 3RD INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING, NETWORKING AND INFORMATICS, ICACNI 2015, VOL 2, 2016, 44 : 447 - 456
  • [50] A Model for Verification of Web Service Maneuvering : A Survey
    Danapaquiame, N.
    Ilavarasan, E.
    [J]. 2012 THIRD INTERNATIONAL CONFERENCE ON COMPUTING COMMUNICATION & NETWORKING TECHNOLOGIES (ICCCNT), 2012,
12345