Alloy: a lightweight object modelling notation

Abstract

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

Topics

2 Figures and Tables

Statistics

050100'01'03'05'07'09'11'13'15'17
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