Ivaylo Gochkov Thesis Project
Reliable Web Applications: Development of a Web Cube prototype
Advisor: Dr Wishnu Prasetya
Start date: 15-06-2005
End date: 31-08-2006
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.