Мне кажется, что концепция «абстрактного конечного автомата Гуревича» (ранее известная как «развивающиеся алгебры») представляется весьма перспективной для обеспечения прочной основы поведения систем. Это может быть то, чем является реляционная алгебра для баз данных: основополагающее теоретическое обоснование.
Насколько мне известно, наиболее полной реализацией является язык Microsoft ASML , который создает сборки .NET.
Кто-нибудь действительно использует это в рабочем контексте? И, в случае, с какой степенью успеха?
Я действительно хотел бы начать расследование, если у других есть истории успеха, которыми можно поделиться.