Modelling enterprise system protocols and trace conformance

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

doi:10.1109/ASWEC.2010.40

Modelling enterprise system protocols and trace conformance

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

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

6 Citations (Scopus)

Abstract

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 language	English
Title of host publication	Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010
Publisher	IEEE, Institute of Electrical and Electronics Engineers
Pages	35-44
Number of pages	10
ISBN (Print)	9780769540061
DOIs	https://doi.org/10.1109/ASWEC.2010.40
Publication status	Published - 2010
Externally published	Yes
Event	Australian Software Engineering Conference 2010 - Auckland, New Zealand Duration: 6 Apr 2010 → 9 Apr 2010 Conference number: 21st https://ieeexplore.ieee.org/xpl/conhome/5474654/proceeding (Proceedings)

Publication series

Name	Proceedings of the Australian Software Engineering Conference, ASWEC

Conference

Conference	Australian Software Engineering Conference 2010
Abbreviated title	ASWEC 2010
Country/Territory	New Zealand
City	Auckland
Period	6/04/10 → 9/04/10
Internet address	https://ieeexplore.ieee.org/xpl/conhome/5474654/proceeding (Proceedings)

Keywords

Dynamic extension
Enterprise systems
Protocol modelling
Trace conformance

Access to Document

10.1109/ASWEC.2010.40

Cite this

Hine, C., Schneider, J.-G., Han, J., & Versteeg, S. (2010). Modelling enterprise system protocols and trace conformance. In Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010 (pp. 35-44). Article 5475054 (Proceedings of the Australian Software Engineering Conference, ASWEC). IEEE, Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/ASWEC.2010.40

@inproceedings{b90618b3a5164078aa39cf4fbba117fe,

title = "Modelling enterprise system protocols and trace conformance",

abstract = "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.",

keywords = "Dynamic extension, Enterprise systems, Protocol modelling, Trace conformance",

author = "Cameron Hine and Jean-Guy Schneider and Jun Han and Steve Versteeg",

year = "2010",

doi = "10.1109/ASWEC.2010.40",

language = "English",

isbn = "9780769540061",

series = "Proceedings of the Australian Software Engineering Conference, ASWEC",

publisher = "IEEE, Institute of Electrical and Electronics Engineers",

pages = "35--44",

booktitle = "Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010",

address = "United States of America",

note = "Australian Software Engineering Conference 2010, ASWEC 2010 ; Conference date: 06-04-2010 Through 09-04-2010",

url = "https://ieeexplore.ieee.org/xpl/conhome/5474654/proceeding",

}

Hine, C, Schneider, J-G, Han, J & Versteeg, S 2010, Modelling enterprise system protocols and trace conformance. in Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010., 5475054, Proceedings of the Australian Software Engineering Conference, ASWEC, IEEE, Institute of Electrical and Electronics Engineers, pp. 35-44, Australian Software Engineering Conference 2010, Auckland, New Zealand, 6/04/10. https://doi.org/10.1109/ASWEC.2010.40

Modelling enterprise system protocols and trace conformance. / Hine, Cameron; Schneider, Jean-Guy; Han, Jun et al.
Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010. IEEE, Institute of Electrical and Electronics Engineers, 2010. p. 35-44 5475054 (Proceedings of the Australian Software Engineering Conference, ASWEC).

Research output: Chapter in Book/Report/Conference proceeding › Conference Paper › Research › peer-review

TY - GEN

T1 - Modelling enterprise system protocols and trace conformance

AU - Hine, Cameron

AU - Schneider, Jean-Guy

AU - Han, Jun

AU - Versteeg, Steve

N1 - Conference code: 21st

PY - 2010

Y1 - 2010

N2 - 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.

AB - 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.

KW - Dynamic extension

KW - Enterprise systems

KW - Protocol modelling

KW - Trace conformance

UR - http://www.scopus.com/inward/record.url?scp=77954345954&partnerID=8YFLogxK

U2 - 10.1109/ASWEC.2010.40

DO - 10.1109/ASWEC.2010.40

M3 - Conference Paper

AN - SCOPUS:77954345954

SN - 9780769540061

T3 - Proceedings of the Australian Software Engineering Conference, ASWEC

SP - 35

EP - 44

BT - Proceedings - 21st Australian Software Engineering Conference, ASWEC 2010

PB - IEEE, Institute of Electrical and Electronics Engineers

T2 - Australian Software Engineering Conference 2010

Y2 - 6 April 2010 through 9 April 2010

ER -

Modelling enterprise system protocols and trace conformance

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Cite this