A Queue Model relating Synchronous and Asynchronous Communication

Jan Tretmans; Louis Verhaard

doi:10.1016/B978-0-444-89874-6.50015-5

A Queue Model relating Synchronous and Asynchronous Communication

Jan Tretmans, Louis Verhaard

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

Abstract

The problem of comparing specifications that use asynchronous communication (Estelle, SDL) with specifications that use synchronous communication (LOTOS) is approached by modelling asynchronous communication in the realm of labelled transition systems using a context. A particular context consisting of two queues, one for input and one for output, is investigated. This queue context is modelled by a queue operator on labelled transition systems. A new equivalence, queue equivalence, is introduced as testing equivalence in a queue context. It turns out that this equivalence can be characterized by sets of traces, instead of by failure pairs, as in the case of conventional testing equivalence on labelled transition systems. A few non-equivalence relations for queue contexts are introduced that can serve as implementation relations. They are related to the implementation relations of failure preorder, trace preorder and conformance.

Original language	English
Title of host publication	Protocol Specification, Testing and Verification XII
Subtitle of host publication	Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992
Editors	R.J. Linn, Jr., M.Ü. Uyar
Place of Publication	Amsterdam
Publisher	North Holland
Pages	131-145
ISBN (Print)	978-0-444-89874-6
DOIs	https://doi.org/10.1016/B978-0-444-89874-6.50015-5
Publication status	Published - 1992
Event	IFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992 - Lake Buena Vista, United States Duration: 22 Jun 1992 → 25 Jun 1992 Conference number: 12

Conference

Conference	IFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992
Abbreviated title	PSTV 1992
Country/Territory	United States
City	Lake Buena Vista
Period	22/06/92 → 25/06/92

Access to Document

10.1016/B978-0-444-89874-6.50015-5

Cite this

Tretmans, J., & Verhaard, L. (1992). A Queue Model relating Synchronous and Asynchronous Communication. In R. J. Linn, Jr., & M. Ü. Uyar (Eds.), Protocol Specification, Testing and Verification XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992 (pp. 131-145). North Holland. https://doi.org/10.1016/B978-0-444-89874-6.50015-5

Tretmans, Jan ; Verhaard, Louis. / A Queue Model relating Synchronous and Asynchronous Communication. Protocol Specification, Testing and Verification XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992. editor / R.J. Linn, Jr. ; M.Ü. Uyar. Amsterdam : North Holland, 1992. pp. 131-145

@inbook{0c9c9967353a4de7b08cce740120a24c,

title = "A Queue Model relating Synchronous and Asynchronous Communication",

abstract = "The problem of comparing specifications that use asynchronous communication (Estelle, SDL) with specifications that use synchronous communication (LOTOS) is approached by modelling asynchronous communication in the realm of labelled transition systems using a context. A particular context consisting of two queues, one for input and one for output, is investigated. This queue context is modelled by a queue operator on labelled transition systems. A new equivalence, queue equivalence, is introduced as testing equivalence in a queue context. It turns out that this equivalence can be characterized by sets of traces, instead of by failure pairs, as in the case of conventional testing equivalence on labelled transition systems. A few non-equivalence relations for queue contexts are introduced that can serve as implementation relations. They are related to the implementation relations of failure preorder, trace preorder and conformance.",

author = "Jan Tretmans and Louis Verhaard",

year = "1992",

doi = "10.1016/B978-0-444-89874-6.50015-5",

language = "English",

isbn = "978-0-444-89874-6",

pages = "131--145",

editor = "{Linn, Jr.}, R.J. and M.{\"U}. Uyar",

booktitle = "Protocol Specification, Testing and Verification XII",

publisher = "North Holland",

address = "Netherlands",

note = "IFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992, PSTV 1992 ; Conference date: 22-06-1992 Through 25-06-1992",

}

Tretmans, J & Verhaard, L 1992, A Queue Model relating Synchronous and Asynchronous Communication. in RJ Linn, Jr. & MÜ Uyar (eds), Protocol Specification, Testing and Verification XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992. North Holland, Amsterdam, pp. 131-145, IFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992, Lake Buena Vista, Florida, United States, 22/06/92. https://doi.org/10.1016/B978-0-444-89874-6.50015-5

A Queue Model relating Synchronous and Asynchronous Communication. / Tretmans, Jan; Verhaard, Louis.
Protocol Specification, Testing and Verification XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992. ed. / R.J. Linn, Jr.; M.Ü. Uyar. Amsterdam: North Holland, 1992. p. 131-145.

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic

TY - CHAP

T1 - A Queue Model relating Synchronous and Asynchronous Communication

AU - Tretmans, Jan

AU - Verhaard, Louis

N1 - Conference code: 12

PY - 1992

Y1 - 1992

N2 - The problem of comparing specifications that use asynchronous communication (Estelle, SDL) with specifications that use synchronous communication (LOTOS) is approached by modelling asynchronous communication in the realm of labelled transition systems using a context. A particular context consisting of two queues, one for input and one for output, is investigated. This queue context is modelled by a queue operator on labelled transition systems. A new equivalence, queue equivalence, is introduced as testing equivalence in a queue context. It turns out that this equivalence can be characterized by sets of traces, instead of by failure pairs, as in the case of conventional testing equivalence on labelled transition systems. A few non-equivalence relations for queue contexts are introduced that can serve as implementation relations. They are related to the implementation relations of failure preorder, trace preorder and conformance.

AB - The problem of comparing specifications that use asynchronous communication (Estelle, SDL) with specifications that use synchronous communication (LOTOS) is approached by modelling asynchronous communication in the realm of labelled transition systems using a context. A particular context consisting of two queues, one for input and one for output, is investigated. This queue context is modelled by a queue operator on labelled transition systems. A new equivalence, queue equivalence, is introduced as testing equivalence in a queue context. It turns out that this equivalence can be characterized by sets of traces, instead of by failure pairs, as in the case of conventional testing equivalence on labelled transition systems. A few non-equivalence relations for queue contexts are introduced that can serve as implementation relations. They are related to the implementation relations of failure preorder, trace preorder and conformance.

U2 - 10.1016/B978-0-444-89874-6.50015-5

DO - 10.1016/B978-0-444-89874-6.50015-5

M3 - Chapter

SN - 978-0-444-89874-6

SP - 131

EP - 145

BT - Protocol Specification, Testing and Verification XII

A2 - Linn, Jr., R.J.

A2 - Uyar, M.Ü.

PB - North Holland

CY - Amsterdam

T2 - IFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992

Y2 - 22 June 1992 through 25 June 1992

ER -

Tretmans J, Verhaard L. A Queue Model relating Synchronous and Asynchronous Communication. In Linn, Jr. RJ, Uyar MÜ, editors, Protocol Specification, Testing and Verification XII: Proceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992. Amsterdam: North Holland. 1992. p. 131-145 doi: 10.1016/B978-0-444-89874-6.50015-5

A Queue Model relating Synchronous and Asynchronous Communication

Abstract

Conference

Access to Document

Fingerprint

Cite this