Ivaylo Gochkov Thesis Project

Final Thesis

Topic

Reliable Web Applications: Development of a Web Cube prototype

Final Thesis

Advisor: Dr Wishnu Prasetya
Start date: 15-06-2005
End date: 31-08-2006

Abstract

Web Cube is a server-side abstract and formal programming model for writing web applications. It allows temporal properties critical for the safety of an application to be specified. This thesis describes a prototype implementation of Web Cube. It is implemented in the functional language Haskell. The chosen implementation approach is to translate Web Cube source and specifications to Haskell's component skeletons and WebFunctions? code. An engine supporting automated testing of Web Cube specifications is also provided.