Model-based system development for embedded mobile platforms

With the introduction and popularity of wireless devices, the diversity of the platforms has also been increased. There are different platforms and tools from different vendors such as Microsoft, Sun, Nokia, SonyEricsson and many more. Because of the relatively low-level programming interface, software development for Symbian platform is a tiresome and error prone task, whereas .NET CF contains higher level structures. This paper introduces the problem of the software development for incompatible mobile platforms, moreover, it provides a model-driven architecture (MDA) and Domain Specific Modeling Language (DSML)-based solution. We also discuss the relevance of the model-based approach that facilitates a more efficient software development, because the reuse and the generative techniques are key characteristics of model-based computing. In the presented approach, the platform-independence lies in the graph rewriting-driven visual model transformation. This paper illustrates the creation of model compilers on a metamodeling basis by a software package called Visual Modeling and Transformation System (VMTS), which is an n-layer multipurpose modeling and metamodel-based transformation system. A case study is also presented how model compilers can be used to generate user interface handler code for different mobile platforms from the same platform-independent input models

[1]  Hassan Charaf,et al.  A Systematic Approach to Metamodeling Environments and Model Transformation Systems in VMTS , 2005, GraBaTs.

[2]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[3]  L. Lengyel,et al.  Implementing an OCL Compiler for . NET , 2005 .

[4]  Andy Schürr,et al.  Defining and Parsing Visual Languages with Layered Graph Grammars , 1997, J. Vis. Lang. Comput..

[5]  Gabor Karsai,et al.  Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk) , 2003, AGTIVE.

[6]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 3: concurrency, parallelism, and distribution , 1999 .

[7]  Hartmut Ehrig,et al.  Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools , 1999 .

[8]  Dániel Varró,et al.  VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics) , 2003, Software & Systems Modeling.

[9]  Yannis Tzitzikas OCL: Object Constraint Language , 2005 .

[10]  Matthias Riebisch,et al.  Modeling Variability for Object-Oriented Product Lines , 2003, ECOOP Workshops.

[11]  Ricardo J. Machado,et al.  Deriving Software Product Line ’ s Architectural Requirements from Use Cases : an Experimental Approach , 2005 .

[12]  Manfred Nagl,et al.  Applications of Graph Transformations with Industrial Relevance , 2003, Lecture Notes in Computer Science.

[13]  Hassan Charaf,et al.  Metamodel-Based Model Transformation with Aspect-Oriented Constraints , 2006, GRaMoT@GPCE.

[14]  Gabor Karsai,et al.  On the Use of Graph Transformation in the Formal Specification of Model Interpreters , 2003, J. Univers. Comput. Sci..

[15]  Andreas Metzger,et al.  A Systematic Look at Model Transformations , 2005, Model-Driven Software Development.

[16]  Gabor Karsai,et al.  A domain-specific visual language for domain model evolution , 2004, J. Vis. Lang. Comput..

[17]  Gabor Karsai,et al.  Generative programming for embedded systems , 2002, PPDP '02.