Re:Code only says what it does
by jackhiggs on Wednesday July 08, 2020 @04:24AM
(#23767978)
What you're talking about there is a Model Repository. We're building one at the bank I work at, except because our modelling language (or meta model) is based on OMG's MOF we can generate artifacts (code) from our models. You can't do that with TLA+ as far as I know. It's pretty powerful - you can compose models together very easily, as well as generate loads of useful things for data-in-motion.
[ Parent
| on HN ]
Re:Code only says what it does
by cloogshicer on Wednesday July 08, 2020 @06:24PM
(#23774865)
Hey, thanks a lot for your response! It's really hard to search for abstract ideas like this if you don't know the terminology (like Model Repository), so this is super helpful. This is a very interesting topic for me, may I ask you a few questions? I sent you a request on LinkedIn.