Compositional refinement of interactive systems modelled by relations

Manfred Broy

doi:10.1007/3-540-49213-5_6

Compositional refinement of interactive systems modelled by relations

Manfred Broy

Informatics 4 - Chair of Software and Systems Engineering (2008 — 2022)

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

11 Scopus citations

Abstract

We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a component interacts with its environment by exchanging messages in a time frame. The interaction is performed by accepting input and by producing output messages on named channels. We describe forms of composition and three forms of refinement, namely property refinement, glass box refinement, and interaction refinement. Finally, we prove the compositionality of the mathematical model with respect to the introduced refinement relations.

Original language	English
Title of host publication	Compositionality
Subtitle of host publication	The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures
Editors	Willem-Paul de Roever, Langmaack Langmaack, Pnueli Pnueli
Publisher	Springer Verlag
Pages	130-149
Number of pages	20
ISBN (Print)	3540654933, 9783540654933
DOIs	https://doi.org/10.1007/3-540-49213-5_6
State	Published - 1998
Event	International Symposium on Compositionality: The Significant Difference, COMPOS 1997 - Bad Malente, Germany Duration: 8 Sep 1997 → 12 Sep 1997

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1536
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	International Symposium on Compositionality: The Significant Difference, COMPOS 1997
Country/Territory	Germany
City	Bad Malente
Period	8/09/97 → 12/09/97

Access to Document

10.1007/3-540-49213-5_6

Cite this

Broy, M. (1998). Compositional refinement of interactive systems modelled by relations. In W.-P. de Roever, L. Langmaack, & P. Pnueli (Eds.), Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures (pp. 130-149). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1536). Springer Verlag. https://doi.org/10.1007/3-540-49213-5_6

Broy, Manfred. / Compositional refinement of interactive systems modelled by relations. Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. editor / Willem-Paul de Roever ; Langmaack Langmaack ; Pnueli Pnueli. Springer Verlag, 1998. pp. 130-149 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{370f9e727da34094bd59108c92f56c60,

title = "Compositional refinement of interactive systems modelled by relations",

abstract = "We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a component interacts with its environment by exchanging messages in a time frame. The interaction is performed by accepting input and by producing output messages on named channels. We describe forms of composition and three forms of refinement, namely property refinement, glass box refinement, and interaction refinement. Finally, we prove the compositionality of the mathematical model with respect to the introduced refinement relations.",

author = "Manfred Broy",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1998.; International Symposium on Compositionality: The Significant Difference, COMPOS 1997 ; Conference date: 08-09-1997 Through 12-09-1997",

year = "1998",

doi = "10.1007/3-540-49213-5_6",

language = "English",

isbn = "3540654933",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "130--149",

editor = "{de Roever}, Willem-Paul and Langmaack Langmaack and Pnueli Pnueli",

booktitle = "Compositionality",

}

Broy, M 1998, Compositional refinement of interactive systems modelled by relations. in W-P de Roever, L Langmaack & P Pnueli (eds), Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1536, Springer Verlag, pp. 130-149, International Symposium on Compositionality: The Significant Difference, COMPOS 1997, Bad Malente, Germany, 8/09/97. https://doi.org/10.1007/3-540-49213-5_6

Compositional refinement of interactive systems modelled by relations. / Broy, Manfred.
Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. ed. / Willem-Paul de Roever; Langmaack Langmaack; Pnueli Pnueli. Springer Verlag, 1998. p. 130-149 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1536).

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

TY - GEN

T1 - Compositional refinement of interactive systems modelled by relations

AU - Broy, Manfred

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1998.

PY - 1998

Y1 - 1998

N2 - We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a component interacts with its environment by exchanging messages in a time frame. The interaction is performed by accepting input and by producing output messages on named channels. We describe forms of composition and three forms of refinement, namely property refinement, glass box refinement, and interaction refinement. Finally, we prove the compositionality of the mathematical model with respect to the introduced refinement relations.

AB - We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distributed system a component interacts with its environment by exchanging messages in a time frame. The interaction is performed by accepting input and by producing output messages on named channels. We describe forms of composition and three forms of refinement, namely property refinement, glass box refinement, and interaction refinement. Finally, we prove the compositionality of the mathematical model with respect to the introduced refinement relations.

UR - http://www.scopus.com/inward/record.url?scp=84949226139&partnerID=8YFLogxK

U2 - 10.1007/3-540-49213-5_6

DO - 10.1007/3-540-49213-5_6

M3 - Conference contribution

AN - SCOPUS:84949226139

SN - 3540654933

SN - 9783540654933

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 130

EP - 149

BT - Compositionality

A2 - de Roever, Willem-Paul

A2 - Langmaack, Langmaack

A2 - Pnueli, Pnueli

PB - Springer Verlag

T2 - International Symposium on Compositionality: The Significant Difference, COMPOS 1997

Y2 - 8 September 1997 through 12 September 1997

ER -

Broy M. Compositional refinement of interactive systems modelled by relations. In de Roever WP, Langmaack L, Pnueli P, editors, Compositionality: The Significant Difference - International Symposium, COMPOS 1997, Revised Lectures. Springer Verlag. 1998. p. 130-149. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-49213-5_6

Compositional refinement of interactive systems modelled by relations

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this