私には、「Gurevich Abstract State Machine」(以前は「進化代数」として知られていた) の概念は、システムの動作に確固たる基盤を提供する上で非常に有望に思えます。それは、データベースにとってのリレーショナル代数、つまり基礎となる理論的基礎である可能性があります。
私の知る限り、最も完全な実装は、.NET アセンブリを生成するMicrosoft ASML言語です。
誰かが実際にそれを作業コンテキストで使用していますか? そして、場合によっては、どの程度の成功を収めていますか？
他の人が共有できる成功事例があれば、もっと調査を開始したいと思います.