Система символьных вычислений для программирования динамических приложений

Abstract

Описана система символьных вычислений, предназначенная для встраивания в промышленные приложения с целью обеспечения их гибкости и настраиваемости соответственно изменяющимся требованиям и условиям функционирования. Предложен метод погружения настраиваемых программных систем в промышленные комплексы, основанный на использовании декларативных средств программирования при описании взаимодействий программных компонент со своим окружением. Метод позволяет значительно уменьшить стоимость разработки сложного программного обеспечения, а также решать задачи анализа и обеспечения надежности программного кода.Описано систему символьних обчислень, призначену для вбудовування в промислові застосування з метою забезпечення їх гнучкості і настроюваності на вимоги, що змінюються, і умови функціонування. Запропоновано метод занурення настроюваних програмних систем у промислові комплекси, заснований на використанні декларативних засобів програмування при описі взаємодій програмних компонент зі своїм оточен- ням. Метод дозволяє значно зменшити вартість розробки складного програмного забезпечення, а також вирішувати задачі аналізу і забезпечення надійності програмного коду.The system of symbolical computation intended for embedding in the industrial applications with the purpose of maintenance to their flexibility and tenability on the varied requirements and a condition of functioning is described. The method of immersion of adjusted program systems in industrial complexes based on use of declarative means of programming at the description of interactions a program component with the environment is offered. The method allows considerably to reduce cost of development of the complex software and also to solve problems of the analysis and maintenance of reliability of a program code.