Title :
Expressing performance issues in Web application design
Author :
Redouane, Abdesselam
Author_Institution :
Dept. of Comput. Sci., Quebec Univ., Hull, Que., Canada
Abstract :
Server side computation is very important to the end user. It is a performance issue, which is, usually, not well realized. In this paper, we provide a calculus that helps in expressing these performance issues at the design stage. The calculus is a subset of the Pi calculus with enriched timing constructs. We provide a formal syntax, an operational semantics and a bisimulation method. To illustrate the calculus an example from the Web domain is given.
Keywords :
Internet; bisimulation equivalence; client-server systems; pi calculus; programming language semantics; Pi calculus; Web domain; bisimulation method; design stage; end user; formal syntax; operational semantics; performance issues; server side computation; timing constructs; web application design; Application software; Calculus; Cities and towns; Computer science; Concrete; Databases; Delay; Information retrieval; Search engines; Timing;
Conference_Titel :
Cognitive Informatics, 2003. Proceedings. The Second IEEE International Conference on
Print_ISBN :
0-7695-1986-5
DOI :
10.1109/COGINF.2003.1225981
