Выявление конфликтов в спецификации требований на основе онтологической модели и системы продукционных правил

Abstract

В статье представлен подход к организации поиска конфликтов между требованиями на основе онтологической модели и системы продукционных правил. Для выявления конфликтов текстовые требования преобразуются в экземпляры классов OWL онтологии. В требованиях выделяется три базовых элемента «субъект», «действие» и «объект». Эти элементы становятся классами онтологии. В онтологии также определяются отношения между экземплярами классов. По системе продукционных правил, между парами требований выполняется поиск конфликтов. Для построения системы продукционных правил и ее применения разработан программный продукт на языке Python. Для работы с онтологией использована среда Protégé 5.2. Также в работе применены Python-библиотека PySwip и среда разработки SWI- Prolog 7.6.4. The paper presents an approach to organizing the detection of conflicts between requirements based on an ontological model and a system of production rules. Textual requirements are converted to instances of OWL ontologies to identify conflicts. There are three basic elements “subject”, “action” and “object” in the requirements. These elements become classes of ontology. The ontology also defines relations between instances of classes. A production rules system is used to detect conflicts between pairs of requirements. A software product in the Python language has been developed for building the production rules system and its use. Protégé 5.2 is used to work with ontology. Also Python library PySwip and development environment SWI-Prolog 7.6.4 are used in the work.