Transitivity of Inter-Transition Data Dependence


The model slices, based on Extended Finite State Machine (EFSM), have effectively reduced the growing scale of software systems and simplified people's analysis of large complex software. However, the transitivity of data dependence is greatly restricted due to the different structures of EFSM and programs. According to EFSM's features as event, condition and action, this paper redefines the transitivity of Inter-Transition Data Dependence based on Intra-Transition Data Dependence (IaTDD) and Inter-Transition Data Dependence (IeTDD) and therefore solves the transitivity problem in EFSM by putting forward a transitivity method.

  • Abstract
  • Key Words
  • 1 Introduction
  • 2. Data Dependence
  • 3 Transitivity of Inter-Transition Data Dependence
  • 4. Algorithm
  • 5. Summaries
  • Acknowledgment
  • References

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In