APPLIED ONTOLOGY FOR REQUIRMENTS ENGINEERING: AN APPROACH TO SEMANTIC INTEGRATION OF REQUIREMENTS MODEL WITH SYSTEM MODEL

摘要

Requirements Engineering (RE) involves requirementsrnelicitation, analysis, negotiation, specification, validation,rnand management. The latter three steps benefit from thernpresence of a system model conceived using a systemsrnmodeling language like SysML. As system designrnproceeds, semantic information interchange betweenrnrequirements model and system model is required,rnfrequently. During this process, manual reasoning andrninterpretation of the concepts and relationships in thernmodels introduces inconsistencies due to lack of semanticrnmapping. In this paper, we introduce an applied Ontologyrnfor Requirements Engineering (ORE), which overcomesrnthe aforementioned limitations. ORE is designed to berncompletely compatible with Systems Modeling Languagern(SysML), thus enabling a seamless integration ofrnsemantic information in models. Complete mappingrnbetween ORE and SysML model is demonstrated in thernpaper. Automated Reasoning is used to infer implicitrninformation in the model and detect hiddenrninconsistencies. A comprehensive and functional casernscenario is presented to demonstrate ORE‘s capability torncapture the semantics of a requirements model designedrnin SysML.