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

• Published in: Проблеми програмування
• Date: 2012
• Main Author: Яценко, Е.А.
• Language: Russian
• Published: Інститут програмних систем НАН України 2012
• Subjects: Формальні методи програмування
• Online Access: https://nasplib.isofts.kiev.ua/handle/123456789/86606
• Journal Title: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Cite this: Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем / Е.А. Яценко // Проблеми програмування. — 2012. — № 2-3. — С. 219-227. — Бібліогр.: 12 назв. — рос.

Предложен подход к разработке последовательных и параллельных алгоритмов на основе использования инструментария параметрически управляемой генерации схем программ. Инструментарий базируется на абстрактно-автоматной модели процесса генерации регулярных схем, ассоциированных с ней алгебрах гиперсхем и грамматиках структурного проектирования. Программные средства ориентированы на построение алгоритмов и гиперсхем в режиме поуровневого диалогового конструирования, обеспечивающем их синтаксическую правильность. The approach to development of serial and parallel algorithms, which is based on usage of tools for parameter-driven generation of schemes, is proposed. The tools are based on the abstract-automaton model of regular schemes generation process, associated algebras of hyperschemes and grammars of structured design. Software facilities are designed for construction of algorithms and hyperschemes in the mode of dialogue constructing, providing their syntactic regularity.