Skip to main content
SpringerLink
Log in

Sterling: A Web-Based Visualizer for Relational Modeling Languages

  • Conference paper
  • First Online:
Rigorous State-Based Methods (ABZ 2021)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 12709))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 49.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 64.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    A Sterling demo with examples can be found at https://sterling-js.github.io.

References

  1. Forge. https://github.com/tnelson/Forge. Accessed 12 Apr 2021

  2. Baugh, J., Altuntas, A.: Formal methods and finite element analysis of hurricane storm surge: a case study in software verification. Sci. Comput. Program. 158, 100–121 (2018)

    Article  Google Scholar 

  3. Couto, R., et al.: Improving the visualization of Alloy instances. Electron. Proc. Theor. Comput. Sci. 284, 37–52 (2018)

    Article  Google Scholar 

  4. Dyer, T., Altuntas, A., Baugh, J.: Bounded verification of sparse matrix computations. In: Proceedings of the Third International Workshop on Software Correctness for HPC Applications, Correctness 2019, pp. 36–43. IEEE/ACM (2019)

    Google Scholar 

  5. Gammaitoni, L., Kelsen, P.: Domain-specific visualization of Alloy instances. In: Ait, A.Y., Schewe, K.D. (eds.) Abstract State Machines, Alloy, B, TLA, VDM, and Z, pp. 324–327. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-662-43652-3_33

    Chapter  Google Scholar 

  6. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2012)

    Google Scholar 

  7. Ladenberger, L., Leuschel, M.: BMotionWeb: a tool for rapid creation of formal prototypes. In: De Nicola, R., Kühn, E. (eds.) SEFM 2016. LNCS, vol. 9763, pp. 403–417. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-41591-8_27

    Chapter  Google Scholar 

  8. Macedo, N., et al.: Sharing and learning Alloy on the web. arXiv abs/1907.02275 (2019)

    Google Scholar 

  9. Misue, K., Eades, P., Lai, W., Sugiyama, K.: Layout adjustment and the mental map. J. Vis. Lang. Comput. 6(2), 183–210 (1995)

    Article  Google Scholar 

  10. Oladimeji, P., Masci, P., Curzon, P., Thimbleby, H.: PVSio-web: a tool for rapid prototyping device user interfaces in PVS. Electron. Commun. EASST 69 (2014)

    Google Scholar 

  11. Werth, M., Leuschel, M.: VisB: a lightweight tool to visualize formal models with SVG graphics. In: Raschke, A., Méry, D., Houdek, F. (eds.) ABZ 2020. LNCS, vol. 12071, pp. 260–265. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-48077-6_21

    Chapter  Google Scholar 

  12. Zaman, A., et al.: Improved visualization of relational logic models. Technical report. CS-2013-04, University of Waterloo (2013)

    Google Scholar 

Download references

Acknowledgments

We thank Shriram Krishnamurthi, Tim Nelson, and Kathi Fisler for their ideas and support, Mia Santomauro for the Sterling custom visualization guide, and the Alloy community for their helpful suggestions. This work is partially supported by the US NSF.

Author information

Authors and Affiliations

  1. Brown University, Providence, RI, USA

    Tristan Dyer

  2. North Carolina State University, Raleigh, NC, USA

    John Baugh

Authors
  1. Tristan Dyer
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. John Baugh
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Tristan Dyer .

Editor information

Editors and Affiliations

  1. Ulm University, Ulm, Germany

    Alexander Raschke

  2. University of Lorraine, Vandœuvre-lès-Nancy, France

    Dominique Méry

Rights and permissions

Reprints and permissions

Copyright information

© 2021 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Dyer, T., Baugh, J. (2021). Sterling: A Web-Based Visualizer for Relational Modeling Languages. In: Raschke, A., Méry, D. (eds) Rigorous State-Based Methods. ABZ 2021. Lecture Notes in Computer Science(), vol 12709. Springer, Cham. https://doi.org/10.1007/978-3-030-77543-8_7

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-77543-8_7

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-77542-1

  • Online ISBN: 978-3-030-77543-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation