Current use of Alloy in the age of AI

1

I have been using Alloy as my daily driver now. I can spec from whole system do algorithm or protocol designs and hand it over to an LLM to code it. This was step one.

Step two was tweaking Alloy to extract code from the model. Right now, I can extract SQL DDL statements in many ways (I have strategies to deal with different relation cardinalities, whether to use junction tables or foreign keys).

So far, it has been immensely useful - disruptive - for me. Anyone have the same feelings?

1 Like
2

Hi.
I would love to know more about what your usage of Alloy, looks really nice. Anything more you can share? I suggest you submit something to one of the upcoming conferences in the area (e.g. an experience report to ABZ’26).
Best,
Alcino