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

Xiaoping Jia, Christopher Jones

2012

Abstract

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.

References

  1. Alencar, A. J. and Goguen, J. A. (1991). OOZE: An object oriented Z environment. In ECOOP'91, pages 180- 199.
  2. Ambler, S. (2009). Agile model driven development (AMDD): The key to scaling agile software development. http://www.agilemodeling.com/essays/amdd.htm/.
  3. Bohlen, M., Brandon, C., et al. (2003). AndroMDA. http://www.andromda.org/docs/index.html.
  4. Cáceres, P., Daz, F., et al. (2004). Integrating an Agile Process in a Model Driven Architecture.
  5. Cáceres, P., Marcos, E., et al. (2003). A mda-based approach for web information system development. In Proceedings of Workshop in Software Model Engineering.
  6. Clarke, E. M., Wing, J. M., et al. (1996). Formal methods: state of the art and future directions. ACM Computing Surveys, 28:626-643.
  7. Convergence Modelling LLC. (2011). http://www.canappi.com/.
  8. Cusack, E. and Rafsanjani, G.-H. B. (1992). Zest. In Object Orientation in Z, Workshops in Computing, pages 113-126. Springer.
  9. Ellis, M. A. and Stroustrup, B. (1990). The Annotated C++ Reference Manual. Addison Wesley.
  10. France, R. B., Ghosh, S., Dinh-Trong, T., and Solberg, A. (2006). Model-driven development using UML 2.0: Promises and pitfalls. Computer, 39(2):59-66.
  11. Gogolla, M., Büttner, F., et al. (2007). USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming, 69:27-34.
  12. Gosling, J., Joy, B., et al. (2000). The Java Language Specification, 2nd Edition. Addison Wesley.
  13. Hamilton, D., Covington, R., et al. (1995). Experiences in applying formal methods to the analysis of software and system requirements. Industrial-Strength Formal Specification Techniques, Workshop on, 0:30.
  14. Hammel, Z., Visser, E., et al. (2010). mobl: the new language of the mobile web. http://www.mobl-lang.org/.
  15. Henderson-Sellers, B. (2005). UML - the Good, the Bad or the Ugly? Perspectives from a panel of experts. Software and System Modeling, 4(1):4-13.
  16. Jackson, D. (2002). Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol., 11(2):256-290.
  17. Jia, X. et al. (2007). Executable visual software modeling:the zoom approach. Software Quality Journal, 15(1).
  18. Jia, X., Liu, H., et al. (2008). A model transformation framework for model driven engineering. In MSVVEIS-2008, Barcelona, Spain.
  19. Kennedy, K., Koelbel, C., et al. (2004). Defining and measuring the productivity of programming languages. The International Journal of High Performance Computing Applications, (18)4, Winter, 2004:441-448.
  20. Kernighan, B. and Ritchie, D. (1988). The C Programming Language, 2nd Edition. Prentice Hall.
  21. Kuhlmann, M. and Gogolla, M. (2008). Modeling and Validating Mondex Scenarios Described in UML and OCL with USE. Formal Aspects of Computing, 20(1):79-100.
  22. Lano, K. (1991). Z++, an object-orientated extension to z. In Proceedings of the Fifth Annual Z User Meeting on Z User Workshop, pages 151-172, London, UK. Springer-Verlag.
  23. Liu, H. and Jia, X. (2010). Model transformation using a simplified metamodel. In Journal of Software Engineering and Applications, pages 653-660.
  24. Lundell, B., Lings, B., et al. (2006). UML model interchange in heterogeneous tool environments: An analysis of adoptions of XMI 2. In MoDELS 2006, Genova, Italy, pages 619-630.
  25. Margaria, T. and Steffen, B. (2008). Agile it: Thinking in user-centric models. In Margaria, T. and Steffen, B., editors, ISoLA, volume 17 of Communications in Computer and Information Science, pages 490-502. Springer.
  26. Meira, S. R. L. and Cavalcanti, A. L. C. (1990). Modular Object-Oriented Z Specifications. In Nicholls, J., editor, Z User Workshop, Workshops in Computing, pages 173 - 192, Oxford - UK. Springer-Verlag.
  27. Mellor, S. J. and Balcer, M. J. (2002). Executable UML: A Foundation for Model-Driven Architectures. AddisonWesley Longman Publishing Co., Inc., Boston, MA, USA. Foreword By-Ivar Jacoboson.
  28. Object Management Group (2003a). http://www.omg.org/mda.
  29. Object Management Group (2003b). UML 2.0 OCL. http://www.omg.org/docs/ad/03-01-07.pdf.
  30. Object Management Group (2006). OMG's MetaObject Facility. http://www.omg.org/spec/MOF/2.0/PDF/.
  31. Object Management Group (2007). model interchange (XMI), version http://www.omg.org/spec/XMI/2.1.1/.
  32. Smith, G. (2012). Object-Z. http://itee.uq.edu.au/ smith/objectz.html.
  33. The ATL Team (2005). ATL Transformation Language. http://eclipse.org/atl/.
  34. The GMT Team (2005). GMT Project. http://www.eclipse.org/gmt/.
  35. Visser, E. et al. (2010). WebDSL. http://webdsl.org/home.
  36. xUML Compiler (2009). xUML Compiler- Java Model compiler Based on “Executable UML” profile. http://code.google.com/p/xuml-compiler/.
Download


Paper Citation


in Harvard Style

Jia X. and Jones C. (2012). AXIOM: A Model-driven Approach to Cross-platform Application Development . In Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT, ISBN 978-989-8565-19-8, pages 24-33. DOI: 10.5220/0004022500240033


in Bibtex Style

@conference{icsoft12,
author={Xiaoping Jia and Christopher Jones},
title={AXIOM: A Model-driven Approach to Cross-platform Application Development},
booktitle={Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,},
year={2012},
pages={24-33},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004022500240033},
isbn={978-989-8565-19-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Conference on Software Paradigm Trends - Volume 1: ICSOFT,
TI - AXIOM: A Model-driven Approach to Cross-platform Application Development
SN - 978-989-8565-19-8
AU - Jia X.
AU - Jones C.
PY - 2012
SP - 24
EP - 33
DO - 10.5220/0004022500240033