3

对我来说,“Gurevich 抽象状态机”(以前称为“进化代数”)的概念似乎很有希望为系统行为提供坚实的基础。它可能是数据库的关系代数:潜在的理论基础。

据我所知,最完整的实现是生成 .NET 程序集的 Microsoft ASML语言。

有人真的在工作环境中使用它吗?而且,以防万一,成功程度如何?

如果其他人有成功的故事可以分享,我真的很想开始进行更多调查。

4

1 回答 1

1

几年前我尝试过,但似乎这个项目已经过时了。很遗憾,因为我有点喜欢它。

于 2008-10-09T09:57:33.190 回答