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: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, Google Scholar, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (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 30, 2020 News!

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

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Sep 30, 2020 News!

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