A method for formalizing requirements interoperation in complex systems engineering
Résumé
This article presents an ongoing research project that aims to define a conceptual method to formally model the system requirements and their relationships in terms of transformation (translation, conversion and sharing) and traceability, based on an ontological approach. In this way, we are considering two hypothesis: (H1) Multiple phases of System Life Cycle can be supported by system requirements in a semantically interoperable manner; and (H2) System requirements formalization can ensure the comprehensibility and verifiability, reducing inconsistencies between different domains across the phases of System Life Cycle.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...