Published Articles >> Table of Contents >> Abstract

12th IEEE International Workshop on Program Comprehension (IWPC'04)   p. 246
Understanding Modifications in State-Based Models
Bogdan Korel, Illinois Institute of Technology, Chicago, IL
Luay H. Tahat, Lucent Technologies, Naperville, IL

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/WPC.2004.1311068
Send link to a friend

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 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.
Back to Top Additional Information
Citation:  Bogdan Korel, Luay H. Tahat, "Understanding Modifications in State-Based Models," iwpc, p. 246,  12th IEEE International Workshop on Program Comprehension (IWPC'04),  2004