Title

Verily: A Web Framework For Creating More Reasonable Web Applications

Keywords

Method router response; Model view controller; Verily framework; Web frameworks

Abstract

The complexity of web application construction is increasing at an astounding rate. Developing for the web typically crosses multiple application tiers in a variety of languages, which can result in disjoint code bases. This lack of standardization introduces new challenges for reasoning. In this paper we introduce Verily, a new web framework for Java that supports the development of verifiable web applications. Rather than requiring that programs be verified in separate a posteriori analysis, Verily supports construction via a series of Recipes, which are properties of an application that are enforced at compile time. In addition to introducing the Verily framework, we also present two Recipes: the Core Recipe, an application architecture for web applications designed to replace traditional server-side Model View Controller, and the Global Mutable State Recipe, which enables developers to use sessions within their applications without resorting to the use of unrestricted global mutable state. Copyright © 2014 ACM.

Publication Date

1-1-2014

Publication Title

36th International Conference on Software Engineering, ICSE Companion 2014 - Proceedings

Number of Pages

560-563

Document Type

Article; Proceedings Paper

Personal Identifier

scopus

DOI Link

https://doi.org/10.1145/2591062.2591069

Socpus ID

84903598222 (Scopus)

Source API URL

https://api.elsevier.com/content/abstract/scopus_id/84903598222

This document is currently not available here.

Share

COinS