Диаграммы классов ООП: формализация и анализ
Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонен...
Збережено в:
| Опубліковано в: : | Труды Института прикладной математики и механики |
|---|---|
| Дата: | 2013 |
| Автори: | , |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2013
|
| Онлайн доступ: | https://nasplib.isofts.kiev.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| id |
nasplib_isofts_kiev_ua-123456789-124179 |
|---|---|
| record_format |
dspace |
| spelling |
Буй, Д.Б. Компан, С.В. 2017-09-22T10:27:37Z 2017-09-22T10:27:37Z 2013 Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос. 1683-4720 https://nasplib.isofts.kiev.ua/handle/123456789/124179 004.655 Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонента уточняет атрибуты, вторая методы. Наследование уточняется как включение графиков функций. Над классами вводятся две операции пересечение и сочленение. Формальные результаты: структура частично упорядоченного множества классов, свойства операции наложения, в терминах которой вводится операция сочленения: идемпотентность, ассоциативность, критерий коммутативности. Модель диаграммы классов можно использовать для анализа структуры классов, что позволяет выделять подсистемы, клоны и оптимизировать по соответствующему критерию саму диаграмму. Дано порiвняльний аналiз робiт, присвячених формальним моделям об’єктно-орiєнтованого програмування (ООП). Предмет дослiдження – модель дiаграми класiв (вiдповiдна частково впорядкована множина). Модель класу (специфiкацiї класу) – пара функцiональних бiнарних вiдношень, одна компонента уточнює атрибути, друга – методи. Успадкування уточнюється як включення графiкiв функцiй. Над класами вводяться двi операцiї – перетин i зчленування. Формальнi результати: структура частково впорядкованої множини класiв, властивостi операцiї накладення, в термiнах якої вводиться операцiя зчленування: iдемпотентнiсть, асоцiативнiсть, критерiй комутативностi. Модель дiаграми класiв можна використовувати для аналiзу структури класiв, що дозволяє видiляти пiдсистеми, клони та оптимiзувати саму дiаграму згiдно з вiдповiдним критерiєм. The article deals with comparative analysis of the papers dedicated to formal models of object-oriented programming (OOP). The subject of investigation is a model of a class diagram (a corresponding partially ordered set). A class model (class specifications) is a pair of functional binary relations, one component specifies the attributes, the second one – the methods. Inheritance is defined as inclusion of function graphs. Classes are subjected to the operations of intersection and junction. The junction and the intersection of class speci?cations is important as it provides for the opportunity to construct the core of a new program with two programs which allows integrating these two programs that results in the Framework version. The formal results are as follow: the structure of partially ordered set of classes, properties overlapping operation, in terms of which the operation of junction is defined: idempotency,associativity, criterion of commutativity. Model class diagram can be used to analyze the structure of classes that allows to find subsystems, clones and optimize the chart itself according to the relevant criterion. ru Інститут прикладної математики і механіки НАН України Труды Института прикладной математики и механики Диаграммы классов ООП: формализация и анализ Дiаграми класiв ООП: формалiзацiя та аналiз OOP class diagrams: formalization and analysis Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Диаграммы классов ООП: формализация и анализ |
| spellingShingle |
Диаграммы классов ООП: формализация и анализ Буй, Д.Б. Компан, С.В. |
| title_short |
Диаграммы классов ООП: формализация и анализ |
| title_full |
Диаграммы классов ООП: формализация и анализ |
| title_fullStr |
Диаграммы классов ООП: формализация и анализ |
| title_full_unstemmed |
Диаграммы классов ООП: формализация и анализ |
| title_sort |
диаграммы классов ооп: формализация и анализ |
| author |
Буй, Д.Б. Компан, С.В. |
| author_facet |
Буй, Д.Б. Компан, С.В. |
| publishDate |
2013 |
| language |
Russian |
| container_title |
Труды Института прикладной математики и механики |
| publisher |
Інститут прикладної математики і механіки НАН України |
| format |
Article |
| title_alt |
Дiаграми класiв ООП: формалiзацiя та аналiз OOP class diagrams: formalization and analysis |
| description |
Дан сравнительный анализ работ, посвящённых формальным моделям объектно-ориентированного программирования (ООП). Предмет исследования модель диаграммы классов (соответствующее частично упорядоченное множество). Модель класса (спецификации класса) пара функциональных бинарных отношений, одна компонента уточняет атрибуты, вторая методы. Наследование уточняется как включение графиков функций. Над классами вводятся две операции пересечение и сочленение. Формальные результаты: структура частично упорядоченного множества классов, свойства операции наложения, в терминах которой вводится операция сочленения: идемпотентность, ассоциативность, критерий коммутативности. Модель диаграммы классов можно использовать для анализа структуры классов, что позволяет выделять подсистемы, клоны и оптимизировать по соответствующему критерию саму диаграмму.
Дано порiвняльний аналiз робiт, присвячених формальним моделям об’єктно-орiєнтованого програмування (ООП). Предмет дослiдження – модель дiаграми класiв (вiдповiдна частково впорядкована множина). Модель класу (специфiкацiї класу) – пара функцiональних бiнарних вiдношень, одна компонента уточнює атрибути, друга – методи. Успадкування уточнюється як включення графiкiв функцiй. Над класами вводяться двi операцiї – перетин i зчленування. Формальнi результати: структура частково впорядкованої множини класiв, властивостi операцiї накладення, в термiнах якої вводиться операцiя зчленування: iдемпотентнiсть, асоцiативнiсть, критерiй комутативностi. Модель дiаграми класiв можна використовувати для аналiзу структури класiв, що дозволяє видiляти пiдсистеми, клони та оптимiзувати саму дiаграму згiдно з вiдповiдним критерiєм.
The article deals with comparative analysis of the papers dedicated to formal models of object-oriented programming (OOP). The subject of investigation is a model of a class diagram (a corresponding partially ordered set). A class model (class specifications) is a pair of functional binary relations, one component specifies the attributes, the second one – the methods. Inheritance is defined as inclusion of function graphs. Classes are subjected to the operations of intersection and junction. The junction and the intersection of class speci?cations is important as it provides for the opportunity to construct the core of a new program with two programs which allows integrating these two programs that results in the Framework version. The formal results are as follow: the structure of partially ordered set of classes, properties overlapping operation, in terms of which the operation of junction is defined: idempotency,associativity, criterion of commutativity. Model class diagram can be used to analyze the structure of classes that allows to find subsystems, clones and optimize the chart itself according to the relevant criterion.
|
| issn |
1683-4720 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/124179 |
| citation_txt |
Диаграммы классов ООП: формализация и анализ / Д.Б. Буй, С.В. Компан // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2013. — Т. 27. — С. 51-65. — Бібліогр.: 40 назв. — рос. |
| work_keys_str_mv |
AT buidb diagrammyklassovoopformalizaciâianaliz AT kompansv diagrammyklassovoopformalizaciâianaliz AT buidb diagramiklasivoopformalizaciâtaanaliz AT kompansv diagramiklasivoopformalizaciâtaanaliz AT buidb oopclassdiagramsformalizationandanalysis AT kompansv oopclassdiagramsformalizationandanalysis |
| first_indexed |
2025-12-07T13:20:28Z |
| last_indexed |
2025-12-07T13:20:28Z |
| _version_ |
1850855787911446528 |