Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs

Issue title: Concurrency Specification and Programming (CS&P)

Article type: Research Article

Authors: Doroshenko, Anatoliy | Yatsenko, Olena

Affiliations: Institute of Software Systems of National Academy of Sciences of Ukraine, Glushkov prosp. 40, 03187 Kyiv, Ukraine. dor@isofts.kiev.ua, aiyat@i.com.ua

Abstract: 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, i.e. data, functions to process data 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 (IDS) 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.

Keywords: ontology, algebra of algorithms, designing and synthesis of programs, parallel programs

DOI: 10.3233/FI-2009-0091

Journal: Fundamenta Informaticae, vol. 93, no. 1-3, pp. 111-125, 2009