Browsing by Author "Rapporteur: BOURAHLA, MUSTAPHA"
Now showing 1 - 4 of 4
Results Per Page
Sort Options
Item Open Access Développement d'une ontologie avec Protégé : (Ontologie pour la branche Carburant de NAFTAL)(University of M'sila, 2011-06-10) BEN AZI, RAHMA; Rapporteur: BOURAHLA, MUSTAPHAL'ontologie est un objet informatique qui résulte d'une modélisation des connaissances d'un domaine particulier et qui a pour objectif de répondre à un problème spécifique. L'objectif essentiel de ce travail est de construire une ontologie dans le domaine des hydrocarbures pour NAFTALItem Open Access Outil d'aide à la localisation des erreurs dans les modèles PRISM(University of M'sila, 2016-06-10) Larbaoui, Lotfi; Rapporteur: BOURAHLA, MUSTAPHADans ce mémoire, nous proposons un outil d'aide ä la localisation des erreurs qui apparaissent lors de la vérification de systemes probabilistes en utilisant la technique du model checking probabiliste avec l'outil PRISM. Le model checking probabiliste est une technique de vérification qui consiste ä déterminer si un modele probabiliste M vérifie une propriété donnée. Les modéles sont décrits par des systémes de transitions tandis que la logique temporelle est utilisée comme langage de spécification des propriété . Ce mémoire aborde pour la premiere fois une tåche du vérification totalement automatique des modéle PRISM , pour lequel un contreexemple est disponible . Nous présentons les résultats des premiéres exprérimentations qui sont encourageants.Item Open Access Système basé ontologie pour les services Cloud Computing : IaaS (Infrastructure As A Service)(University of M'sila, 2015-06-10) OUDINA, Zineb; Rapporteur: BOURAHLA, MUSTAPHARésumé : Notre projet d'une faqon générale s'inscrit dans le domaine du CIC Computing et touche particuliérement son modéle le plus important qui est 1'1± (Infrasfructure As a Services), å travers lequel nous étions appelé concevoir développer une ontologie de domaine du Cloud Computing par le biais de l'éditeur ontologies PROTEGE, cette ontologie réunit les principaux services que peut o modéle laaS. Par la suite nous étions amener å présenter ces services proposés l'aide d' portail web qui permet de visualiser un ensemble de pavés å travers lesquels utilisateurs ont la possibilité de consulter, interroger ainsi que récupérer le coat de le choix.Item Open Access Transformation autmatique de SWRL vers PROLOG en utilisant XSLT(University of M'sila, 2012-06-10) Bennouioua, Messaouda; Rapporteur: BOURAHLA, MUSTAPHAAfin de faciliter la transformation automatique et le raisonnement des ontologies enrichie par des règles SWRL avec prolog, nous proposons une solution à ce problème par ensemble des règles de transformation, ces régles fait la transformation automatique de syntaxe SWRL vers le prolog.