Affiliation:
1. Massachusetts Institute of Technology, Cambridge, MA
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 paper presents the language in its entirety, and explains its motivation, contributions and deficiencies.
Publisher
Association for Computing Machinery (ACM)
Reference60 articles.
1. IFO: a formal semantic database model
2. ABRIAL J. R. 1974. Data Semantics. In J. W. Klimbie and K. L. Koffeman (eds.) Data Base Management. North Holland. ABRIAL J. R. 1974. Data Semantics. In J. W. Klimbie and K. L. Koffeman (eds.) Data Base Management. North Holland.
3. A formal semantics for object model diagrams
4. BICKFORD M. AND GUASPARI D. 1998. Lightweight Analysis of UML. TM-98-0036 Odyssey Research Associates Ithaca NY (Nov.). BICKFORD M. AND GUASPARI D. 1998. Lightweight Analysis of UML. TM-98-0036 Odyssey Research Associates Ithaca NY (Nov.).
Cited by
608 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献