Volume 7 Number 12 (Dec. 2012)
Home > Archive > 2012 > Volume 7 Number 12 (Dec. 2012) >
JSW 2012 Vol.7(12): 2663-2670 ISSN: 1796-217X
doi: 10.4304//jsw.7.12.2663-2670

Intra-Transition Data Dependence

Shenghui Shi, Qunxiong Zhu, Zhiqiang Geng, Wenxing Xu
College of Information Science and Technology, Beijing University of Chemical Technology, Beijing, China

Abstract—Currently, two main approaches to data dependence of EFSM(Extended Finite State Machine) haven’t refined intra-transition data dependence, instead they consider that every definition variable in a transition depends on all the use variables (including condition variables). For data dependence of a specific definition variable, not only the relevant use variables but also the irrelevant use variables (including condition variables) are considered, which obviously causes redundancy. Without a doubt, further analysis based on this brings hidden danger to the dependent analysis of the entire system and practical application. With the idea of introducing program dependence graph into to EFSM, this paper studies intratransition data dependence, and describes the data dependence between every intra-transition definition variable and the use and condition variables which influence or are influenced by it. Thus irrelevant dependence variables are removed to reduce redundancies and errors. Also, theoretical and experimental analyses are conducted.

Index Terms—Extended Finite State Machine(EFSM); Dependence Analysis; Intra-Transition Data Dependence(IaTDD)

[PDF]

Cite: Shenghui Shi, Qunxiong Zhu, Zhiqiang Geng, Wenxing Xu, "Intra-Transition Data Dependence," Journal of Software vol. 7, no. 12, pp. 2663-2670, 2012.

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]