Диаграммы классов ООП: формализация и анализ
Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонен...
Збережено в:
| Дата: | 2013 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2013
|
| Назва видання: | Труды Института прикладной математики и механики |
| Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/124179 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| Резюме: | Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонента уточняет атрибуты, вторая методы. Наследование уточняется как включение графиков функций. Над классами вводятся две операции пересечение и сочленение. Формальные результаты: структура частично упорядоченного множества классов, свойства операции наложения, в терминах которой вводится операция сочленения: идемпотентность, ассоциативность, критерий коммутативности. Модель диаграммы классов можно использовать для анализа структуры классов, что позволяет выделять подсистемы, клоны и оптимизировать по соответствующему критерию саму диаграмму. |
|---|