Domain-Specific Modelling and Model Transformation for Google Android applications
Android is a software stack for mobile devices that includes an operating system, middleware and key applications. The Android SDK provides the tools and APIs to develop applications that run on Android-powered devices such as the HTC Magic smartphone.
Domain-Specific Modelling (DSM) and Model Transformation (MT) have the potential to support rapid development and synthesis of new applications on Android.
This thesis investigates the power and limitations of DSM and MT. As an example challenge, the automatic synthesis of Android applications is only industrially relevant if debugging and testing is supported. The thesis will build some demonstrator applications and generalize from them.
This will be based on
preliminary work by
Raphael Mannadiar.