¹Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China.
²Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China.
³Science Computing and Intelligent Information Processing of Guang Xi Higher Education Key Laboratory, Nanning 530023, China.

---

Abstract—Event structure is a method of modelling and verification for concurrent system, and action refinement is the core operation in event structure. This paper researches on what conditions action refinement must satisfy, such that some structural properties and dynamic properties of contour model, such as connectivity, liveness, fairness and regression, can also be preserved in its detailed model. In researching on the dynamic properties of event structure, it is difficult to apply event structure model to represent infinite events, this is because each action can be executed infinite times, thus it will produce infinite events. There has been little research on the problem. Therefore, we propose the concept of action structure model. The differences between the action structure model and event structure model include: (1)The events in event structure model are replaced by actions, and the same actions are merged into one action; (2) The inheritance of causality and the inheritance of conflict relation are no longer preserved; (3) When an action is executed even times, it will not appear in the configuration; and when an action is executed odd times, it will appear in the configuration. The use of action structure model can easily solve the difficult problem of representation of infinite events which encountered in the event structure model. This paper gives an example to demonstrate the application of action structure model.

Index Terms—Action structure model, action refinement, reachability, dynamic behaviour.

[PDF]

Cite: Weidong Tang, Jinzhao Wu, Meiling Liu, "Preservation of Dynamic Behaviours in a Hierarchical Event Structure," Journal of Software vol. 11, no. 8, pp. 712-732, 2016.