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