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