Quan Liang Chen

EXTENSIBLE SYNTAX-ORIENTED VERIFIER WITH CONTEXT-DEPENDENT RECURSIVE VERIFICATION

To develop Web applications of high quality, it is important to apply efficient frameworks to standardize the process of development in projects, or apply useful design patterns to produce the program code that can easily be enhanced. In addition to these efforts, we have to check the programs to see whether they keep various kinds of rules such as verification items for security which are common for all kinds of Web applications, and verification items for coding styles or code conventions which pertain to each project. This paper proposes a verification method for an extensible syntax-oriented verifier, and describes the implementation of its prototype system, SyntaxVerifier. SyntaxVerifier makes it possible to detect syntactical objects based on their syntactic contexts. It realizes a context-dependent recursive verification which makes it easy to dynamically trace a syntax tree in a verification process itself.

Customizable Functional Web Components for Visual Web Programming

This paper presents high-level functional Web components,which conventional development environments for Web applications have not yet supported. The high-level functional Web components sum up various kinds of data in two dimensions as in Microsoft Excel. These components reduce the amount of code to be written by developers greatly. The paper also describes the system that implements these high-level functional components as visual Web components. This system assists in the development of Web applications based on a page-transition framework that regards a Web application as a sequence of Web page transitions.By using visual Web components, the system makes it easier to write actions executed when a Web page transfers to another.

Automatic generation of web applications from visual high-level functional web components

This paper presents high-level functional Web components such as frames, framesets, and pivot tables, which conventional development environments for Web applications have not yet supported. Frameset Web components provide several editing facilities such as adding, deleting, changing, and nesting of framesets to make it easier to develop Web applications that use frame facilities. Pivot table Web components sum up various kinds of data in two dimensions. They reduce the amount of code to be written by developers greatly. The paper also describes the system that implements these high-level functional components as visual Web components. This system assists designers in the development of Web applications based on the page-transition framework that models a Web application as a set of Web page transitions, and by using visual Web components, makes it easier to write processes to be executed when a Web page transfers to another.