TY - BOOK
T1 - Distribution of Behaviour into parallel communicating subsystems
AU - Alduhaiby, Omar
AU - Groote, Jan Friso
PY - 2019/5/30
Y1 - 2019/5/30
N2 - The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, most recently for the field of distributed computing. In this paper, motivated by the desire to distribute the process of active automata learning onto multiple subsystems, we study the equivalence between a system and the total behaviour of its decomposition which comprises subsystems with communication between them. We show synchronously- and asynchronously-communicating decompositions that maintain branching bisimilarity, and we prove that there is no decomposition operator by our definition that maintains divergence-preserving branching bisimilarity over all LTSs.
AB - The process of decomposing a complex system into simpler subsystems has been of interest to computer scientists over many decades, most recently for the field of distributed computing. In this paper, motivated by the desire to distribute the process of active automata learning onto multiple subsystems, we study the equivalence between a system and the total behaviour of its decomposition which comprises subsystems with communication between them. We show synchronously- and asynchronously-communicating decompositions that maintain branching bisimilarity, and we prove that there is no decomposition operator by our definition that maintains divergence-preserving branching bisimilarity over all LTSs.
KW - Decomposition
KW - Branching Bisimilarity
KW - Parallel Composition
KW - Labelled Transition Systems
UR - https://arxiv.org/abs/1905.12963
M3 - Report
BT - Distribution of Behaviour into parallel communicating subsystems
PB - arXiv.org
ER -