Protocol assuring Universal Language

M.M. Fokkinga; H. van Rein

Protocol assuring Universal Language

M.M. Fokkinga, H. van Rein

Databases (Former)

Research output: Book/Report › Report › Academic

118 Downloads (Pure)

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
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	18
Publication status	Published - Sept 1998

Publication series

Name	CTIT Technical Report Series
No.	98-21
ISSN (Print)	1381-3625

Keywords

EWI-5981
METIS-118667
IR-18148

Access to Document

0000000bFinal published version, 114 KB

http://www.ub.utwente.nl/webdocs/ctit/1/0000000b.pdf

Cite this

@book{656803ddae4c4b7b95c0e3aba3a5fff0,

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-5981, METIS-118667, IR-18148",

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

note = "Imported from CTIT",

year = "1998",

month = sep,

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "98-21",

address = "Netherlands",

}

TY - BOOK

T1 - Protocol assuring Universal Language

AU - Fokkinga, M.M.

AU - van Rein, H.

N1 - Imported from CTIT

PY - 1998/9

Y1 - 1998/9

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-5981

KW - METIS-118667

KW - IR-18148

M3 - Report

T3 - CTIT Technical Report Series

BT - Protocol assuring Universal Language

PB - Centre for Telematics and Information Technology (CTIT)

ER -