Understanding Modifications in State-Based Models

  • Authors:

  • Affiliations:

  • Venue:
  • IWPC '04 Proceedings of the 12th IEEE International Workshop on Program Comprehension
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

System modeling is a widely used technique to modelstate-based systems. System models are frequently largeand complex and are hard to understand. In addition,they are frequently modified because of specificationchanges. Understanding the effect of these changes onthe model and the system may be very difficult for largemodels. In this paper, we present an approach that maysupport understanding the effect of model modifications.The goal is identify these parts of the model that mayexhibit different behavior because of the modification. Inthis approach, the difference between the original modeland the modified model is identified and then affectedparts of the model are computed based on modeldependence analysis. Our initial experience shows thatthe approach may be helpful in understanding the effectof modifications on the system.