Нечіткий трансформаційний підхід до розробки програмних систем

Abstract

У роботі дається огляд основних категорій трансформаційних підходів та формалізується процес розробки програмного забезпечення на основі нечітких графових моделей. Модель програмної системи представляється у вигляді нечіткого графу, вершинами якого є сутності та об’єкти. Процес розробки програмного забезпечення складається у виконанні системи трансформацій над нечіткими графами. Продемонстровано, що на основі нечіткої моделі більш адекватно, ніж на основі двозначної логіки, можна формалізувати розуміння правил розробниками програмного забезпечення завдяки можливості описати лінгвістичні вирази, що зустрічаються в реальних проектах.In paper the overview of main categories of the transformational approaches is given and the process of software development on the base of fuzzy graph models is formalized. A model of the software system is represented as the fuzzy graph, which nodes are the entities and objects. A process of software development consists in implementation of a system of transformations on the fuzzy graphs. It is shown, that on the base of fuzzy model more adequate, than on the base of two-valued logic, it is possible to formalize perception of the rules by the software developers due to a possibility to describe linguistic expressions, which meet in the real projects.