Математический аппарат формализации моделей, используемых при проектировании информационных систем

Болдак А.А., Невдащенко М.В.

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


Загрузить (pdf)