Swinburne
Browse

Modelling Enterprise System Protocols and Trace Conformance

Download (313.1 kB)
conference contribution
posted on 2024-07-09, 13:37 authored by Cameron Hine, Jean-Guy Schneider, Jun HanJun Han, Steve Versteeg
Distributed enterprise systems, which are comprised of multiple software systems, typically communicate using application-layer protocols. Being able to independently test each system’s conformance to the protocol specification is important to ensure the overall robustness and reliability of the distributed system. While there exists many modelling languages for network layer protocols, very few tools exist for modelling valid message sequences specifically for the application layer. In order to address this issue, we propose a concise formal modelling syntax for application-layer protocols, with clearly defined semantics. A key feature of our protocol model is dynamic extension, which is necessary for the concise modelling of subsidiary concurrent operations. We demonstrate the power of our modelling language by compactly specifying the valid message sequences of two common application-layer protocols. Trace conformance is defined for the model along with a prototype implementation demonstrating the practical utility of our modelling framework.

History

Available versions

PDF (Published version)

ISBN

9781424464753

ISSN

1530-0803

Conference name

2010 21st Australian Software Engineering Conference

Pagination

9 pp

Publisher

IEEE

Copyright statement

Copyright © 2010 IEEE. The published version is reproduced in accordance with the copyright policy of the publisher. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.

Language

eng

Usage metrics

    Publications

    Categories

    No categories selected

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC