On the Preservation of Properties When Changing Communication Models

Olav Bunte; Louis C.M. van Gool; Tim A.C. Willemse

doi:10.1007/978-3-031-23101-8_16

On the Preservation of Properties When Changing Communication Models

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

2 Citations (Scopus)

50 Downloads (Pure)

Abstract

In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.

Original language	English
Title of host publication	SOFSEM 2023: Theory and Practice of Computer Science
Subtitle of host publication	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings
Editors	Leszek Gasieniec
Publisher	Springer
Pages	239-253
Number of pages	15
ISBN (Electronic)	978-3-031-23101-8
ISBN (Print)	978-3-031-23100-1
DOIs	https://doi.org/10.1007/978-3-031-23101-8_16
Publication status	Published - 1 Jan 2023
Event	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 - Nový Smokovec, Slovakia Duration: 15 Jan 2023 → 18 Jan 2023

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Volume	13878
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023
Country/Territory	Slovakia
City	Nový Smokovec
Period	15/01/23 → 18/01/23

Funding

This work was carried out as part of the VOICE-B project, which is funded by Canon Production Printing.

Keywords

Asynchronous communication
Communication models
Confluence
Property preservation

Access to Document

10.1007/978-3-031-23101-8_16

pdfFinal published version, 645 KBLicence: TAVERNE

Cite this

Bunte, O., van Gool, L. C. M., & Willemse, T. A. C. (2023). On the Preservation of Properties When Changing Communication Models. In L. Gasieniec (Ed.), SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings (pp. 239-253). (Lecture Notes in Computer Science (LNCS); Vol. 13878 ). Springer. https://doi.org/10.1007/978-3-031-23101-8_16

Bunte, Olav ; van Gool, Louis C.M. ; Willemse, Tim A.C. / On the Preservation of Properties When Changing Communication Models. SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. editor / Leszek Gasieniec. Springer, 2023. pp. 239-253 (Lecture Notes in Computer Science (LNCS)).

@inproceedings{0e31a1a00df34191a6ba36266247b107,

title = "On the Preservation of Properties When Changing Communication Models",

abstract = "In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.",

keywords = "Asynchronous communication, Communication models, Confluence, Property preservation",

author = "Olav Bunte and \{van Gool\}, \{Louis C.M.\} and Willemse, \{Tim A.C.\}",

year = "2023",

month = jan,

day = "1",

doi = "10.1007/978-3-031-23101-8\_16",

language = "English",

isbn = "978-3-031-23100-1",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "239--253",

editor = "Leszek Gasieniec",

booktitle = "SOFSEM 2023: Theory and Practice of Computer Science",

address = "Germany",

note = "48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023 ; Conference date: 15-01-2023 Through 18-01-2023",

}

Bunte, O , van Gool, LCM & Willemse, TAC 2023, On the Preservation of Properties When Changing Communication Models. in L Gasieniec (ed.), SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Lecture Notes in Computer Science (LNCS), vol. 13878 , Springer, pp. 239-253, 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, 15/01/23. https://doi.org/10.1007/978-3-031-23101-8_16

On the Preservation of Properties When Changing Communication Models. / Bunte, Olav (Corresponding author); van Gool, Louis C.M.; Willemse, Tim A.C.
SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. ed. / Leszek Gasieniec. Springer, 2023. p. 239-253 (Lecture Notes in Computer Science (LNCS); Vol. 13878 ).

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

TY - GEN

T1 - On the Preservation of Properties When Changing Communication Models

AU - Bunte, Olav

AU - van Gool, Louis C.M.

AU - Willemse, Tim A.C.

PY - 2023/1/1

Y1 - 2023/1/1

N2 - In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.

AB - In a system of processes that communicate asynchronously by means of FIFO channels, there are many options in which these channels can be laid out. In this paper, we compare channel layouts in how they affect the behaviour of the system using an ordering based on splitting and merging channels. This order induces a simulation relation, from which the preservation of safety properties follows. Also, we identify conditions under which the properties reachability, deadlock freedom and confluence are preserved when changing the channel layout.

KW - Asynchronous communication

KW - Communication models

KW - Confluence

KW - Property preservation

UR - https://www.scopus.com/pages/publications/85146691778

U2 - 10.1007/978-3-031-23101-8_16

DO - 10.1007/978-3-031-23101-8_16

M3 - Conference contribution

AN - SCOPUS:85146691778

SN - 978-3-031-23100-1

T3 - Lecture Notes in Computer Science (LNCS)

SP - 239

EP - 253

BT - SOFSEM 2023: Theory and Practice of Computer Science

A2 - Gasieniec, Leszek

PB - Springer

T2 - 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023

Y2 - 15 January 2023 through 18 January 2023

ER -

Bunte O , van Gool LCM , Willemse TAC. On the Preservation of Properties When Changing Communication Models. In Gasieniec L, editor, SOFSEM 2023: Theory and Practice of Computer Science: 48th International Conference on Current Trends in Theory and Practice of Computer Science, SOFSEM 2023, Nový Smokovec, Slovakia, January 15–18, 2023, Proceedings. Springer. 2023. p. 239-253. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-031-23101-8_16