Alloy related links

Daniel Jackson and his work

• Alloy Site
• Daniel Jackson

UWE papers

Chris Wallace: Using Alloy in Process Modelling

• PDF version
• UWE Module model
• UWE Student Process model
• UWE Student and Module Process model
• Implicit House construction
• UWE Implicitly sequenced process model
• The Game of Life
• The Hypergraph model
• UWE models zipped

Tools

• The Alloy Analyzer
• AT&T's graphviz software part of which is the dot package used to generate instance graphs
• ZChaff, a leading SAT solver

Related Research

• Rik Eshuis: Semantics and Verification of UML Activity Diagrams for Workflow Modeling
• NuSMV model checker
• USE OCL validator and animator