Skip to Main Content
ASME Press Select Proceedings

International Conference on Mechanical and Electrical Technology, 3rd, (ICMET-China 2011), Volumes 1–3

By
Yi Xie
Yi Xie
Search for other works by this author on:
ISBN:
9780791859810
No. of Pages:
906
Publisher:
ASME Press
Publication date:
2011

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
This content is only available via PDF.
Close Modal
This Feature Is Available To Subscribers Only

Sign In or Create an Account

Close Modal
Close Modal