Decomposing monolithic processes in a process algebra with multi-actions

Onderzoeksoutput: Bijdrage aan tijdschriftCongresartikelpeer review

4 Citaten (Scopus)
62 Downloads (Pure)

Samenvatting

A monolithic process is a single recursive equation with data parameters, which only uses non-determinism, action prefixing, and recursion. We present a technique that decomposes such a monolithic process into multiple processes where each process defines behaviour for a subset of the parameters of the monolithic process. For this decomposition we can show that a composition of these processes is strongly bisimilar to the monolithic process under a suitable synchronisation context. Minimising the resulting processes before determining their composition can be used to derive a state space that is smaller than the one obtained by a monolithic exploration. We apply the decomposition technique to several specifications to show that this works in practice. Finally, we prove that state invariants can be used to further improve the effectiveness of this decomposition technique.

Originele taal-2Engels
Pagina's (van-tot)57-76
Aantal pagina's20
TijdschriftElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume347
DOI's
StatusGepubliceerd - 2 okt. 2021
Evenement14th Interaction and Concurrency Experience, ICE 2021 - Virtual, Online
Duur: 18 jun. 2021 → …

Bibliografische nota

Publisher Copyright:
© 2021 Open Publishing Association. All rights reserved.

Vingerafdruk

Duik in de onderzoeksthema's van 'Decomposing monolithic processes in a process algebra with multi-actions'. Samen vormen ze een unieke vingerafdruk.

Citeer dit