Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach

被引：0
|
作者：
Diaz, Gregorio [1 ]
Rodriguez, Ismael [2 ]
机构：
[1] Univ Castilla La Mancha, E-13071 Ciudad Real, Spain
[2] Univ Complutense Madrid, Madrid, Spain
来源：
FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS | 2009年 / 5522卷
关键词：
SYSTEMS;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In this paper we present a formal model to represent, orchestrations and choreographies, and we provide some semantic relations to detect their conformance, i.e., whether a set, of orchestrations representing some web services leads to the overall communications described in a choreography.
引用
收藏
页码：231 / +
页数：2
相关论文
共 50 条
  • [41] Metamodel Approach on Model Conformance and Multiview Consistency Checking
    Chen Shu
    Wu GuoQing
    Xiao Jing
    [J]. 2008 4TH INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-31, 2008, : 12030 - 12033
  • [42] Improving Conformance of Web Services: A Constraint-based Model-driven Approach
    Sun, Chang-Ai
    Fu, An
    Jia, Jingting
    Li, Meng
    Han, Jun
    [J]. ACM TRANSACTIONS ON THE WEB, 2023, 17 (02)
  • [43] Validation and verification of Web services choreographies by using timed automata
    Emilia Cambronero, M.
    Diaz, Gregorio
    Valero, Valentin
    Martinez, Enrique
    [J]. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2011, 80 (01): : 25 - 49
  • [44] Conformance Checking and QoS Selection Based on CPN for Web Service Composition
    Chen Liping
    HaWeitao
    [J]. 2017 13TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND SECURITY (CIS), 2017, : 273 - 276
  • [45] Flexible Probabilistic QoS Management of transaction based Web services orchestrations
    Rosario, Sidney
    Benveniste, Albert
    Jard, Claude
    [J]. 2009 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, VOLS 1 AND 2, 2009, : 107 - +
  • [46] Syntax-directed data integration in semantic Web Services orchestrations
    Moreau, Aurelien
    Malenfant, Jacques
    [J]. DEXA 2008: 19TH INTERNATIONAL CONFERENCE ON DATABASE AND EXPERT SYSTEMS APPLICATIONS, PROCEEDINGS, 2008, : 744 - 748
  • [47] Conformance Checking and QoS Selection Based on CPN for Web Service Composition
    Ha, Weitao
    Zhang, Guojun
    Chen, Liping
    [J]. INTERNATIONAL JOURNAL OF PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE, 2015, 29 (02)
  • [48] Probabilistic QoS and soft contracts for transaction based Web Services Orchestrations
    Rosario, Sidney
    Benveniste, Albert
    Haar, Stefan
    Jard, Claude
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON WEB SERVICES, PROCEEDINGS, 2007, : 126 - +
  • [49] Checking Compatibility of Web Services Behaviorally
    Klai, Kais
    Ochi, Hanen
    [J]. FUNDAMENTALS OF SOFTWARE ENGINEERING, FSEN 2013, 2013, 8161 : 267 - 282
  • [50] Modeling and Model Checking Web Services
    Schlingloff, Holger
    Martens, Axel
    Schmidt, Karsten
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 126 : 3 - 26
12345