Tools for Modeling and Generating Safe Interface Interactions in Web Applications

Modern Web applications that embed sophisticated user interfaces and business logic have rendered the original interaction paradigm of the Web obsolete. In previous work, we have advocated a paradigm shift from static content pages that are browsed by hyperlinks to a state-based model where back and forward navigation is replaced by a full-fledged interactive application paradigm, featuring undo and redo capabilities, with support for exception management policies and transactional properties. In this demonstration, we present an editor and code generator designed to build applications based on our approach.