Improving a method to analyze the requirements for an information system for consistency

Abstract

Сучаснi представлення характеристик функцiональних вимог практично повнiстю не мають формалiзованих описiв. Тому використання iснуючих методiв аналiзу вимог стикається з проблемами формального пiдтвердження чи спростування наявностi у функцiональної вимоги вiдповiдної характеристики. Особливо сильно данi проблеми виявляються пiд час аналiзу функцiональних вимог на непротирiччя. Для усунення цих проблем поставлено задачу розробки формалiзованих описiв ситуацiй повної та часткової невiдповiдностi знання-орiєнтованих описiв функцiональних вимог та вдосконалення на основi отриманих описiв iснуючого методу аналiзу функцiональних вимог iнформацiйної системи, яка створюється чи модифiкується, на непротирiччя. В якостi формального опису функцiональної вимоги до iнформацiйної системи, що аналiзується, використаний знання-орiєнтований опис, який базується на фреймах. Пiд час вирiшення цiєї задачi були розробленi формалiзованi описи ситуацiй повного протирiччя та часткової невiдповiдностi описiв фреймiв функцiональних вимог, якi аналiзуються. Показано, що ситуацiя повного протирiччя є частковим випадком ситуацiї часткової невiдповiдностi описiв фреймiв, якi аналiзуються. Даний результат було покладено до основи вдосконаленого методу аналiзу окремих фреймiв описiв функцiональних вимог на непротирiччя. Вдосконалений метод дозволяє не тiльки виявляти ситуацiї повного протирiччя та часткової невiдповiдностi фреймiв, якi аналiзуються, але й кiлькiсно оцiнювати ступiнь виявленої невiдповiдностi. Апробацiя початкового та вдосконаленого методiв проводилася пiд час аналiзу функцiональних вимог задачi планування iндивiдуальної дiяльностi науково-педагогiчних працiвникiв закладу вищої освiти. Було розглянуто три типовi ситуацiї, якi можуть виникнути пiд час аналiзу функцiональних вимог на непротирiччя. Показано, що вдосконалений метод дозволяє знайти бiльшу кiлькiсть помилок в описах функцiональних вимог Ключовi слова: функцiональна вимога, знання-орiєнтований опис, аналiз вимог, непротирiччя, фрейм, iнформацiйна система