Title: A reduction based on event structure in automorphism group

Authors: Huaxu Li; Weidong Tang; Meiling Liu

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

Abstract: The process systems in large-scale software applications are often very complex, and due to the continuous growth of software volume, how to detect these process systems has become a key focus of event structure research. Event structure, as a semantic model, can partition process systems into different structures, making it convenient for people to analyse and study programs. Therefore, how to further simplify the process system to reduce the complexity of system analysis has become an urgent problem that needs to be solved. This paper applies event structure to rewrite process systems, analyses and studies the automorphism properties in event structures by introducing the theory of automorphism groups, and proposes two event structure reduction methods based on automorphism groups. This paper simplifies complex system structures by utilising the equivalence properties within event structures, and proves through the relevant theory of automorphism groups that the reduced structure is equivalent to the original complex structural model. Therefore, it can simplify complex models and achieve the goal of reducing program analysis complexity.

Keywords: event structure; automorphism group; process algebra; concurrent system; symbolic computation; reduction.

DOI: 10.1504/IJCSM.2024.143211

International Journal of Computing Science and Mathematics, 2024 Vol.20 No.4, pp.337 - 352

Accepted: 12 Sep 2024
Published online: 09 Dec 2024 *

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