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...
Saved in:
| Published in: | PROBLEMS IN PROGRAMMING |
|---|---|
| Date: | 2026 |
| Issue: | 4 |
| Pages: | 94-103 |
| ISSN: | 1727-4907 |
| Author Affiliations: |
|
| Main Authors: | , |
| Format: | Article |
| Language: | Russian |
| Published: |
PROBLEMS IN PROGRAMMING
2026
|
| Subjects: | |
| Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/1019 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Problems in programming |
| Download file: |
|
Institution
Problems in programming| Summary: | 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 |