Dependence Graphs for Verifications of Web Service Compositions with PEWS

被引：0
|
作者：
Ba, Cheikh [1 ]
Ferrari, Mirian Halfeld [1 ]
机构：
[1] Univ Francois Rabelais Tours, F-41000 Blois, France
来源：
APPLIED COMPUTING 2008, VOLS 1-3 | 2008年
关键词：
Web service composition; trace theory; dependence graphs;
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
PEWS is an interface description language for both individual and composed web services. We propose an approach for verifying PEWS compositions which exploits dependence graphs (equivalent to trace systems). The introduction of a synchronization based on dependence graphs allows more efficient algorithms for testing composition properties.
引用
收藏
页码：2387 / 2391
页数：5
相关论文
共 50 条
  • [21] Techniques to Produce Optimal Web Service Compositions
    Blanco, Eduardo
    Cardinale, Yudith
    Vidal, Maria-Esther
    Graterol, Jesus
    IEEE CONGRESS ON SERVICES 2008, PT I, PROCEEDINGS, 2008, : 553 - 558
  • [22] Computing performance requirements for web service compositions
    Garcia-Dominguez, Antonio
    Palomo-Lozano, Francisco
    Medina-Bulo, Inmaculada
    Ibias, Alfredo
    Nunez, Manuel
    COMPUTER STANDARDS & INTERFACES, 2023, 83
  • [23] Handling Concurrency Control Problem in Web Service Compositions
    Sundar, Shyam S.
    Kanchana, R.
    2013 FOURTH INTERNATIONAL CONFERENCE ON COMPUTING, COMMUNICATIONS AND NETWORKING TECHNOLOGIES (ICCCNT), 2013,
  • [24] Using aspects for security engineering of web service compositions
    Charfi, A
    Mezini, M
    2005 IEEE International Conference on Web Services, Vols 1 and 2, Proceedings, 2005, : 59 - 66
  • [25] Achieving autonomic Web service compositions with models at runtime
    Alferez, German H.
    Pelechano, Vicente
    COMPUTERS & ELECTRICAL ENGINEERING, 2017, 63 : 332 - 352
  • [26] A FORMULA DRIVEN INCREMENTAL CONSTRUCTION OF WEB SERVICE COMPOSITIONS
    Santone, Antonella
    Vaglini, Gigliola
    Villani, Maria Luisa
    ICSOFT 2009: PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2009, : 13 - +
  • [27] Verifying temporal and epistemic properties of web service compositions
    Lomuscio, Alessio
    Qu, Hongyang
    Sergot, Marek
    Solanki, Monika
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS, 2007, 4749 : 456 - +
  • [28] Model-based verification of web service compositions
    Foster, H
    Uchitel, S
    Magee, J
    Kramer, J
    18TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 152 - 161
  • [29] Reachability analysis of web service compositions via NWA
    Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China
    不详
    不详
    J. Southeast Univ. Engl. Ed., 2008, 3 (293-295):
  • [30] Computing Admissible Temporal SLAs for Web Service Compositions
    Franceschetti, Marco
    Eder, Johann
    2020 IEEE 13TH INTERNATIONAL CONFERENCE ON WEB SERVICES (ICWS 2020), 2020, : 318 - 326
12345