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 条
  • [21] Conformance Checking Based on Partially Ordered Event Data
    Lu, Xixi
    Fahland, Dirk
    van der Aalst, Wil M. P.
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS( BPM 2014), 2015, 202 : 75 - 88
  • [22] Model checking conformance with scenario-based specifications
    Glusman, M
    Katz, S
    [J]. COMPUTER AIDED VERIFICATION, 2003, 2725 : 328 - 340
  • [23] Conformance Checking: A Systemic View
    van Dongen, Boudewijn F.
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS, BPM 2021, 2022, 436 : 61 - 72
  • [24] Online Approximate Conformance Checking
    Guo, Xin
    Fang, Xianwen
    Mao, Gubao
    [J]. 2021 INTERNATIONAL CONFERENCE ON CYBER-PHYSICAL SOCIAL INTELLIGENCE (ICCSI), 2021,
  • [25] Automatic Modularity Conformance Checking
    Huynh, Sunny
    Cai, Yuanfang
    Song, Yuanyuan
    Sullivan, Kevin
    [J]. ICSE'08 PROCEEDINGS OF THE THIRTIETH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 2008, : 411 - 420
  • [26] Conformance Checking in Process Mining
    Jans, Mieke
    De Weerdt, Jochen
    Depaire, Benoit
    Dumas, Marlon
    Janssenswillen, Gert
    [J]. INFORMATION SYSTEMS, 2021, 102
  • [27] A Framework for Online Conformance Checking
    Burattin, Andrea
    Carmona, Josep
    [J]. BUSINESS PROCESS MANAGEMENT WORKSHOPS (BPM 2017), 2018, 308 : 165 - 177
  • [28] Checking Traces for Regulatory Conformance
    Dinesh, Nikhil
    Joshi, Aravind
    Lee, Insup
    Sokolsky, Oleg
    [J]. RUNTIME VERIFICATION, 2008, 5289 : 86 - 103
  • [29] Recomposing conformance: Closing the circle on decomposed alignment-based conformance checking in process mining
    Lee, Wai Lam Jonathan
    Verbeek, H. M. W.
    Munoz-Gama, Jorge
    van der Aalst, Wil M. P.
    Sepulveda, Marcos
    [J]. INFORMATION SCIENCES, 2018, 466 : 55 - 91
  • [30] Conformance checking of service behavior
    van der Aalst, Wil M. P.
    Dumas, Marlon
    Ouyang, Chun
    Rozinat, Anne
    Verbeek, Eric
    [J]. ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2008, 8 (03)
12345