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

• Veröffentlicht in: Проблеми програмування
• Datum: 2012
• 1. Verfasser: Яценко, Е.А.
• Sprache: Russian
• Veröffentlicht: Інститут програмних систем НАН України 2012
• Schlagworte: Формальні методи програмування
• Online Zugang: https://nasplib.isofts.kiev.ua/handle/123456789/86606
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Zitieren: Средства параметрически управляемой генерации алгоритмов на основе алгебры гиперсхем / Е.А. Яценко // Проблеми програмування. — 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.