Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations

David ten Hove, Arda Göknil, Ivan Ivanov, Klaas van den Berg, Koos de Goede

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    115 Downloads (Pure)


    Change impact analysis is one of the applications of requirements traceability in software engineering community. In this paper, we focus on requirements and requirements relations from traceability perspective. We provide formal definitions of the requirements relations in SysML for change impact analysis. Our approach aims at keeping the model synchronized with what stakeholders want to be modeled, and possibly implemented as well, which we called as the domain. The differences between the domain and model are defined as external inconsistencies. The inconsistencies are propagated for the whole model by using the formalization of relations, and mapped to proposed model changes. We provide tool support which is a plug-in of the commercial visual software modeler BluePrint.
    Original languageUndefined
    Title of host publicationProceedings of the ECMDA Traceability Workshop (ECMDA-TW) 2009
    EditorsJ. Oldevik, G. K. Olsen, T. Neple, D. Kolovos
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages12
    Publication statusPublished - 23 Jun 2009

    Publication series

    NameCTIT workshop proceedings series
    PublisherCentre for Telematics and Information Technology, University of Twente
    ISSN (Print)1574-0846
    ISSN (Electronic)0929-0672


    • IR-67512
    • EWI-15649
    • METIS-263903

    Cite this