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 条
  • [1] Orientation and conformance: A HMM-based approach to online conformance checking
    Lee, Wai Lam Jonathan
    Burattin, Andrea
    Munoz-Gama, Jorge
    Sepulveda, Marcos
    [J]. INFORMATION SYSTEMS, 2021, 102
  • [2] Behavioral interface conformance checking for WS-BPEL processes
    Salah, Aziz
    Tremblay, Guy
    Chami, Aida
    [J]. 2008 INTERNATIONAL MCETECH CONFERENCE ON E-TECHNOLOGIES, PROCEEDINGS, 2007, : 253 - 257
  • [3] A Unified Approach to Architecture Conformance Checking
    Caracciolo, Andrea
    Lungu, Mircea Filip
    Nierstrasz, Oscar
    [J]. 2015 12TH WORKING IEEE/IFIP CONFERENCE ON SOFTWARE ARCHITECTURE (WICSA), 2015, : 41 - 50
  • [4] A Two-Level Approach Based on Model Checking to Support Architecture Conformance Checking
    Menezes, Bruno
    Martins, Ana Teresa
    Rocha, Thiago Alves
    [J]. FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2021, 2021, 13130 : 1 - 16
  • [5] Conformance checking of partially matching processes: An entropy-based approach
    Polyvyanyy, Artem
    Kalenkova, Anna
    [J]. INFORMATION SYSTEMS, 2022, 106
  • [6] Stochastic-Aware Conformance Checking: An Entropy-Based Approach
    Leemans, Sander J. J.
    Polyvyanyy, Artem
    [J]. ADVANCED INFORMATION SYSTEMS ENGINEERING, CAISE 2020, 2020, 12127 : 217 - 233
  • [7] A Algorithm for Conformance Checking Based on Statistics
    Li Zhao
    Zhang Liqun
    Huang Fangfang
    [J]. 2014 FIFTH INTERNATIONAL CONFERENCE ON INTELLIGENT SYSTEMS DESIGN AND ENGINEERING APPLICATIONS (ISDEA), 2014, : 5 - 8
  • [8] Self checking network protocols: A monitor based approach
    Khanna, G
    Varadharajan, P
    Bagchi, S
    [J]. 23RD IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, 2004, : 18 - 30
  • [9] A Conformance Checking-Based Approach for Sudden Drift Detection in Business Processes
    Gallego-Fontenla, Victor
    Vidal, Juan C.
    Lama, Manuel
    [J]. IEEE TRANSACTIONS ON SERVICES COMPUTING, 2023, 16 (01) : 13 - 26
  • [10] Comparing Conformance Checking for Decision Mining: An Axiomatic Approach
    Banham, Adam
    Ter Hofstede, Arthur H. M.
    Leemans, Sander J. J.
    Mannhardt, Felix
    Andrews, Robert
    Wynn, Moe T.
    [J]. IEEE ACCESS, 2024, 12 : 60276 - 60298
12345