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 peoples 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 EFSMs features as event, condition and action, this paper redefines the transitivity of Inter-Transition Data Dependence based on IntraTransition Data Dependence (laTDD) and interTransition Data Dependence (leTDD) and therefore solves the transitivity problem in EFSM by putting forward a transitivity method.

关键词： EFSM Data Dependence Transitivity of Inter-Transition Data Dependence

作者: SHENGHUI SHI QUNXIONG ZHU ZHIQIANG GENG WENXING XU

作者单位: School of Information Science and Technology, Beijing University of Chemical Technology, 15 Beisanhuan East Road, Chaoyang District,Beijing, China

会议类型: 国际会议

会议名称: 3rd International Conference on Mechanical and Electrical Technology(ICMET2011) (2011第三届机械与电气技术国际会议)

会议地点: 大连

会议语种:英文

页码: 67-71

在线出版日期: 2011-08-26（万方平台首次上网日期，不代表论文的发表时间）