We propose a behavioral model of web applications, called ‘Web Automata’, based on the MVC(Model View and Control) model architecture. The MVC model architecture separates design concerns to improve the overall software quality. Since the architecture only defines the abstract outline of the configurations, there is a broad gap between web application codes and their behavioral properties. We model the behavior of a web application with dynamic contents as an extension of links-automata proposed by Stotts et al. with the constraint-logic feature of the Extended Finite Automata, EFA for short, by Sarna-Starosa and Ramakrishna. As extended in the model checking techniques, we view a web application as a data-independent system, where variables appearing in link parameters and form inputs are attached to each page. We present a testing framework for web applications based on the behavioral model. We show it provides reasonable testing criteria for web applications when we focus on the loops in the Web automaton model. We apply our framework to the Jakarta Struts by presenting the extended configuration schema of Struts in order to describe the web automata directly.
This paper proposes Proxy Certificate Trust List (PCTL) to efficiently record trusted delegation trace for grid computing. Our solution based on PCTL provides functions as follows: (1) On-demand inquiry service for real time delegation information of grid computing underway; (2) Lightweight mutual authentication that is beneficial for proxy nodes with short life span or limited computation power as wireless devices in mobile computing; (3) A kind of revocation mechanism for proxy certificates to improve the security and availability of grid computing.