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

К системам со сложным поведением относят событийноуправляемые программные системы, называемые в научной литературе реагирующими системами (reactive systems), то есть такими системами, которые на одно и то же входное воздействие реагируют различным образом в зависимости от своего состояния и предыстории. Такие системы удобно описывать с помощью специальных языковых средств, как графических, так и текстовых. В статье представлен подход автоматизированного построения систем со сложным поведением с использованием разработанного языка CIAO (Cooperative Interaction of Automata Objects) [1-2], который позволяет на основе неформального описания реагирующей системы формально специфицировать требуемое поведение. Далее по этой спецификации на языке CIAO генерируется программная система на языке программирования С++. Для языка CIAO предусмотрена как графическая, так и текстовая нотация. Графическая нотация основана на расширенной нотации диаграмм компонентов языка UML, которые хорошо зарекомендовали себя в описании поведения управ -ляемых событиями систем. Текстовый синтаксис языка CIAO описан контекстно-свободной грамматикой в регулярной форме. Автоматически генерируемый код на языке С++ допускает использование как библиотечных, так и любых внешних функций, написанных вручную. В качестве примера предложено оригинальное решение задачи Д. Кнута о реагирующей системе управления лифтом.