A Formal Methodology for Behavioral Modelling and Synthesis of Data-driven Rich Internet Applications

Rich Internet Applications (RIAs) seek to combine the best of traditional desktop applications with the best of the Web. However, due to the complexity of these applications, traditional Web Application methodologies and techniques are proving inadequate to correctly model and implement them in a systematic way. In this paper we outline a stepwise incremental equivalent transformation-based methodology for systematically constructing behavioral models for RIAs and also for synthesizing implementation-level code from these models. We also introduce a composite RIA behavioral model and demonstrate its efficacy by using it to model a Bank Teller RIA; and extending it to model a GIS application.