Browsing by Author "Seridi Bouchelaghem, Hassina"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    Amélioration des modèles de variabilité dans les lignes de produits logiciels pour une meilleure adoption
    (université Oum-El-Bouaghi, 2018) Araar, Imad Eddine; Seridi Bouchelaghem, Hassina
    Pendant de nombreuses décennies, plusieurs organisations ont lancé des initiatives de réutilisation des logiciels pour améliorer leur productivité. Les lignes de produits logiciels (LdP) ont abordé ce problème en organisant le développement de logiciels autour d'un ensemble de fonctionnalités qui sont partagées par un ensemble de produits. Pour accélérer la migration d'une organisation vers une solution LdP, les anciens systèmes déjà développés dans cette organisation constituent un appui fort. Afin d'exploiter les produits logiciels existants pour la construction d'une nouvelle LdP, les fonctionnalitésqui composent chacun des produits utilisés doivent être spécifiées en premier lieu. Pour ce faire, le code source des systèmes analysés représente la source la plus fiable qui capitalise sur les connaissances des experts impliqués dans le développement de ces systèmes. Il est inévitable, cependant, que les systèmes développés dans une organisation soient créés par différent programmeurs, utilisant éventuellement différents langages et techniques de programmation. Bref, on se trouve confronté à un problème d'hétérogénéité. Dans cette thèse, nous évaluons l'efficacité d'une nouvelle approche d'extraction de LdP à partir du code source des systèmes orientés objet (OO). Notre première contribution concerne l'extraction de la liste de fonctionnalités implémentées dans un système existant utilisant des techniques d'apprentissage automatique, tout en minimisant la perte d'information. Notre deuxième contribution consiste à identifier les variabilités et les commonalités dans l'ensemble des fonctionnalités extraites, tout en adressant le problème d'hétérogénéité, afin de configurer ces fonctionnalités en une LdP. L'évaluation de notre approche proposée en utilisant différentes applications Java open-source a révélé des résultats encourageants
  • 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