Emergent knowledge patterns in verification artifacts

Fuente: Wiley Open Access
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Sukhwan Jung, Alejandro Salado
Format: Artículo Open Access
Publié: Wiley 2024
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1867006827590320128
author Sukhwan Jung
Alejandro Salado
author_facet Sukhwan Jung
Alejandro Salado
Sukhwan Jung
Alejandro Salado
collection Wiley Open Access
contents Emergent knowledge patterns in verification artifacts Sukhwan Jung Alejandro Salado Systems Engineering Abstract Knowledge graphs have recently been introduced to the verification strategy field successfully representing the complexity of verification in real‐life applications. This format provides a scale‐free analysis of verification strategies compared to the more traditional verification artifacts such as requirement traceability matrices and verification matrices. Complexities can be observed visually and numerically both in terms of the problem scope and the entity interdependencies. In this paper, we retrieve verification strategy information patterns representing different aspects of verification. This is achieved by tapping into the network properties of knowledge graphs. They are dissected to detect knowledge patterns emerging from different parts of the verification artifacts. Similarities and differences between the two verification strategies are explained numerically and semantically. Seemingly unrelated requirements and verification activities are connected through indirect connections, and orthogonalities between independent requirements are analyzed. These findings validate the scalability of verification planning and assessment based on knowledge graphs. 10.1002/sys.21771 http://onlinelibrary.wiley.com/termsAndConditions#am
doi_str_mv 10.1002/sys.21771
format Artículo Open Access
id wiley_oa_10_1002_sys_21771
institution Wiley Open Access
license_str_mv http://onlinelibrary.wiley.com/termsAndConditions#am
publishDate 2024
publisher Wiley
record_format wiley_oa
spellingShingle Emergent knowledge patterns in verification artifacts
Sukhwan Jung
Alejandro Salado
Systems Engineering
Emergent knowledge patterns in verification artifacts Sukhwan Jung Alejandro Salado Systems Engineering Abstract Knowledge graphs have recently been introduced to the verification strategy field successfully representing the complexity of verification in real‐life applications. This format provides a scale‐free analysis of verification strategies compared to the more traditional verification artifacts such as requirement traceability matrices and verification matrices. Complexities can be observed visually and numerically both in terms of the problem scope and the entity interdependencies. In this paper, we retrieve verification strategy information patterns representing different aspects of verification. This is achieved by tapping into the network properties of knowledge graphs. They are dissected to detect knowledge patterns emerging from different parts of the verification artifacts. Similarities and differences between the two verification strategies are explained numerically and semantically. Seemingly unrelated requirements and verification activities are connected through indirect connections, and orthogonalities between independent requirements are analyzed. These findings validate the scalability of verification planning and assessment based on knowledge graphs. 10.1002/sys.21771 http://onlinelibrary.wiley.com/termsAndConditions#am
title Emergent knowledge patterns in verification artifacts
topic Systems Engineering
url https://incose.onlinelibrary.wiley.com/doi/10.1002/sys.21771