Browsing by Author "Mérouani, Hamza"

Now showing 1 - 3 of 3
  • No Thumbnail Available
    Item
    A Graphical Environment for Petri net Analysis
    (Univérsité Oum El Bouaghi, 2020) Deliou, Abderrahman; Mérouani, Hamza
    Petri net is a very powerful graphical modeling tool that respond fast, particularly in the research and development. That tool can used to describe a system graphically no matter what their domain. With the ease of a Petri net tool, users can view the overall system graphically and edit it with the editor. A Petri net tool can also use to analyze the performance of the system, generate code, simulate the system and perform analysis on it. This is thanks to the solid mathematical basis, the wide range of analysis tools it have, and by its simplicity and ability to represent graphical models. This project focus on: (i) The creation of a two graphical editors for two different types of Petri nets (ordinary and timed), implemented as an Eclipse plug-in, (ii) The transformation of the obtained Petri nets models into the INA/TINA syntax, in order to analyze theme inside a dedicated toolboxes (INA for ordinary Petri nets and TINA for timed Petri nets), using MDE techniques.
  • No Thumbnail Available
    Item
    Un Profil UML/Maude pour les systèmes embarqués
    (Université Oum El Bouaghi, 2019) Djelloul, Maroua; Mérouani, Hamza
    De nos jours, les systèmes embarqués sont devenus de plus en plus très répandus à cause de leur omniprésence dans plusieurs domaines (avionique, automobile, ferroviaire, nucléaire, médicale, etc.). Ces systèmes sont caractérisés par leurs aspects critiques, réactifs et dynamiques très strictes ce qui rend leur conception une tâche très délicate. Pour cette raison le processus de développement des systèmes embarqués doit suivre une démarche rigoureuse basée sur une sémantique formelle pour consolider la description structurelle des composants de ces systèmes et évaluer au plus tôt leur comportement.
  • No Thumbnail Available
    Item
    Validation de la composition des services web à l'aide du langage Maude
    (Université d' Oum El Bouaghi, 2011) Mérouani, Hamza; Seridi Bouchelaghem, Hassina
    Ces dernières années ont vu les services Web se proliférer sur le Web et sont déjà présents dans plusieurs secteurs d'activités. Un des concepts intéressants qu'offre cette technologie, et qui suscite un intérêt considérable dans la communauté des chercheurs, est la possibilité de créer un nouveau service à valeur ajoutée par composition de services Web existants. WS-BPEL (Web Services Business Process Execution Language) ou simplement BPEL, s’est imposé comme le langage standard pour la composition des services Web dans un processus métier. Néanmoins, la sémantique de chacune de ses structures n'étant pas formellement décrite. Cela peut entraîner des inconsistances, des ambigüités et des incomplétudes dans le processus métier développé. Dans ce mémoire, nous proposons une nouvelle approche pour accorder une sémantique formelle à BPEL, en utilisant le langage Maude, qui est basé sur une logique saine dite la logique de réécriture. L'approche est organisée en deux étapes : (1) la translation de code BPEL en une description graphique intermédiaire baptisée UML-S «UML for Service», et (2) la génération d'une spécification Maude à partir de la description semi-formelle UML-S. La spécification formelle obtenue peut aider les concepteurs et les développeurs dans les phases restantes de développement, en particulier, pour valider les modèles de composition des services web décrites en BPEL. Nous avons appliqué notre approche à une étude de cas réelle pour valider notre démarche