Title: Algebraic modelling of concurrent systems and its practical application

Authors: Weidong Tang; Shengnan Li; Huaxu Li

Addresses: Guangxi Minzu University, College of Artificial Intelligence, 0086-530006, China ' Guangxi Minzu University, College of Electronic Information, 0086-530006, China ' Guangxi Minzu University, College of Electronic Information, 0086-530006, China

Abstract: For decades, formal methods have greatly contributed to the modelling and validation of concurrent systems. Event structure is a powerful and efficient formal method. However, the traditional event structure has some limitations, so it cannot describe the exchange process of data flow, but the exchange process of data flow is exactly one of the most important behaviour characteristics of concurrent systems. This paper formally defines a new event structure model based on data flow by means of symbolic computation and uses it for modelling the handling of objects by robots independently and cooperatively.

Keywords: data flow; event structure; concurrent system; modelling and verification; symbolic computation.

DOI: 10.1504/IJCSM.2023.133640

International Journal of Computing Science and Mathematics, 2023 Vol.18 No.2, pp.138 - 151

Received: 05 Aug 2022
Accepted: 10 Dec 2022
Published online: 26 Sep 2023 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article