Semantics of trace relations in requirements models for consistency checking and inferencing

Arda Göknil, Ivan Ivanov, Klaas van den Berg, Jan-Willem Veldhuis

    Research output: Contribution to journalArticleAcademicpeer-review

    50 Citations (Scopus)
    64 Downloads (Pure)

    Abstract

    Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements.
    Original languageUndefined
    Article number10.1007/s10270-009-0142-3
    Pages (from-to)31-54
    Number of pages24
    JournalSoftware and systems modeling
    Volume10
    Issue number1
    DOIs
    Publication statusPublished - Dec 2009

    Keywords

    • EWI-17036
    • IR-69007
    • METIS-264453

    Cite this

    Göknil, A., Ivanov, I., van den Berg, K., & Veldhuis, J-W. (2009). Semantics of trace relations in requirements models for consistency checking and inferencing. Software and systems modeling, 10(1), 31-54. [10.1007/s10270-009-0142-3]. https://doi.org/10.1007/s10270-009-0142-3
    Göknil, Arda ; Ivanov, Ivan ; van den Berg, Klaas ; Veldhuis, Jan-Willem. / Semantics of trace relations in requirements models for consistency checking and inferencing. In: Software and systems modeling. 2009 ; Vol. 10, No. 1. pp. 31-54.
    @article{255792c698f24469b94cdc9a5d524b6d,
    title = "Semantics of trace relations in requirements models for consistency checking and inferencing",
    abstract = "Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements.",
    keywords = "EWI-17036, IR-69007, METIS-264453",
    author = "Arda G{\"o}knil and Ivan Ivanov and {van den Berg}, Klaas and Jan-Willem Veldhuis",
    note = "10.1007/s10270-009-0142-3",
    year = "2009",
    month = "12",
    doi = "10.1007/s10270-009-0142-3",
    language = "Undefined",
    volume = "10",
    pages = "31--54",
    journal = "Software and systems modeling",
    issn = "1619-1366",
    publisher = "Springer",
    number = "1",

    }

    Göknil, A, Ivanov, I, van den Berg, K & Veldhuis, J-W 2009, 'Semantics of trace relations in requirements models for consistency checking and inferencing', Software and systems modeling, vol. 10, no. 1, 10.1007/s10270-009-0142-3, pp. 31-54. https://doi.org/10.1007/s10270-009-0142-3

    Semantics of trace relations in requirements models for consistency checking and inferencing. / Göknil, Arda; Ivanov, Ivan; van den Berg, Klaas; Veldhuis, Jan-Willem.

    In: Software and systems modeling, Vol. 10, No. 1, 10.1007/s10270-009-0142-3, 12.2009, p. 31-54.

    Research output: Contribution to journalArticleAcademicpeer-review

    TY - JOUR

    T1 - Semantics of trace relations in requirements models for consistency checking and inferencing

    AU - Göknil, Arda

    AU - Ivanov, Ivan

    AU - van den Berg, Klaas

    AU - Veldhuis, Jan-Willem

    N1 - 10.1007/s10270-009-0142-3

    PY - 2009/12

    Y1 - 2009/12

    N2 - Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements.

    AB - Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements.

    KW - EWI-17036

    KW - IR-69007

    KW - METIS-264453

    U2 - 10.1007/s10270-009-0142-3

    DO - 10.1007/s10270-009-0142-3

    M3 - Article

    VL - 10

    SP - 31

    EP - 54

    JO - Software and systems modeling

    JF - Software and systems modeling

    SN - 1619-1366

    IS - 1

    M1 - 10.1007/s10270-009-0142-3

    ER -