The ontology-based approach to support the requirements engineering process

The paper presents a knowledge-based approach to requirements engineering process. The approach can be used when creating a system of requirements, satisfying the whole set of properties: correctness, completeness, consistency, unambiguity, traceability. We propose a hybrid model based on the frame ontology and production rules. Requirements types are the classes of the ontology. Hierarchical relations between the classes allow implementing the inheritance property from parent requirement class to the descendant one, and can be used for testing traceability, completeness and consistency properties of the requirements specification. Associative relations implemented through a set of slots permit to approach the problem of matching the requirements engineering theoretical framework through the establishment of correspondence between requirements types belonging to different classifications.