doi: 10.17706/jsw.11.8.712-732
Preservation of Dynamic Behaviours in a Hierarchical Event Structure
2Chengdu Institute of Computer Applications, Chinese Academy of Sciences, Chengdu 610041, China.
3Science 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.
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.
General Information
ISSN: 1796-217X (Online)
Abbreviated Title: J. Softw.
Frequency: Quarterly
APC: 500USD
DOI: 10.17706/JSW
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Cecilia Xie
Abstracting/ Indexing: DBLP, EBSCO,
CNKI, Google Scholar, ProQuest,
INSPEC(IET), ULRICH's Periodicals
Directory, WorldCat, etcE-mail: jsweditorialoffice@gmail.com
-
Oct 22, 2024 News!
Vol 19, No 3 has been published with online version [Click]
-
Jan 04, 2024 News!
JSW will adopt Article-by-Article Work Flow
-
Apr 01, 2024 News!
Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec) [Click]
-
Apr 01, 2024 News!
Papers published in JSW Vol 18, No 1- Vol 18, No 6 have been indexed by DBLP [Click]
-
Jun 12, 2024 News!
Vol 19, No 2 has been published with online version [Click]