Please use this identifier to cite or link to this item: http://dspace.centre-univ-mila.dz/jspui/handle/123456789/3809
Title: Formal Verification and validation of object-aspect oriented models, an approach based on graph transformation.
Authors: Wiam , Kennouche ,Merabet Nouhad
Keywords: object-oriented modeling, aspect-oriented modeling, detailed sequence diagram, graph grammar, Petri nets, MDA, AToMPM, TINA
modélisation orientée objet, modélisation orientée aspect, diagramme séquence détaillé, grammaire de graph, réseaux de pétri, MDA, AToMPM, TINA
Issue Date: Jun-2024
Publisher: university center of abdalhafid boussouf - MILA
Citation: Communication (STIC).
Abstract: Modeling plays a fundamental role in the software development process. When Object-Oriented Modeling (OOM) presents certain limitations, these restrictions pose problems, especially with the rapid advancement of computing. Aspect-oriented modeling (AOM) offers solutions to these problems, although it lacks semantics. This is why formal modeling, which possesses this semantics, is important.In this memory, we propose an approach to transform a detailed object-oriented sequence diagram into a detailed aspect-oriented sequence diagram, based on graph grammar. Then, we propose a method to transform the aspect-oriented sequence diagram into a Petri net. Our work begins with a single Meta modeling for the first approach, using graph grammar to achieve an aspect-oriented model. Then, we apply the second approach to the result of the first one, using two Meta modeling and the transformation, which results in a Petri net, we use the AToMPM modeling tool. Finally, we perform a property analysis with the TINA tool.
Description: La modélisation joue un rôle fondamental dans le processus de développement logiciel. Lorsque la Modélisation Orientée Objet (MOO) présente certaines limites, ces restrictions posent des problèmes, surtout avec l'avancement rapide de l'informatique. La Modélisation Orientée Aspect (MOA) propose des solutions à ces problèmes, bien qu'elle manque de sémantique. C'est pourquoi la modélisation formelle, qui possède cette sémantique, est importante.Dans ce mémoire, nous proposons une approche pour transformer un diagramme de séquence détaillé orienté objet vers un diagramme de séquence détaillé orienté aspect, en se basant sur une grammaire de graphes. Ensuite, nous proposons une méthode pour transformer le diagramme orienté aspect vers un réseau de Petri. Notre travail commence par une seule méta-modélisation pour la première approche, qui utilise une grammaire de graphes pour aboutir à un modèle orienté aspect. Ensuite, nous appliquons la deuxième approche sur le résultat de la première, en utilisant deux méta-modélisations et des règles de transformation, ce qui aboutit à un réseau de Petri, nous utilisons l'outil de modélisation AToMPM. Finalement, nous faisons une analyse de propriété avec l'outil TINA.
URI: http://dspace.centre-univ-mila.dz/jspui/handle/123456789/3809
Appears in Collections:Computer science



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.