2021 chapter

Sterling: A Web-Based Visualizer for Relational Modeling Languages

In Lecture Notes in Computer Science: Vol. 12709. Rigorous State-Based Methods. ABZ 2021 (pp. 99–104).

By: T. Dyer* & J. Baugh n

Source: Crossref
Added: September 30, 2024

We introduce Sterling, a web-based visualization tool that provides interactive views of relational models and allows users to create custom visualizations using modern JavaScript libraries like D3 and Cytoscape. We outline its design goals and architecture, and describe custom visualizations developed with Sterling that enable verification studies of scientific software used in production. While development is driven primarily by the Alloy community, other relational modeling languages are accommodated by Sterling's data agnostic architecture.