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