DocumentCode :
3132987
Title :
Understanding modifications in state-based models
Author :
Korel, Bogdan ; Tahat, Luay H.
Author_Institution :
Dept. of Comput. Sci., Illinois Inst. of Technol., Chicago, IL, USA
fYear :
2004
fDate :
24-26 June 2004
Firstpage :
246
Lastpage :
250
Abstract :
System modeling is a widely used technique to model state-based systems. System models are frequently large and complex and are hard to understand. In addition, they are frequently modified because of specification changes. Understanding the effect of these changes on the model and the system may be very difficult for large models. In this paper, we present an approach that may support understanding the effect of model modifications. The goal is to identify these parts of the model that may exhibit different behavior because of the modification. In this approach, the difference between the original model and the modified model is identified and then affected parts of the model are computed based on model dependence analysis. Our initial experience shows that the approach may be helpful in understanding the effect of modifications on the system.
Keywords :
formal specification; reverse engineering; software maintenance; model dependence analysis; model modifications; specification changes; state-based systems; system modeling; Automata; Communication industry; Computer industry; Computer networks; Computer science; Embedded computing; Embedded system; Modeling; Technological innovation; Telecommunication computing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Program Comprehension, 2004. Proceedings. 12th IEEE International Workshop on
ISSN :
1092-8138
Print_ISBN :
0-7695-2149-5
Type :
conf
DOI :
10.1109/WPC.2004.1311068
Filename :
1311068
Link To Document :
بازگشت