DSpace Repository

Formal Development of Mobile Applications based on Migrant Objects (MAMOs)

Show simple item record

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


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account