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 条
  • [1] Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
    Hammal, Youcef
    Mansour, Khadidja Salah
    Abdelli, Abdelkrim
    Mokdad, Lynda
    [J]. 2019 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (ISCC), 2019, : 1004 - 1009
  • [2] Formal techniques for consistency checking of orchestrations of semantic Web services
    Hammal, Youcef
    Mansour, Khadidja Salah
    Abdelli, Abdelkrim
    Mokdad, Lynda
    [J]. JOURNAL OF COMPUTATIONAL SCIENCE, 2020, 44
  • [3] A formal approach for the validation of web service orchestrations
    Kacem, Hatem Hadj
    Sellami, Wael
    Kacem, Ahmed Hadj
    [J]. 2012 IEEE 21ST INTERNATIONAL WORKSHOP ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2012, : 42 - 47
  • [4] Formal Checking of WS-BPEL Orchestrations
    Matkovic, J.
    Fertalj, K.
    [J]. 2014 37TH INTERNATIONAL CONVENTION ON INFORMATION AND COMMUNICATION TECHNOLOGY, ELECTRONICS AND MICROELECTRONICS (MIPRO), 2014, : 360 - 366
  • [5] Model-checking Web Services Orchestrations using BP-calculus
    Abouzaid, Faisal
    Mullins, John
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 255 : 3 - 21
  • [6] 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
  • [7] Towards Formal Checking of Web Services Substitutability
    Bourouz, Sofiane
    Zeghib, Nadia
    [J]. 2016 INTERNATIONAL CONFERENCE ON ADVANCED ASPECTS OF SOFTWARE ENGINEERING (ICAASE), 2016,
  • [8] Conformance Checking using Formal Methods
    Santone, Antonella
    Vaglini, Gigliola
    [J]. ICSOFT-EA: PROCEEDINGS OF THE 11TH INTERNATIONAL JOINT CONFERENCE ON SOFTWARE TECHNOLOGIES - VOL. 1, 2016, : 258 - 263
  • [9] Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
    Bentakouk, Lina
    Poizat, Pascal
    Zaidi, Fatiha
    [J]. TESTS AND PROOFS, TAP 2011, 2011, 6706 : 33 - 50
  • [10] Optimizing Decisions in Web Services Orchestrations
    Kattepur, Ajay
    Benveniste, Albert
    Jard, Claude
    [J]. SERVICE-ORIENTED COMPUTING, 2011, 7084 : 77 - 91
12345