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

A.Yu. Doroshenko, E.A. Yatsenko

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


References


Nistor E.C. Using Domain Models in Extensible Schema-based Software Synthesis. – NASA Ames Research Center, Technical Report, 2004. –

Bureš T., Denney E., Fischer B., Nistor E.C. The Role of Ontologies in Schema-based Program Synthesis // In Workshop on Ontologies

as Software Engineering Artifacts, Vancouver, Canada, 2004. –

Waldinger R., Jarvis P., Dungan J. Program Synthesis for Multi-Agent Question Answering // In International Symposium on Verification (Theory and Practice). – Springer Verlag, Lecture Notes in Computer Science. – 2003. – P. 747–761.

Fensel D., Lausen H., Polleres A., de Bruijn J. et al. Enabling Semantic Web Services. The Web Service Modeling Ontology. – Springer Verlag, 2007. – 188 p.

de Roure D., Jennings N., Shadbolt N. Research Agenda for the Semantic Grid: A Future e-Science Infrastructure – Technical report UKeS-2002-02, UK e-Science Technical Report Series, National e-Science Centre, Edinburgh, UK. – 2001. – 78 p.

OMG, Unified Modeling Language Specification. – ttp://www.uml.org

Chen P.P. Entity-Relationship Modelling: Historical Events, Future Trends, and Lessons Learned. – Software pioneers: contributions to

software engineering. – Springer-Verlag, New York. – 2002. – P. 296–310.

Андон Ф.И., Дорошенко А.Е., Цейтлин Г.Е., Яценко Е.А. Алгеброалгоритмические модели и методы параллельного программирования. – Киев: Академпериодика, 2007. – 631 с.

Protégé. – http://protege.stanford.edu

Protégé-OWL editor. – http://protege.stanford.edu/overview/protege-owl.html

Глушков В.М., Цейтлин Г.Е., Ющенко Е.Л. Алгебра. Языки. Программирование. – Киев: Наук. думка, 1989. – 376 с.

Цейтлин Г.Е. Алгебраическая алгоритмика: теория и приложения // Кибернетика и системный анализ. – 2003. – № 1. – С. 8–18.

Noy N.F., McGuinness D.L. Ontology Development 101: A Guide to Creating Your First Ontology. – Stanford Knowledge Systems Laboratory Technical Report KSL-01-05 and Stanford Medical Informatics Technical Report SMI-2001-0880. – 2001. – 25 p.

Чарнецки К., Айзенекер У. Порождающее программирование: методы, инструменты, применение. Для профессионалов. – СПб.:

Питер, 2005. – 731 с.

MPI: A Message-Passing Interface Standard. – http://www-unix.mcs.anl.gov/mpi

Дорошенко А.Е., Жереб К.А., Яценко Е.А. Средства синтеза параллельных MPI- программ // Проблемы программирования. –

– № 2–3. – С. 595–604.

Дорошенко А.Е., Шевченко Р.С. Система символьных вычислений для программирования динамических приложений // Проблемы программирования. – 2005. – № 4. – С. 718–727.


Refbacks

  • There are currently no refbacks.