Запропоновано новий підхід до автоматизованого перетворення схем алгоритмів на підставі їх представлення у вигляді систем алгоритмічних алгебр-схем (САА-М). Розроблено прототип автоматизованого генератора програмного коду для забезпечення автоматизованого синтезу асоційованих з алгоритмами програм на базі їх представлення у вигляді САА-М-схем. Новою особливістю даного прототипу є можливість параметричної генерації коду відповідно до різних підходів паралельного програмування та апаратно-програмних платформ. Вперше інтегровано методику формалізованого проектування на основі САА-М-схем алгоритмів з методикою алгоритмічного проектування, яка базується на застосуванні UML-діаграм. Вперше запропоновано й експериментально обгрунтовано методику редукції САА-М-схем алгоритмів до кольорових мереж Петрі для моделювання роботи алгоритмів і забезпечення можливості оцінювання їх часових характеристик без прив'язки до апаратно-програмної платформи. Реалізовано новий метод створення сценаріїв для управління процесом виконання програм, що дозволяє здійснити вибір найкращого алгоритму за заданими критеріями.

  Завантажити