_2025-08-19_15：45：56_	2025-08-19 15：45：56
Alloy - a lightweight, precise and tractable notation for object modelling. It attempts to combine the practicality of UML’s s
原文链接失效了?试试备份
TAGs:建模
Summary: