Modelling enterprise system protocols and trace conformance

Cameron Hine, Jean-Guy Schneider, Jun Han, Steve Versteeg

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

6 Citations (Scopus)


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.

Original languageEnglish
Title of host publicationProceedings - 21st Australian Software Engineering Conference, ASWEC 2010
PublisherIEEE, Institute of Electrical and Electronics Engineers
Number of pages10
ISBN (Print)9780769540061
Publication statusPublished - 2010
Externally publishedYes
EventAustralian Software Engineering Conference 2010 - Auckland, New Zealand
Duration: 6 Apr 20109 Apr 2010
Conference number: 21st (Proceedings)

Publication series

NameProceedings of the Australian Software Engineering Conference, ASWEC


ConferenceAustralian Software Engineering Conference 2010
Abbreviated titleASWEC 2010
Country/TerritoryNew Zealand
Internet address


  • Dynamic extension
  • Enterprise systems
  • Protocol modelling
  • Trace conformance

Cite this