---
Topics index
Changes log
Twiki main
Twiki docs
User guide
Formatting rules
(o)
Center
Home
Courses
People
Projects
Page
Edit Page
Rename Page
Attach File
Printable
Wiki Source
More ...
Web
Recent Changes
Notify Service
News
Page Index
Search
More ...
Wiki
About TWiki
Text Formatting
Registration
Change Password
Reset Password
Users
Groups
Log In
or
Register
Web Cube
WP
Web Cube is a framework to develop web applications/services implemented in Haskell. The framework is based on a formalism called [[http://www.amazon.com/Discipline-Multiprogramming-Programming-Distributed-Applications/dp/0387952063/sr=8-1/qid=1162200330/ref=sr_1_1/002-4979195-4573630?ie=UTF8&s=books][Seuss]] by Misra. It's a formalism for distributed programs, supporting simple temporal reasoning (subset of LTL). Web Cube main features are: * concurrency is handled abstractly (Seuss is lock free) * validation by automated testing and run-time verification * black box validation (we did a bit of major tweaking on Seuss logic to get the black box thing right) More on Web Cube: * [[http://www.cs.uu.nl/~wishnu/research/projects/unity/papers.html][Papers]] * [[http://www.cs.uu.nl/~wishnu/research/projects/unity/download.html][Download]]
