Science & Engineering Research Support soCiety (SERSC)
In this paper, the authors propose 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, they describe the application using symbolic notations then an automatic process is applied in order to translate the users' 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. Finally, in this paper, they have developed a complete application in order to show the benefits of their approach.