4 ms·
Alloy is a great to model domains. We do DDD at work and Alloy has proved so valuable. We use it both for structural modeling (relations between parts of a sta
by rsrsrs86 4y ago
Alloy is a great to model domains. We do DDD at work and Alloy has proved so valuable.
We use it both for structural modeling (relations between parts of a state, including entities and values) and dynamic modeling (relations between ordered states or time, that is, services, roughly).
- trankitron 4y agoI think it's very insteresting the potential sinergy between DDD and formal modeling languages. Personally I've used TLA+ and PlusCal for modeling complex systems and find difficult issues like concurrency problems. Do you know how Alloy and TLA+/PlusCal compare?