Sciweavers

TOSEM
2002

Alloy: a lightweight object modelling notation

14 years 2 days ago
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 paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.
Daniel Jackson
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 2002
Where TOSEM
Authors Daniel Jackson
Comments (0)