Web Applications Development by Formal Refinement Approach

다국어 초록 (Multilingual Abstract)

This paper proposes a formal approach for development of safe web applications. This approach involves the generation of a web application on both sides (users’ side (Ajax) and the web service side (Composition)) from formal specifications. First, we describe the application using symbolic notations then an automatic process is applied in order to translate them into formal specifications B. Using the B refinement process, a set of refinement rules, operating on data and operations. These phases of refinement are intended to make the final specifications close to the implementation language chosen so that the last coding phase becomes intuitive and natural. In general, the process of refinement is a manual task, relatively expensive; with character generic of these refinement rules, an assisted refinement tool can be achieved, enabling reduction the cost of the refining process. Finally, in the case study, we have developed a complete application (Travel Agency) in order to show the benefits of our approach.

목차 (Table of Contents)

• Abstract
• 1. Introduction
• 1.1. AJAX (Asynchronous JavaScript and XML)
• 1.2. Convergence of Web 2.0 and SOA
• 2. Related Work
• 2.1. The Transition Systems LTSA-WS
• 2.2. Process Algebras (ASDL)
• 2.3. Temporal Theories
• 3. The Proposed Approach
• 3.1. Models Used
• 3.2. Processes and Tools of Our Approach
• 3.3. Development Practices for Validation
• 4. Case Study: Build the Complete Application (Travel Agency)
• 4.1. Preparing the Environment
• 4.2. BPEL4SW Process
• 4.3. Create the Endpoint Interface (JAVA)
• 5. Conclusions and Future Work
• References