The Jasper Framework: Towards a Platform Independent, Formal Treatment of Web Programming
This work addresses the problem of platform dependency and lack of formal methods in web programming for developers, though it appears incremental as it builds on existing concepts.
The paper introduces the Jasper framework, which enables platform-independent web application development and supports formal verification, demonstrating its implementation across multiple platforms and a sample application called Jasper Music Store.
This paper introduces Jasper, a web programming framework which allows web applications to be developed in an essentially platform indepedent manner and which is also suited to a formal treatment. It outlines Jasper conceptually and shows how Jasper is implemented on several commonplace platforms. It also introduces the Jasper Music Store, a web application powered by Jasper and implemented on each of these platforms. And it briefly describes a formal treatment and outlines the tools and languages planned that will allow this treatment to be automated.