Refining Interfaces of Cummunicating Systems

Ed Brinksma; Fredrik Orava; Bengt Jonsson

doi:10.1007/3540539816_73

Refining Interfaces of Cummunicating Systems

Ed Brinksma, Fredrik Orava, Bengt Jonsson

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

19 Citations (Scopus)

Abstract

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.

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	https://doi.org/10.1007/3540539816_73
Publication status	Published - 8 Apr 1991
Event	4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991 - Brighton, United Kingdom Duration: 8 Apr 1991 → 12 Apr 1991 Conference number: 4

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	494
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991
Abbreviated title	TAPSOFT
Country	United Kingdom
City	Brighton
Period	8/04/91 → 12/04/91

Keywords

Failure model
Parallel composition
Transition diagram
Trace model
Abstract specification

Access to Document

10.1007/3540539816_73

Cite this

@inproceedings{9bded07a729d4e80a703ab86f8801f14,

title = "Refining Interfaces of Cummunicating Systems",

abstract = "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.",

keywords = "Failure model, Parallel composition, Transition diagram, Trace model, Abstract specification",

author = "Ed Brinksma and Fredrik Orava and Bengt Jonsson",

year = "1991",

month = apr,

day = "8",

doi = "10.1007/3540539816_73",

language = "English",

isbn = "978-3-540-53981-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "297--312",

booktitle = "TAPSOFT '91",

address = "Netherlands",

note = "4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991, TAPSOFT ; Conference date: 08-04-1991 Through 12-04-1991",

}

Brinksma, E, Orava, F & Jonsson, B 1991, Refining Interfaces of Cummunicating Systems. in TAPSOFT '91: Proceedings of the International Joint Conference on Theory and Practice of Software Development Brighton, UK, April 8–12, 1991. Lecture Notes in Computer Science, vol. 494, Springer, Berlin, Heidelberg, pp. 297-312, 4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991, Brighton, United Kingdom, 8/04/91. https://doi.org/10.1007/3540539816_73

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

N1 - Conference code: 4

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

T2 - 4th International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991

Y2 - 8 April 1991 through 12 April 1991

ER -

Refining Interfaces of Cummunicating Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this