Зображення обкладинки

Facilities for automation of development of parallel programs on the basis of ontologies and algebra of algorithms

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...

Повний опис

Збережено в:
Бібліографічні деталі
Опубліковано в:PROBLEMS IN PROGRAMMING
Дата:2026
Випуск:4
Сторінки:94-103
ISSN:1727-4907
Автори та афіліації:
  • A.Yu. Doroshenko — Institute of Software Systems NAS of Ukraine
  • E.A. Yatsenko — Institute of Software Systems NAS of Ukraine
Автори: Doroshenko, A.Yu., Yatsenko, E.A.
Формат: Стаття
Мова:Російська
Опубліковано: PROBLEMS IN PROGRAMMING 2026
Теми:
UDC 681.3
Онлайн доступ:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1019
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Репозитарії

Problems in programming
Опис
Резюме: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.Problems in programming 2008; 4: 94-103
ISSN:1727-4907

Схожі ресурси