Automatic Generation of Multi Platform Web Map Mobile Applications.

TL;DR: This paper proposes a common architecture and an unified development process implementing portable applications based on mobile services, based on the ModelView-Control design pattern, and provides a framework that generates the code starting from a formal algebraic specification.

Abstract: The development of current mobile applications is a challenging task because mobile devices are characterized by a variety of advanced services respect standard computers. In particular, these services as an example Map visualization, Web access, GPS localization, Camera, Accelerometer, and so on, interact with the applications in different ways, depending on the used mobile device platform. These challenges are further increased by the fact that each platform needs a different development process and provides a different framework to implement these mobile applications. In this paper we propose a common architecture and an unified development process implementing portable applications based on mobile services. This architecture is based on the ModelView-Control design pattern and provides a framework that generates the code starting from a formal algebraic specification. This specification integrates different formalisms such as LTL formulae and functional programming, permitting the description of structure and dynamic aspects of a mobile application. Moreover, we show how the proposed framework allows to generate Web map applications integrating different mobile services. KeywordsMobile Computing; Platform-Independence; Formal Specification; Web Map Applications.