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（万方平台首次上网日期，不代表论文的发表时间）