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

    129 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 languageEnglish
    Title of host publicationECMDA Traceability Workshop (ECMDA-TW) 2009
    Subtitle of host publicationProceedings
    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
    EventECMDA Traceability Workshop, ECMDA-TW 2009 - University of Twente, Enschede, Netherlands
    Duration: 23 Jun 200923 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


    ConferenceECMDA Traceability Workshop, ECMDA-TW 2009
    Abbreviated titleECMDA-TW


    Dive into the research topics of 'Change Impact Analysis for SysML Requirements Models based on Semantics of Trace Relations'. Together they form a unique fingerprint.

    Cite this