Protocol Assuring Universal Language

H. van Rein, M.M. Fokkinga

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-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 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
Publication statusPublished - Feb 1999
Event3rd IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999 - Florence, Italy
Duration: 15 Feb 199918 Feb 1999
Conference number: 3

Publication series

NameIFIP Conference Proceedings
PublisherKluwer Academic Publishers
Volume139

Conference

Conference3rd IFIP TC6/WG6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 1999
Abbreviated titleFMOODS
CountryItaly
CityFlorence
Period15/02/9918/02/99

Keywords

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

Cite this