Volume 11 Number 8 (Aug. 2016)
Home > Archive > 2016 > Volume 11 Number 8 (Aug. 2016) >
JSW 2016 Vol.11(8): 712-732 ISSN: 1796-217X
doi: 10.17706/jsw.11.8.712-732

Preservation of Dynamic Behaviours in a Hierarchical Event Structure

Weidong Tang1,2, Jinzhao Wu1,2*, Meiling Liu1,3
1Guangxi Key Laboratory of Hybrid Computation and IC Design Analysis, Guangxi University for Nationalities, Nanning 530006, China.
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.

[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.

General Information

ISSN: 1796-217X (Online)
Frequency:  Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Apr 26, 2021 News!

    Vol 14, No 4- Vol 14, No 12 has been indexed by IET-(Inspec)     [Click]

  • Jun 22, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 15 No 4 have been indexed by DBLP     [Click]

  • Sep 13, 2021 News!

    The papers published in Vol 16, No 6 have all received dois from Crossref    [Click]

  • Jan 28, 2021 News!

    [CFP] 2021 the annual meeting of JSW Editorial Board, ICCSM 2021, will be held in Rome, Italy, July 21-23, 2021   [Click]

  • Sep 13, 2021 News!

    Vol 16, No 6 has been published with online version     [Click]