Egon Boerger#
Egon Boerger attended the Interdisciplinary Conference on Earth & Cosmic Sciences and Informatics in Graz which was organized in cooperation with the Journal of Universal Computer Science
as a member of the J.UCS editorial board.
The meeting also provided an opportunity for discussions with members of the Academia Europea Informatics and Earth & Cosmic Sciences sections.
Egon Boerger in Graz
Egon Boerger's lecture at AIECS
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.
M. Margenstern, E. Boerger, K. Apt, B. Aichernig
M. Margenstern, E. Boerger, K. Apt, B. Aichernig
Sierd Cloetingh, Maurice Margenstern, Hermann Maurer, Mrs. Boerger, Egon Boerger, Peter Piffl-Percevic
Any further pages in alphabetic order of their title as created by you.
#
Just click at "Create new page", then type a short title and click OK, then add information on the empty page presented to you (including maybe a picture from your harddisk or a pdf-file by using the "Upload" Button) and finally click at "Save".
...no Data available yet!
