Математичний апарат формалізації моделей, що використовуються при проектуванні інформаційних систем
Болдак А.А., Невдащенко М.В.
Формалізовано поняття класу і відносин між класами, які відповідають термінам об’єктно-орієнтованого підходу до проектування інформаційних систем. Показано, що класи і операції, визначені на них, є алгебраїчною системою, яка дозволяє ефективно вирішувати завдання, пов’язані з взаємооднозначним перетвореннями моделей у рамках об’єктно-орієнтованого підходу до проектування інформаційних систем. Наведено приклади вирішення деяких типових задач із застосуванням запропонованого математичного апарату.
