A sniffer based approach to WS protocols conformance checking

被引：0
|
作者：
Ramsokul, Pemadeep [1 ,3 ]
Sowmya, Arcot [1 ,2 ,3 ]
机构：
[1] Univ New South Wales, Sch Comp Sci & Engn, Sydney, NSW, Australia
[2] UNSW, Div Engn & Sci & Technol, Asia, Singapore
[3] NICTA, Natl ICT Australia, Sydney, NSW 1466, Australia
来源：
ISPDC 2006: FIFTH INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED COMPUTING, PROCEEDINGS | 2006年
基金：
澳大利亚研究理事会;
关键词：
conformance checking; interoperability; web services; protocols; sniffer;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
To reduce interoperability problems arising from ambiguous or incomplete web services protocol specifications, we have recently introduced a formal framework, which allows modelling and automatic verification of such protocols. However, interoperability problems can still occur due to incorrect implementations. In this paper, we introduce a sniffer based approach to check the conformance of a protocol's implementation to its specification; messages of the actual implementations are captured, processed and checked against the specification's formal model. We also briefly illustrate the application of our framework using a version of the WSAtomicTransaction protocol.
引用
收藏
页码：58 / +
页数：2
相关论文
共 50 条
  • [31] Towards Robust Conformance Checking
    Adriansyah, A.
    van Dongen, B. F.
    van der Aalst, W. M. P.
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, 2011, 66 : 122 - 133
  • [32] Checking the Conformance of Orchestrations with Respect to Choreographies in Web Services: A Formal Approach
    Diaz, Gregorio
    Rodriguez, Ismael
    [J]. FORMAL TECHNIQUES FOR DISTRIBUTED SYSTEMS, PROCEEDINGS, 2009, 5522 : 231 - +
  • [33] Reconstructing invisible deviating events: A conformance checking approach for recurring events
    Grueger, Joscha
    Kuhn, Martin
    Bergmann, Ralph
    [J]. MATHEMATICAL BIOSCIENCES AND ENGINEERING, 2022, 19 (11) : 11782 - 11799
  • [34] ALIGNMENT-BASED CONFORMANCE CHECKING OF HIERARCHICAL PROCESS MODELS
    Wang, Lu
    Han, Xiao
    Qi, Man
    Wang, Kang
    Li, Peng
    [J]. COMPUTING AND INFORMATICS, 2024, 43 (02) : 149 - 180
  • [35] REACH: Researching Efficient Alignment-based Conformance Checking
    Casas-Ramos, Jacobo
    Mucientes, Manuel
    Lama, Manuel
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2024, 241
  • [36] Distributed conformance checking method based on process model decomposition
    Shen, Xtaolin
    Liu, Cong
    Li, Hulling
    Zheng, Ka
    Cheng, Long
    Zeng, Qingtian
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2024, 30 (08): : 2884 - 2896
  • [37] Conformance Checking in Healthcare Based on Partially Ordered Event Data
    Lu, Xixi
    Mans, Ronny S.
    Fahland, Dirk
    van der Aalst, Wil M. P.
    [J]. 2014 IEEE EMERGING TECHNOLOGY AND FACTORY AUTOMATION (ETFA), 2014,
  • [38] Conformance Checking using Cost-Based Fitness Analysis
    Adriansyah, A.
    van Dongen, B. F.
    van der Aalst, W. M. P.
    [J]. 15TH IEEE INTERNATIONAL ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE (EDOC 2011), 2011, : 55 - 64
  • [39] Conformance Testing of Schedulers for DSL-based Model Checking
    Tran, Nhat-Hoa
    Aoki, Toshiaki
    [J]. MODEL CHECKING SOFTWARE, SPIN 2019, 2019, 11636 : 208 - 225
  • [40] Conformance checking for process models with loops based on heuristic search
    Xie, Yan
    Yan, Hui
    Chen, Xiaojie
    Duan, Huilong
    [J]. Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2022, 28 (10): : 3081 - 3089
12345