Towards a Formal Behavioral Model for 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 properly model and implement them in a systematic way. In this paper we outline an equivalent transformation-based method for constructing a model for RIAs. This model provides some of the essential behavioral semantics of RIAs with a view towards facilitating simple and intuitive mapping of appropriate technologies to the model. Keywordsrich internet applications; web applications; equivalent transformation; formal methods; modelling;