Model Driven Reactive Applications

TL;DR

This paper introduces a domain-specific language for reactive applications, using class and state machine models with semantics defined through transformation to a calculus called Widget, demonstrated via a mobile phone example.

Contribution

It proposes a novel model-driven approach with a specific language for reactive applications, integrating structure and behavior modeling with formal semantics.

Findings

Defined a new domain-specific language for rapps

Provided semantics via transformation to Widget calculus

Demonstrated approach with a mobile phone example

Abstract

Reactive applications (rapps) are of interest because of the explosion of mobile, tablet and web-based platforms. The complexity and proliferation of implementation technologies makes it attractive to use model-driven techniques to develop rapp systems. This article proposes a domain specific language for rapps consisting of stereotyped class models for the structure of the application and state machine models for the application behaviour. The models are given a semantics in terms of a transformation to a calculus called Widget. The languages are introduced using an example application for mobile phones.