Protocol Assuring Universal Language

H. van Rein; M.M. Fokkinga

Protocol Assuring Universal Language

H. van Rein, M.M. Fokkinga

Databases (Former)

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

Abstract

Conventionally, interfaces of objects export a set of messages with their types, and suggest nothing about the order in which these services may be accessed. This leaves room for a large number of runtime errors or misbehaviours in type correct designs. To mend this, we introduce the notion of protocol, expressing offered and expected orderings of messages, along with a notion of protocol correctness. We do this by defining the Protocol Assuring Universal Language Paul, which describes protocol aspects of classes, and a semantics of in terms of CSP.

Original language	Undefined
Title of host publication	Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)
Editors	P. Ciancarinia, A. Fantechi, R. Gorrieri
Place of Publication	Deventer, The Netherlands
Publisher	Kluwer Academic Publishers
Pages	241-258
Number of pages	18
ISBN (Print)	0-7923-8429-6
Publication status	Published - Feb 1999
Event	3rd IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999 - Florence, Italy Duration: 15 Feb 1999 → 18 Feb 1999 Conference number: 3

Publication series

Name	IFIP Conference Proceedings
Publisher	Kluwer Academic Publishers
Volume	139

Conference

Conference	3rd IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999
Abbreviated title	FMOODS
Country/Territory	Italy
City	Florence
Period	15/02/99 → 18/02/99

Keywords

EWI-7323
IR-63531
METIS-119617

Access to Document

Cite this

van Rein, H., & Fokkinga, M. M. (1999). Protocol Assuring Universal Language. In P. Ciancarinia, A. Fantechi, & R. Gorrieri (Eds.), Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999) (pp. 241-258). (IFIP Conference Proceedings; Vol. 139). Kluwer Academic Publishers. http://eprints.eemcs.utwente.nl/secure2/7323/01/db-utwente-0000003033.pdf

@inproceedings{6e2ad5a7819341708b4a0ecd661b5c65,

title = "Protocol Assuring Universal Language",

abstract = "Conventionally, interfaces of objects export a set of messages with their types, and suggest nothing about the order in which these services may be accessed. This leaves room for a large number of runtime errors or misbehaviours in type correct designs. To mend this, we introduce the notion of protocol, expressing offered and expected orderings of messages, along with a notion of protocol correctness. We do this by defining the Protocol Assuring Universal Language Paul, which describes protocol aspects of classes, and a semantics of in terms of CSP.",

keywords = "EWI-7323, IR-63531, METIS-119617",

author = "{van Rein}, H. and M.M. Fokkinga",

note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003033]; null ; Conference date: 15-02-1999 Through 18-02-1999",

year = "1999",

month = feb,

language = "Undefined",

isbn = "0-7923-8429-6",

series = "IFIP Conference Proceedings",

publisher = "Kluwer Academic Publishers",

pages = "241--258",

editor = "P. Ciancarinia and A. Fantechi and R. Gorrieri",

booktitle = "Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)",

address = "Netherlands",

}

van Rein, H & Fokkinga, MM 1999, Protocol Assuring Universal Language. in P Ciancarinia, A Fantechi & R Gorrieri (eds), Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999). IFIP Conference Proceedings, vol. 139, Kluwer Academic Publishers, Deventer, The Netherlands, pp. 241-258, 3rd IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999, Florence, Italy, 15/02/99. <http://eprints.eemcs.utwente.nl/secure2/7323/01/db-utwente-0000003033.pdf>

Protocol Assuring Universal Language. / van Rein, H.; Fokkinga, M.M.

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999). ed. / P. Ciancarinia; A. Fantechi; R. Gorrieri. Deventer, The Netherlands : Kluwer Academic Publishers, 1999. p. 241-258 (IFIP Conference Proceedings; Vol. 139).

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

TY - GEN

T1 - Protocol Assuring Universal Language

AU - van Rein, H.

AU - Fokkinga, M.M.

N1 - Conference code: 3

PY - 1999/2

Y1 - 1999/2

N2 - Conventionally, interfaces of objects export a set of messages with their types, and suggest nothing about the order in which these services may be accessed. This leaves room for a large number of runtime errors or misbehaviours in type correct designs. To mend this, we introduce the notion of protocol, expressing offered and expected orderings of messages, along with a notion of protocol correctness. We do this by defining the Protocol Assuring Universal Language Paul, which describes protocol aspects of classes, and a semantics of in terms of CSP.

AB - Conventionally, interfaces of objects export a set of messages with their types, and suggest nothing about the order in which these services may be accessed. This leaves room for a large number of runtime errors or misbehaviours in type correct designs. To mend this, we introduce the notion of protocol, expressing offered and expected orderings of messages, along with a notion of protocol correctness. We do this by defining the Protocol Assuring Universal Language Paul, which describes protocol aspects of classes, and a semantics of in terms of CSP.

KW - EWI-7323

KW - IR-63531

KW - METIS-119617

M3 - Conference contribution

SN - 0-7923-8429-6

T3 - IFIP Conference Proceedings

SP - 241

EP - 258

BT - Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)

A2 - Ciancarinia, P.

A2 - Fantechi, A.

A2 - Gorrieri, R.

PB - Kluwer Academic Publishers

CY - Deventer, The Netherlands

Y2 - 15 February 1999 through 18 February 1999

ER -