Sterling is a web-based visualizer for relational modeling languages. Model finding tools like Alloy provide a lightweight approach to reasoning about complex software systems; an attractive feature of Alloy in particular is the immediate feedback provided by visualizations. However, the built-in visualizer has limited capabilities.
The Sterling architecture is flexible, allowing for any modeling language or tool to leverage the improved visualization capabilities by communicating with Sterling over a WebSocket connection using a standardized communication protocol. Sterling is currently available as a visualizer for the Alloy modeling language and is the default visualizer for Forge, a model finder used at Brown University to teach an introductory computer science course in logic.