An ASM Model of Concurrency in a Web Browser

Publication Type:
Journal Article
Lecture Notes in Computer Science, 2012, 7316 pp. 79 - 93
Issue Date:
Full metadata record
Files in This Item:
Filename Description Size
Thumbnail2012004174OK.pdf250.34 kB
Adobe PDF
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.
Please use this identifier to cite or link to this item: