Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Börger, E., Stärk, R.F.: Abstract state machines: a method for high-level system design and analysis. Springer (2003)
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)
Cerf, V.G., Dalal, Y., Sunshine, C.: RFC675: Specification of Internet Transmission Control Program (December 1974)
Farahbod, R., Gervasi, V., Glaesser, U.: CoreASM: An extensible ASM execution engine. Fundamenta Informaticae 77, 71–103 (2007)
World Wide Web Consortium. HTML 5: A vocabulary and associated APIs for HTML and XHTML W3C Working Draft (October 19, 2010), http://www.w3.org/TR/html5
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gervasi, V. (2012). An ASM Model of Concurrency in a Web Browser. In: Derrick, J., et al. Abstract State Machines, Alloy, B, VDM, and Z. ABZ 2012. Lecture Notes in Computer Science, vol 7316. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30885-7_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-30885-7_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-30884-0
Online ISBN: 978-3-642-30885-7
eBook Packages: Computer ScienceComputer Science (R0)