WebASM: An Abstract State Machine Execution Environment for the Web

Abstract

We describe WebASM, a web-based environment that embeds the CoreASM execution engine in a web page. WebASM provides several advantages to specification writers: (1) complex behaviour expressed via ASM can be made visible by using the full power of the web-based presentation layer; (2) ASM specifications can be edited and run interactively via any web browser; (3) the full CoreASM environment is made available via zero-install deployment, thus eliminating a major barrier to the adoption of the language. In this paper, we briefly outline the technicalities of the approach, present an example, and survey possible applications of WebASM.

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{ZenzaroGS14,
  author       = {Simone Zenzaro and
                  Vincenzo Gervasi and
                  Jacopo Soldani},
  editor       = {Yamine A{\"{\i}}t Ameur and
                  Klaus{-}Dieter Schewe},
  title        = {WebASM: An Abstract State Machine Execution Environment for the Web},
  booktitle    = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
                  Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8477},
  pages        = {216--221},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-43652-3\_19},
  doi          = {10.1007/978-3-662-43652-3\_19},
  timestamp    = {Sun, 25 Oct 2020 23:07:20 +0100},
  biburl       = {https://dblp.org/rec/conf/asm/ZenzaroGS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}