Egon Börger
Ambient Abstract State Machines for modelling an architecture of current WEB applications systems

Egon Börger, University of Pisa, Italy

Abstract:

This is a report on the first steps of a recently started project with V. Gervasi, C. Dittamo, A. Cisternino, all U of Pisa. We attempt there to discover the pattern underlying the large numer of different client-server architectures for concurrent (distributed) WEB applications. The goal is to make such a structure explicit by defining precise high-level models which can be refined to the major current implementations of WEB application architectures so that as a result their differences can be precisely analyzed, i.e. stated and hopefully evaluated and classified. To support the modelling of the various agents involved (for the components constituting the browser---like launcher, netreader, parser, ECMAscript interpreter, renderer, etc.---and the server) we have defined a flexible abstract ambient concept in terms of Abstract State Machines. It uniformly captures the common static and dynamic disciplines for isolating states and concurrent behaviour as well as for sharing memory. We are completing an ASM interpreter for ECAMScript programs, thus rigorously defining their dynamic semantics. Currently we are modelling the various browser and server components.
Imprint Privacy policy « This page (revision-10) was last updated on Thursday, 6. October 2011, 10:24 by Kaiser Dana
  • operated by