Skip to Main content Skip to Navigation
Book sections

Requirements Verification Method for System Engineering Based on a RDF Logic View

Abstract : Requirements Engineering (RE) is often seen as a preliminary phase to design, however in a PLM (Product Life-cycle Management) context its range widens to the whole life cycle of a product. Verification of requirements is one of the activities associated with RE, that consist in asserting the actual system complies to the requirements. This verification is usually performed manually, one requirement at a time, relying on the engineer’s expertise. In order to enable automatic verification of requirements on large and complex systems, we propose a semantic model of requirements based on business concepts and modelled with RDF (Resource Description Framework). This model joins the logical and the concrete views on the system in a twin network of RDF triples. The application domain is the nuclear industry.
Document type :
Book sections
Complete list of metadata

https://hal-uphf.archives-ouvertes.fr/hal-03406147
Contributor : Kathleen Torck Connect in order to contact the contributor
Submitted on : Wednesday, October 27, 2021 - 4:45:04 PM
Last modification on : Tuesday, November 9, 2021 - 8:43:23 AM

Identifiers

Collections

Citation

Albéric Cornière, Virginie Fortineau, Thomas Paviot, Samir Lamouri. Requirements Verification Method for System Engineering Based on a RDF Logic View. Service Orientation in Holonic and Multi-Agent Manufacturing, 640, Springer International Publishing, pp.135-143, 2016, Studies in Computational Intelligence, ⟨10.1007/978-3-319-30337-6_13⟩. ⟨hal-03406147⟩

Share

Metrics

Record views

16