Professional Documents
Culture Documents
What is Alloy ?
By David Brageul
Overview
analyser (visualizer)
History
Why modelling?
Evolution of mentalities
What are you solving? Communication Better software in the end
Alloy
Structural language
Model complex structures with hierarchies and relations
Declarative
No order
Everything is a relation
Alloy analyser
About SAT
Given the expression of a boolean formula, is there any assignment of variables that makes the expression true? Cook 1971 SAT NP complete
Different properties (small systems, large systems, enumerate solutions) Possibility to choose in Alloy
User defined
Can scope subtypes Many bugs have small counterexamples Try small and test
Review
Alloy
Alloy analyser Fully automatic analysis
References
Alloys FAQ
http://alloy.mit.edu/faq.php