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.
    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.
    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
    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
    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
    17TH ASIA PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2010), 2010, : 166 - 175
  • [46] Towards a Goal-driven Method for Web Service Choreography Validation
    Parsa, Saeed
    Amiri, Mohammad Javad
    Ebrahimifard, Amir
    Arani, Mostafa Khoramabadi
    2016 SECOND INTERNATIONAL CONFERENCE ON WEB RESEARCH (ICWR), 2016, : 66 - 71
  • [47] Analyzing Web Service Choreography Specifications Using Colored Petri Nets
    Caliz, Enrique
    Umapathy, Karthikeyan
    Sanchez-Ruiz, Arturo J.
    Elfayoumy, Sherif A.
    SERVICE-ORIENTED PERSPECTIVES IN DESIGN SCIENCE RESEARCH: 6TH INTERNATIONAL CONFERENCE, 2011, 6629 : 412 - 426
  • [48] A formal and visual modeling approach to choreography based web services composition and conformance verification
    Yeung, W. L.
    EXPERT SYSTEMS WITH APPLICATIONS, 2011, 38 (10) : 12772 - 12785
  • [49] Architectural Characterization of Web Service Interaction Verification
    Rai, Gopal N.
    Gangadharan, G. R.
    PROCEEDINGS OF 3RD INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING, NETWORKING AND INFORMATICS, ICACNI 2015, VOL 2, 2016, 44 : 447 - 456
  • [50] Formal modeling and verification for web service composition
    Tian, Baojun
    Gu, Yanlin
    Journal of Software, 2013, 8 (11) : 2733 - 2737
12345