• 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