We define an abstract standards-compliant web browser model. The model focuses on those parts of the browser behaviour which are most relevant for the deployment and execution of web applications, such as interaction with a scripting language (here, ECMAScript), cookies, and asynchronous behaviour of the network layer, while hiding other aspects, such as page navigation and presentational issues.

We use a multi-agent Abstract State Machine as our formal model, showing how the browser behaviour can be partitioned into a number of distinct components, and specifying precisely their interactions. The specification can also be used as basis to prove consistency properties of common frameworks for web applications.


Match Type Stream Processor Document Object Model Host Operating System Browser Behaviour 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Börger, E., Stärk, R.F.: Abstract state machines: a method for high-level system design and analysis. Springer (2003)Google Scholar
  2. 2.
    Börger, E., Cisternino, A., Gervasi, V.: Contribution to a Rigorous Analysis of Web Application Frameworks. In: Derrick, J., et al. (eds.) ABZ 2012. LNCS, pp. 1–20. Springer, Heidelberg (2012)Google Scholar
  3. 3.
    Cerf, V.G., Dalal, Y., Sunshine, C.: RFC675: Specification of Internet Transmission Control Program (December 1974)Google Scholar
  4. 4.
    Farahbod, R., Gervasi, V., Glaesser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae 77, 71–103 (2007)MathSciNetzbMATHGoogle Scholar
  5. 5.
    World Wide Web Consortium. HTML 5: A vocabulary and associated APIs for HTML and XHTML W3C Working Draft (October 19, 2010),

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Vincenzo Gervasi
    • 1
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Faculty of Engineering and Information TechnologyUTSSydneyAustralia

Personalised recommendations