Afficher la notice abrégée
dc.contributor.author |
Bourahla, Aissa ElMahdi |
|
dc.date.accessioned |
2020-11-26T14:08:54Z |
|
dc.date.available |
2020-11-26T14:08:54Z |
|
dc.date.issued |
2020 |
|
dc.identifier.uri |
http://dspace.univ-msila.dz:8080//xmlui/handle/123456789/21314 |
|
dc.description.abstract |
Software engineering principles are very required for the development of mobile applications,
which are necessary for many life applications. In this work, we present a
development process based on TGG and Xpand transformations of UML models, which
describe mobile applications based on migrant objects to Mobile Maude language. The
generated rewriting theories will be executed for simulation. State transition models
may be built during simulation, which will be veri ed against LTL properties with
the technique of model-checking. The veri ed model of mobile application based on
migrant objects can be used to generate Android applications to be deployed on mobile
devices. |
en_US |
dc.language.iso |
en |
en_US |
dc.subject |
Model-Driven Architecture, TGG (Triple Graph Grammars) Model-to- Model Transformation, Xpand/Xtend Model-to-Text Transformation, Mobile Application, Migrant Objects, Rewriting Logic, Mobile Maude, Maude LTL Model Checker. |
en_US |
dc.title |
Formal Development of Mobile Applications based on Migrant Objects (MAMOs) |
en_US |
dc.type |
Thesis |
en_US |
Fichier(s) constituant ce document
Ce document figure dans la(les) collection(s) suivante(s)
Afficher la notice abrégée