Android Executable Modeling: Beyond Android Programming

摘要

This paper demonstrates through an example how a modeling effort can substitute to a programming effort so that a main part of the code of apps for smart devices can be replaced by a model. We focus on the behavioral model of an application and then instrument its direct execution on an Android device thanks to the PauWare API. The proposed installation of PauWare on Android OS sets up the foundation for a whole range of mobApps, provided they are modeled with the statechart formalism.