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

被引：0

作者：

Powell, Courtney ^{[1
]}

Akama, Kiyoshi

Nakamura, Keisuke ^{[1
]}

Koike, Hidekatsu

机构：

[1] Hokkaido Univ, Grad Sch Informat Sci & Technol, Sapporo, Hokkaido 0690811, Japan

来源：

PROCEEDING OF THE 10TH INTERNATIONAL CONFERENCE ON INTELLIGENT TECHNOLOGIES | 2009年

关键词：

rich internet applications; equivalent transformation; behavior modelling; message passing interface; program synthesis; correctness by construction;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

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.

引用

页码：121 / 130

页数：10

共 50 条

[1] Behavioral Service Graphs: A formal data-driven approach for prompt investigation of enterprise and internet-wide infections
Bou-Harb, Elias
Scanlon, Mark
DIGITAL INVESTIGATION, 2017, 20 : S47 - S55
[2] Data Mining and Data-Driven Modelling in Engineering Geology Applications
Doglioni, Angelo
Galeandro, Annalisa
Simeone, Vincenzo
ENGINEERING GEOLOGY FOR SOCIETY AND TERRITORY, VOL 5: URBAN GEOLOGY, SUSTAINABLE PLANNING AND LANDSCAPE EXPLOITATION, 2015, : 647 - 650
[3] Blue Skies: A Methodology for Data-Driven Clear Sky Modelling
Palani, Kartik
Kota, Ramachandra
Azad, Amar Prakash
Arya, Vijay
PROCEEDINGS OF THE TWENTY-SIXTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2017, : 3777 - 3783
[4] Formal Guarantees in Data-Driven Model Identification and Control Synthesis
Sadraddini, Sadra
Belta, Calin
HSCC 2018: PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (PART OF CPS WEEK), 2018, : 147 - 156
[5] High level synthesis for data-driven applications
Bergeron, E
Saint-Mleux, X
Feeley, M
David, JP
16TH INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS: SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2005, : 54 - 60
[6] Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns
Menaker, Tom
Zamansky, Anna
van der Linden, Dirk
Kaplun, Dmitry
Sinitica, Aleksandr
Karl, Sabrina
Huber, Ludwig
SEVENTH INTERNATIONAL CONFERENCE ON ANIMAL-COMPUTER INTERACTION, ACI 2020: Embodied Dialogues, 2020,
[7] Data-Driven Activity Prediction: Algorithms, Evaluation Methodology, and Applications
Minor, Bryan
Doppa, Janardhan Rao
Cook, Diane J.
KDD'15: PROCEEDINGS OF THE 21ST ACM SIGKDD INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND DATA MINING, 2015, : 805 - 814
[8] A novel data-driven reduced order modelling methodology for simulation of humid blowout in wet combustion applications
Palulli, Rahul
Zhang, Kai
Dybe, Simeon
Paschereit, Christian Oliver
Duwig, Christophe
ENERGY, 2024, 297
[9] A Behavioral model for rich Internet applications
Comai, Sara
Carughi, Giovanni Toffetti
WEB ENGINEERING, PROCEEDINGS, 2007, 4607 : 364 - +
[10] Editorial: special issue on data-driven modelling methods and their applications
Chan, CW
INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 2003, 34 (14-15) : 731 - 732

← 1 2 3 4 5 →