Summary: Specification and Verification of Web
Applications in Rewriting Logic
Mar´ia Alpuente1
, Demis Ballis2
, and Daniel Romero1
1
Universidad Polit´ecnica de Valencia,
Camino de Vera s/n, Apdo 22012, 46071 Valencia, Spain
{alpuente,dromero}@dsic.upv.es
2
Dipartimento di Matematica e Informatica,
Via delle Scienze 206, 33100 Udine, Italy
demis@dimi.uniud.it
Abstract. This paper presents a Rewriting Logic framework that for-
malizes the interactions between Web servers and Web browsers through
a communicating protocol abstracting HTTP. The proposed framework
includes a scripting language that is powerful enough to model the dy-
namics of complex Web applications by encompassing the main fea-
tures of the most popular Web scripting languages (e.g. PHP, ASP,
Java Servlets). We also provide a detailed characterization of browser

Source: Alpuente, María - Departamento de Sistemas Informáticos y Computación, Universitat Politècnica de València

Collections: Computer Technologies and Information Sciences