International Conference on Mechanical and Electrical Technology, 3rd, (ICMET-China 2011), Volumes 1–3
11 Transitivity of Inter-Transition Data Dependence
Download citation file:
- Ris (Zotero)
- Reference Manager
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.