Toward IFVM Virtual Machine: A Model Driven IFML Interpretation

Sara Gotti, Samir Mbarki

Abstract

UML is the first international modeling language standardized since 1997. It aims at providing a standard way to visualize the design of a system, but it can't model the complex design of user interfaces and interactions. However, according to MDA approach, it is necessary to apply the concept of abstract models to user interfaces too. IFML is the OMG adopted (in March 2013) standard Interaction Flow Modeling Language designed for abstractly expressing the content, user interaction and control behaviour of the software applications front-end. IFML is a platform independent language, it has been designed with an executable semantic and it can be mapped easily into executable applications for various platforms and devices. In this article we present an approach to execute the IFML. We introduce a IFVM virtual machine which translate the IFML models into bytecode that will be interpreted by the java virtual machine.

References

  1. OMG, “OMG Unified Modeling Language (OMG UML)”, Superstructure, Version 2.0, http://www. omg.org/spec/UML/2.0, 2005.
  2. OMG, “Semantics of a Foundational Subset for Executable UML Models (fUML)”, v1.0, 2011.
  3. OMG, “Action Language for Foundational UML (Alf)”. http://www.omg.org/spec/ALF/, 2013.
  4. Knapp, A., and Merz, S., “Model checking and code generation for UML state machines and collaborations”, Proc. 5th Wsh. Tools for System Design and Verification, 2002, p. 59-64.
  5. Fredriksen, K.,”UMLexe-UML virtual machine: a framework for model execution”, 2005.
  6. BRAMBILLA, Marco et FRATERNALI, Piero. Interaction Flow Modeling Language: ModelDriven UI Engineering of Web and Mobile Apps with IFML. Morgan Kaufmann, 2014.
  7. OMG, MDA. “MDA Guide Version 2.0.” ,2015.
  8. OMG, Interaction Flow Modeling Language. Version 1.0. IFML (2015), available at http://www.omg.org/ spec/IFML/1.0/
  9. WebRatio: http://www.webml.org (2008).
  10. J. Chanda, A. Kanjilal, and S. Sengupta, “UML-compiler: a framework for syntactic and semantic verification ofUML diagrams”. Distributed Computing and Internet Technology. Springer Berlin Heidelberg, 2010, p. 194-205.
Download


Paper Citation


in Harvard Style

Gotti S. and Mbarki S. (2016). Toward IFVM Virtual Machine: A Model Driven IFML Interpretation . In Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016) ISBN 978-989-758-194-6, pages 220-225. DOI: 10.5220/0005986102200225


in Bibtex Style

@conference{icsoft-ea16,
author={Sara Gotti and Samir Mbarki},
title={Toward IFVM Virtual Machine: A Model Driven IFML Interpretation},
booktitle={Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)},
year={2016},
pages={220-225},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005986102200225},
isbn={978-989-758-194-6},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 11th International Joint Conference on Software Technologies - Volume 1: ICSOFT-EA, (ICSOFT 2016)
TI - Toward IFVM Virtual Machine: A Model Driven IFML Interpretation
SN - 978-989-758-194-6
AU - Gotti S.
AU - Mbarki S.
PY - 2016
SP - 220
EP - 225
DO - 10.5220/0005986102200225