Protocol assuring Universal Language

M.M. Fokkinga, H. van Rein

Research output: Book/ReportReportAcademic

129 Downloads (Pure)


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
PublisherCentre for Telematics and Information Technology (CTIT)
Number of pages18
Publication statusPublished - Sept 1998

Publication series

NameCTIT Technical Report Series
ISSN (Print)1381-3625


  • EWI-5981
  • METIS-118667
  • IR-18148

Cite this