Задача определения функторов между категорными моделями информационной системы
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Задача определения функторов между категорными моделями информационной системы
|
|
| Creator |
Левыкин, В. М.
Евланов, М. В. |
|
| Subject |
проектирование информационных систем
бизнес-процесс объект автоматизации CASE-средства морфизм функтор категория |
|
| Description |
Розглянуто вирішення проблеми трансформації моделей інформаційної системи, що проектується. Як математичний апарат формалізованого опису задачі пропонується використовувати апарат теорії категорій. Сформульовані основні математичні моделі коваріантного функтора, який описує перехід між категорними моделями інформаційної системи. The decision of developing information system models transformation problem is devoted. As mathematical apparatus for the task formalized describing the using of category theory apparatus is proposed. The base mathematical models of the covariant functor, which describe categorical information system models transformation are given. |
|
| Date |
2017-06-20T08:59:31Z
2017-06-20T08:59:31Z 2003 |
|
| Type |
Article
|
|
| Identifier |
Левыкин В. М., Евланов М. В. Задача определения функторов между категорными моделями информационной системы // Проблемы бионики. – 2003. – Вып. 58. – С. 62- 67.
http://openarchive.nure.ua/handle/document/3953 |
|
| Language |
ru
|
|