AXIOM: A Model-driven Approach to Cross-platform Application Development

The development and maintenance of mobile applications for multiple platforms is expensive. One approach to reducing this cost is model-driven engineering (MDE). In this paper, we present AXIOM, a model-driven approach for developing cross-platform mobile applications. Our approach uses a domain specific language (DSL) for defining platform-independent models (PIM) of mobile applications. It also defines a multi-phase, customizable transformation process to convert platform-independent models into native applications for target mobile platforms. Our approach could significantly reduce the development cost and increase the product quality of mobile applications. A prototype tool has been developed to demonstrate the feasibility of the approach. The preliminary findings are promising and show significant gains in development productivity.

[1]  Mandayam K. Srivas,et al.  Experiences in applying formal methods to the analysis of software and system requirements , 1995, Proceedings of 1995 IEEE Workshop on Industrial-Strength Formal Specification Techniques.

[2]  Martin Gogolla,et al.  Modeling and validating Mondex scenarios described in UML and OCL with USE , 2007, Formal Aspects of Computing.

[3]  Bjarne Stroustrup,et al.  The Annotated C++ Reference Manual , 1990 .

[4]  Ana Cavalcanti,et al.  Modular Object-oriented Z Specifications , 1990, Z User Workshop.

[5]  Edmund M. Clarke,et al.  Formal Methods: State of the Art and Future Directions Working Group Members , 1996 .

[6]  Joseph A. Goguen,et al.  OOZE: An Object Oriented Z Environment , 1991, ECOOP.

[7]  Xiaoping Jia,et al.  Model Transformation Using a Simplified Metamodel , 2010, J. Softw. Eng. Appl..

[8]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[9]  Paloma Cáceres,et al.  A MDA-Based Approach for Web Information System Development , 2004 .

[10]  José Manuél Gómez-Pérez,et al.  Success Stories , 2019, Exploiting Linked Data and Knowledge Graphs in Large Organisations.

[11]  Esperanza Marcos,et al.  Integrating an Agile Process in a Model Driven Architecture , 2004, GI Jahrestagung.

[12]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[13]  Brian Henderson-Sellers,et al.  UML – the Good, the Bad or the Ugly? Perspectives from a panel of experts , 2005, Software & Systems Modeling.

[14]  Tiziana Margaria,et al.  Agile IT: Thinking in User-Centric Models , 2008, ISoLA.

[15]  Adam Steele,et al.  Executable visual software modeling—the ZOOM approach , 2007, Software Quality Journal.

[16]  Eelco Visser,et al.  Mobl: the new language of the mobile web , 2011, OOPSLA Companion.

[17]  Scott W. Ambler.  Agile Software Development , 2010, Encyclopedia of Software Engineering.

[18]  Juan Manuel Fernández Peña,et al.  Unified Modeling Language Unified Modeling Language , 2006 .

[19]  Bjarne Stroustrup,et al.  The C++ programming language (2nd ed.) , 1991 .

[20]  Daniel Jackson,et al.  Alloy: a lightweight object modelling notation , 2002, TSEM.

[21]  Ken Kennedy,et al.  Defining and Measuring the Productivity of Programming Languages , 2004, Int. J. High Perform. Comput. Appl..

[22]  Björn Lundell,et al.  UML model interchange in heterogeneous tool environments: an analysis of adoptions of XMI 2 , 2006, MoDELS'06.

[23]  Guy L. Steele,et al.  The Java Language Specification , 1996 .

[24]  Adam Steele,et al.  A Model Transformation Framework for Model Driven Engineering , 2008, MSVVEIS.

[25]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[26]  Robert B. France,et al.  Model-driven development using UML 2.0: promises and pitfalls , 2006, Computer.

[27]  Kevin Lano.  Z++, An Object-orientated Extension to Z , 1990, Z User Workshop.