Sterling: A Web-Based Visualizer for Relational Modeling Languages

Abstract

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.

Document

If you cannot see the document below, the PDF document is most likely not freely accessible. In this case, please try to access the document via this link.

Reference

% BibTex
@inproceedings{DyerB21,
  author       = {Tristan Dyer and
                  John W. Baugh Jr.},
  editor       = {Alexander Raschke and
                  Dominique M{\'{e}}ry},
  title        = {Sterling: {A} Web-Based Visualizer for Relational Modeling Languages},
  booktitle    = {Rigorous State-Based Methods - 8th International Conference, {ABZ}
                  2021, Ulm, Germany, June 9-11, 2021, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {12709},
  pages        = {99--104},
  publisher    = {Springer},
  year         = {2021},
  url          = {https://doi.org/10.1007/978-3-030-77543-8\_7},
  doi          = {10.1007/978-3-030-77543-8\_7},
  timestamp    = {Mon, 03 Mar 2025 20:58:01 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/DyerB21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}