It seems to me that the concept of the "Abstract State Machine of Gurevich" (formerly known as "evolving algebras") seems very promising in order to ensure reliable financing of systemic behavior. It could be relational algebra for databases: a basic theoretical foundation.
As far as I know, the most complete version is Microsoft ASML , which creates .NET. assemblies.
Does anyone really use it in a working context? And, in the case, with what degree of success?
I would love to start an investigation more if others have success stories to share.
source
share