A Formal Methodology for Behavioral Modelling and Synthesis of Data-driven Rich Intemet Applications
Rich onternet 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.
rich internet applications equivalent transformation behavior modelling message passing interface program synthesis correctness by construction
Courtney Powell Kiyoshi Akama Keisuke Nakamura Hidekatsu Koike
Graduate School of Information Science and Technology, Hokkaido University, Kita 11 Nishi 5, Sapporo Information Initiative Center,Hokkaido University,Kita 11 Nishi 5, Sapporo, 060-0811, Japan Graduate School of Information Science and Technology, Hokkaido University,Kita 11 Nishi 5,Sapporo,0 Sapporo Gakuin University 11-banchi Bunkyodai, Ebetsu Hokkaido 069-8555,Japan
国际会议
The 10th International Conference on Intelligent Technologies(第十届智慧科技国际会议 InTech09)
桂林
英文
121-130
2009-12-12(万方平台首次上网日期,不代表论文的发表时间)