Alloy: a lightweight object modelling notation


Alloy is a little language for describing structural properties. It offers a declaration syntax compatible with graphical object models, and a set-based formula syntax powerful enough to express complex constraints and yet amenable to a fully automatic semantic analysis. Its meaning is given by translation to an even smaller (formally defined) kernel. This… (More)
DOI: 10.1145/505145.505149


2 Figures and Tables


Citations per Year

1,207 Citations

Semantic Scholar estimates that this publication has 1,207 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics