Semantic enrichment of design requirements using Object Type Libraries for automated verification
Towards automated requirements verification system
S. Raghavendra Rao (TU Delft - Civil Engineering & Geosciences)
P.W. Chan – Mentor (TU Delft - Design & Construction Management)
T. Wang – Mentor (TU Delft - Design & Construction Management)
Yan Liu – Graduation committee member (TU Delft - Integral Design & Management)
Hans Hoeber – Coach (Royal HaskoningDHV)
Niels Willemsen – Coach (Royal HaskoningDHV)
More Info
expand_more
Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.
Abstract
Success of the project depends on compliance to requirements amongst other things (Wheeler, 2003). This forms Requirements Management process an important step in the Systems Engineering life cycle. However, poor definition of requirements is an obstacle in automating the verification process. The existing solutions based on various approaches focus predominantly on building codes requirement verification and is not suitable for the dynamicity of client specific requirements. existing solutions also require users to have expertise on programming and construction domain knowledge. Hence, a general approach for rewriting client requirements in a machine understandable way is needed. The research focuses on developing this general approach using object and properties data from standard libraries such as Object Type Libraries (OTL).