Decomposing Monolithic Processes in a Process Algebra with Multi-actions

10/01/2021
by   Maurice Laveaux, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/11/2020

Decompositional Minimisation of Monolithic Processes

Compositional minimisation can be an effective technique to reduce the s...
research
01/26/2021

A Monad for Probabilistic Point Processes

A point process on a space is a random bag of elements of that space. In...
research
04/10/2023

On Kleene Algebra vs. Process Algebra

We try to clarify the relationship between Kleene algebra and process al...
research
01/27/2023

The Produoidal Algebra of Process Decomposition

We introduce the normal produoidal category of monoidal contexts over an...
research
08/24/2020

Eigenvalues and Eigenvectors of Tau Matrices with Applications to Markov Processes and Economics

In the context of matrix displacement decomposition, Bozzo and Di Fiore ...
research
11/12/2017

An efficient algorithm computing composition factors of T(V)^⊗ n

We present an algorithm that computes the composition factors of the n-t...
research
09/21/2018

State-dependent Hawkes processes and their application to limit order book modelling

We study statistical aspects of state-dependent Hawkes processes, which ...

Please sign up or login with your details

Forgot password? Click here to reset