Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов
Предложен подход к формализованной разработке параллельных программ на основе использования онтологий и аппарата алгебры алгоритмов. С помощью онтологии описываются основные объекты разрабатываемой программы из выбранной предметной области – данные, функции и взаимосвязи между функциями. Дальнейшее...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/2605 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2008. — № 4. — С. 94-103. — Бібліогр.: 17 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-2605 |
|---|---|
| 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 |
| 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 |
Дорошенко, А.Е. Яценко, Е.А. |
| topic |
Інструментальні засоби і середовища програмування |
| topic_facet |
Інструментальні засоби і середовища програмування |
| publishDate |
2008 |
| language |
Russian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Засоби автоматизації розробки паралельних програм на основі онтологій та алгебр алгоритмів Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms |
| 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.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/2605 |
| citation_txt |
Средства автоматизации разработки параллельных программ на основе онтологий и алгебр алгоритмов / А.Е. Дорошенко, Е.А. Яценко // Проблеми програмування. — 2008. — № 4. — С. 94-103. — Бібліогр.: 17 назв. — рос. |
| 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 |
| first_indexed |
2025-12-07T15:50:08Z |
| last_indexed |
2025-12-07T15:50:08Z |
| _version_ |
1850865204008583168 |