Abstract
| Original language | English |
|---|---|
| Title of host publication | TAPSOFT '91 |
| Subtitle of host publication | Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991 |
| Place of Publication | Berlin, Heidelberg |
| Publisher | Springer |
| Pages | 297-312 |
| Number of pages | 16 |
| ISBN (Electronic) | 978-3-540-46499-0 |
| ISBN (Print) | 978-3-540-53981-0 |
| DOIs | |
| Publication status | Published - 8 Apr 1991 |
Publication series
| Name | Lecture Notes in Computer Science |
|---|---|
| Publisher | Springer |
| Volume | 494 |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Fingerprint
Keywords
- Failure model
- Parallel composition
- Transition diagram
- Trace model
- Abstract specification
Cite this
}
Refining Interfaces of Cummunicating Systems. / Brinksma, Ed; Orava, Fredrik; Jonsson, Bengt.
TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Berlin, Heidelberg : Springer, 1991. p. 297-312 (Lecture Notes in Computer Science; Vol. 494).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review
TY - GEN
T1 - Refining Interfaces of Cummunicating Systems
AU - Brinksma, Ed
AU - Orava, Fredrik
AU - Jonsson, Bengt
PY - 1991/4/8
Y1 - 1991/4/8
N2 - There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.
AB - There are now several theories for describing and reasoning about the behavior of communicating systems, where the behavior of a communicating system is described in terms of its capabilities to perform communication actions in cooperation with its environment. In such theories, preorders or equivalences are defined as criteria for when one system is an acceptable substitute or implementation of another. Existing theories of communicating systems define preorders or equivalence relations only between systems with identical sets of communication actions. In many practical design situations, however, it may be desirable to refine a system by changing its set of communication actions. We present a simple method for carrying out such refinements. The method is first formulated in a general setting, and then elaborated in more detail in the trace model and a simple version of the failure model. We illustrate the usefulness of our method by an application to I.451, an ISDN access protocol.
KW - Failure model
KW - Parallel composition
KW - Transition diagram
KW - Trace model
KW - Abstract specification
U2 - 10.1007/3540539816_73
DO - 10.1007/3540539816_73
M3 - Conference contribution
SN - 978-3-540-53981-0
T3 - Lecture Notes in Computer Science
SP - 297
EP - 312
BT - TAPSOFT '91
PB - Springer
CY - Berlin, Heidelberg
ER -