Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной предметной области – данные, функции и взаимосвязи между функциями. Дальнейшее...
Збережено в:
| Дата: | 2008 |
|---|---|
| Автори: | , |
| Формат: | Стаття |
| Мова: | Російська |
| Опубліковано: |
Інститут програмних систем НАН України
2008
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/2605 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2008. — № 4. — С. 94-103. — Бібліогр.: 17 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1859871021832601600 |
|---|---|
| author | Дорошенко, А.Е. Яценко, Е.А. |
| author_facet | Дорошенко, А.Е. Яценко, Е.А. |
| citation_txt | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2008. — № 4. — С. 94-103. — Бібліогр.: 17 назв. — рос. |
| collection | DSpace DC |
| description | Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной предметной области – данные, функции и взаимосвязи между функциями. Дальнейшее проектирование приложения осуществляется в разработанном интегрированном инструментарии проектирования и генерации программ, основывающемся на системах алгоритмических алгебр. Подход проиллюстрирован на примере разработки параллельной MPI-программы
сортировки.----------------
Запропоновано підхід до формалізованої розробки паралельних програм на основі використання онтологій та апарату алгебри алгоритмів. За допомогою онтології описуються основні об’єкти розроблюваної програми з обраної предметної області – дані, функції та взаємозв’язки між функціями. Подальше проектування програми виконується в розробленому інтегрованому інструментарії проектування і генерації програм, який ґрунтується на системах алгоритмічних алгебр. Підхід проілюстрований на прикладі розробки паралельної MPI програми сортування.--------------
An approach to formalized development of parallel programs using ontologies and algebra-algorithmic facilities is proposed. Ontology gives opportunity to describe the skeleton of the program representing main objects in the given subject domain – data, functions and relations between functions. Once the skeleton of the program has been built, further development can be done in automated manner with the Integrated toolkit for Design and Synthesis developed by the authors, which is based on using algorithmic algebras facilities. The application of the approach is illustrated with an example of developing parallel MPI program in the subject domain of sorting algorithms.
|
| first_indexed | 2025-12-07T15:50:08Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-2605 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Russian |
| last_indexed | 2025-12-07T15:50:08Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Дорошенко, А.Е. Яценко, Е.А. 2008-12-15T13:22:13Z 2008-12-15T13:22:13Z 2008 Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2008. — № 4. — С. 94-103. — Бібліогр.: 17 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/2605 681.3 Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной предметной области – данные, функции и взаимосвязи между функциями. Дальнейшее проектирование приложения осуществляется в разработанном интегрированном инструментарии проектирования и генерации программ, основывающемся на системах алгоритмических алгебр. Подход проиллюстрирован на примере разработки параллельной MPI-программы сортировки.---------------- Запропоновано підхід до формалізованої розробки паралельних програм на основі використання онтологій та апарату алгебри алгоритмів. За допомогою онтології описуються основні об’єкти розроблюваної програми з обраної предметної області – дані, функції та взаємозв’язки між функціями. Подальше проектування програми виконується в розробленому інтегрованому інструментарії проектування і генерації програм, який ґрунтується на системах алгоритмічних алгебр. Підхід проілюстрований на прикладі розробки паралельної MPI програми сортування.-------------- An approach to formalized development of parallel programs using ontologies and algebra-algorithmic facilities is proposed. Ontology gives opportunity to describe the skeleton of the program representing main objects in the given subject domain – data, functions and relations between functions. Once the skeleton of the program has been built, further development can be done in automated manner with the Integrated toolkit for Design and Synthesis developed by the authors, which is based on using algorithmic algebras facilities. The application of the approach is illustrated with an example of developing parallel MPI program in the subject domain of sorting algorithms. ru Інститут програмних систем НАН України Інструментальні засоби і середовища програмування Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов Засоби автоматизації розробки паралельних програм на основі онтологій та алгебр алгоритмів Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms Article published earlier |
| spellingShingle | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов Дорошенко, А.Е. Яценко, Е.А. Інструментальні засоби і середовища програмування |
| title | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| title_alt | Засоби автоматизації розробки паралельних програм на основі онтологій та алгебр алгоритмів Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms |
| title_full | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| title_fullStr | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| title_full_unstemmed | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| title_short | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| title_sort | средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов |
| topic | Інструментальні засоби і середовища програмування |
| topic_facet | Інструментальні засоби і середовища програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/2605 |
| work_keys_str_mv | AT dorošenkoae sredstvaavtomatizaciirazrabotkiparallelʹnyhprogrammnaosnoveontologiiialgebralgoritmov AT âcenkoea sredstvaavtomatizaciirazrabotkiparallelʹnyhprogrammnaosnoveontologiiialgebralgoritmov AT dorošenkoae zasobiavtomatizacíírozrobkiparalelʹnihprogramnaosnovíontologíitaalgebralgoritmív AT âcenkoea zasobiavtomatizacíírozrobkiparalelʹnihprogramnaosnovíontologíitaalgebralgoritmív AT dorošenkoae facilitiesforautomationofdevelopmentofparallelprogramsonthebasisofontologiesandalgebraofalgorithms AT âcenkoea facilitiesforautomationofdevelopmentofparallelprogramsonthebasisofontologiesandalgebraofalgorithms |