@stman @thatguyoverthere @vidak @50htz Like I've said before, Abstract State Machines ought to offer the modeling capability needed to formally describe your conceptual architecture. I really need to implement ASMs in Ada/SPARK but it's one of the many on my TODO list that doesn't seem to get shorter.
just a friendly reminder that we have a forum that supports longer messages a little better than the fediverse—and doesn’t bury them in big chains of notifications either!
i may even set up a mailing list, now that i have a proper mail server set up @ germination.systems/mail
i enjoy reading your messages stman—but, if i may be permitted to make a gentle suggestion (and please let me know if this is out of order), you should join an instance with a longer post character length than 500, that way you may be done with your communication in a single post!
The general idea of the OSI model is that you can focus on one layer and its immediate interfaces. The reality is that it's really hard to do anything new because abstractions leak up and down the model and layers get combined in any attempt then need to be separated again to be standardized, e.g. quic and http3
@theruran @thatguyoverthere @vidak
A place for trans makers, coders, tinkerers and dreamers.