An ASM Model of Concurrency in a Web Browser

Gervasi, V

An ASM Model of Concurrency in a Web Browser

Gervasi, V

Permalink

Publisher:: Springer
Publication Type:: Journal Article
Citation:: Lecture Notes in Computer Science, 2012, 7316 pp. 79 - 93
Issue Date:: 2012-01

Closed Access

	Filename	Description	Size
	2012004174OK.pdf		250.34 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Gervasi, V	en_US
dc.date.issued	2012-01	en_US
dc.identifier.citation	Lecture Notes in Computer Science, 2012, 7316 pp. 79 - 93	en_US
dc.identifier.issn	0302-9743	en_US
dc.identifier.uri	http://hdl.handle.net/10453/22899
dc.description.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.	en_US
dc.publisher	Springer	en_US
dc.relation.ispartof	Lecture Notes in Computer Science	en_US
dc.relation.isbasedon	10.1007/978-3-642-30885-7_6	en_US
dc.subject.classification	Artificial Intelligence & Image Processing	en_US
dc.title	An ASM Model of Concurrency in a Web Browser	en_US
dc.type	Journal Article
utslib.citation.volume	7316	en_US
utslib.for	0806 Information Systems	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology/School of Software
utslib.copyright.status	closed_access
pubs.consider-herdc	true	en_US
pubs.volume	7316	en_US

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.

Please use this identifier to cite or link to this item:

http://hdl.handle.net/10453/22899