Protocol Assuring Universal Language

H. van Rein, M.M. Fokkinga

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 languageUndefined
Title of host publicationProceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999)
EditorsP. Ciancarinia, A. Fantechi, R. Gorrieri
Place of PublicationDeventer, The Netherlands
PublisherKluwer Academic Publishers
Pages241-258
Number of pages18
ISBN (Print)0-7923-8429-6
StatePublished - Feb 1999

Publication series

NameIFIP Conference Proceedings
PublisherKluwer Academic Publishers
Volume139

Fingerprint

Semantics

Keywords

  • EWI-7323
  • IR-63531
  • METIS-119617

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). Deventer, The Netherlands: Kluwer Academic Publishers.

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

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: Scientific - peer-reviewConference contribution

@inbook{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]",
year = "1999",
month = "2",
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)",

}

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.

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: Scientific - peer-reviewConference contribution

TY - CHAP

T1 - Protocol Assuring Universal Language

AU - van Rein,H.

AU - Fokkinga,M.M.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003033]

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)

PB - Kluwer Academic Publishers

ER -

van Rein H, Fokkinga MM. Protocol Assuring Universal Language. In Ciancarinia P, Fantechi A, Gorrieri R, editors, Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 1999). Deventer, The Netherlands: Kluwer Academic Publishers. 1999. p. 241-258. (IFIP Conference Proceedings).