Android Executable Modeling: Beyond Android Programming
Résumé
This paper demonstrates through an example howa modeling effort can substitute to a programming effort so that amain part of the code of apps for smart devices can be replaced bya model. We focus on the behavioral model of an application andthen instrument its direct execution on an Android device thanksto the PauWare API. The proposed installation of PauWare onAndroid OS sets up the foundation for a whole range of mobApps,provided they are modeled with the statechart formalism.