Buchumschlag

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

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:PROBLEMS IN PROGRAMMING
Datum:2026
Heft: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
Hauptverfasser: Doroshenko, A.Yu., Yatsenko, E.A.
Format: Artikel
Sprache:Russisch
Veröffentlicht: PROBLEMS IN PROGRAMMING 2026
Schlagworte:
UDC 681.3
Online Zugang:https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1019
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Problems in programming
Завантажити файл: Pdf

Institution

Problems in programming
Beschreibung
Zusammenfassung: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

Ähnliche Einträge