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