Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données / NGO Khanh Hieu  

Titre : Aide au développement de systèmes temps réel à l'aide d'un langage graphique flots de données Type de document : thèse Auteurs : NGO Khanh Hieu ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Frédéric BONIOL, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 221 p. Note générale : Remerciements Table des matières Introduction générale Bibliographie Annexes Résumé Mots clés Catégories : LabVIEW (langage de programmation) Systèmes embarqués (informatique) Temps réel (informatique) XML (langage de balisage) Index. décimale : TH-08 Résumé : INTRODUCTION Contexte de l'étude Cycle de développement d'un logiciel Le cycle de vie Logiciel/Matériel Support d'exécution pour le temps réel Méthodes de développement d'un logiciel Validation temporelle des systèmes temps réel DARTS : DU CONCEPT AU CODE Utilisation de la méthode DARTS Implémentation DARTS sur LabVIEW Implémentation DARTS sur les langages de programmation impératifs ARCHITECTURE DARTSVIEW Présentation de la palette DARTSVIEW Palette DARTSVIEW et le premier V du cycle de vie en W Palette DARTSVIEW et le second V du cycle de vie en W CAS D'ETUDE Diagramme DARTSVIEW du système de chauffage Génération de code du système de chauffage d'une maison DARSTVIEW vs les modifications de modèle DARTS du système de chauffage CONCLUSION En ligne : http://theses.edel.univ-poitiers.fr/theses/2008/Ngo-Khanh/2008-Ngo-Khanh-These.p [...]

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007982	TH-08 NGO	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques / Stéphane PAILLER

Titre : Analyse hors ligne d'ordonnançabilité d'applications temps réel comportant des tâches conditionnelles et sporadiques Type de document : thèse Auteurs : Stéphane PAILLER ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marc BOURCERIE, Rapporteur ; Guy VIDAL-NAQUET, Rapporteur ; Michel MERIAUX, Examinateur ; Michel AUGERAUX, Examinateur Importance : 204 p. Note générale : Remerciements Table des matières Liste des figures Références bibliographiques Résumé Mots clés Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Index. décimale : TH-06 Résumé : ETAT DE L'ART Systèmes temps réel Ordonnancement et validation Modélisation d'un système temps réel par réseaux de Pétri CONTRIBUTION Modèle de tâche conditionnelle Applictions munies de tâches conditionnelles

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007192	TH-06 PAI	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature / Karim TRAORE

Titre : Analyse et validation des applications temps réel en présence de transactions : application au pilotage d'un drone miniature Type de document : thèse Auteurs : Karim TRAORE ; Francis COTTET, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Yvon TRINQUET, Rapporteur ; Francis COTTET, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Nicolas NAVET, Examinateur ; Isabelle PUAUT, Examinateur ; Pascal RICHARD, Examinateur Importance : 273 p. Note générale : NNT 2007POIT2261 Remerciements Table des matières Introduction générale Catégories : Informatique Temps réel (informatique) Index. décimale : TH-07 Résumé : ETAT DE L'ART SYSTEMES TEMPS REEL Présentation succinte de l'application drone miniature Généralités sur le temps réel Approche synchrone et approche asynchrone La notion de tâche Exécutif temps réel Normalisation des exécutifs temps réel Ordonnancement en-ligne de systèmes temps réel Validation de systèmes temps réel par analyse de la période d'activité LES MODELES DE TACHES PRENANT EN COMPTE LES DECALAGES D'ACTIVATIONS Le modèles de tâches multiframes Le modèle de tâches à offsets CONTRIBUTION CONTRIBUTION A L'ORDONNANCEMENT DE TZCHS PRENANT EN COMPTE LE DECALAGE Transactions séries Les transactions monotoniques Multiframes et tâches à offsets Récapitulatifs PARTIE PRATIQUE : APPLICATION DRONE MINIATURE Présentation du projet Description expérimentale Fonctionnement général de l'application Définition de l'architecture logicielle de l'application Développement sur OSEK/VDX

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007230	TH-07 TRA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches / Sybille CAFFIAU  

Titre : Approche dirigée par les modèles pour la conception et la validation des applications interactives : une démarche basée sur la modélisation des tâches Type de document : thèse Auteurs : Sybille CAFFIAU ; Patrick GIRARD, Directeur de thèse ; Dominique SCAPIN, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Gaëlle CALVARY, Rapporteur ; Jean VANDERDONCKT, Rapporteur ; Rémi BASTIDE, Examinateur ; Laurent GUITTET, Examinateur Année de publication : 2009 Importance : 309 p Note générale : NNT 2009ESMA0028 Remerciements Résumé Abstract Table des matières Références Annexes Langues : Français (fre) Catégories : Interaction homme-ordinateur Interfaces utilisateur (informatique) Méthodes formelles (informatique) Résumé : INTRODUCTION Introduction générale Organisation de la thèse LA PLACE DES MODELES DANS LA CONCEPTION DES SYSTEMES INTERACTIFS Conception orientée-système La conception centrée utilisateur IDM et IHM ETUDE PRELIMINAIRE ET POSITIONNEMENT DU PROBLEME Choix du modèle de tâches Choix du modèle de dialogue Etude préliminaire : dérivation du modèle de dialogue à partir du modèle de tâches META-MODELISATION DE K-MAD (V2) Etudes de cas Propositions et extensions Passage de K-MAD (v1)à K-MAD (v2) META-MODELISATION DES INTERACTEURS HIERARCHISES Les études de cas Modifications et expression du méta-modèle UTILISATION DES META-MODELES Liens d'association entre modèles de tâches et de dialogue Notion d'équivalence de modèles K-MAD (v2) Les règles de cohérence Exemple de mise en pratique des liens entre les méta-modèles définis CONCLUSIONS ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00461497/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008161	TH-09 CAF	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-09 CAF	CAF	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs / Thi Huyen Chau NGUYEN  

Titre : Approximation des temps de réponse des tâches sporadiques à priorité fixe dans les systèmes monoprocesseurs Type de document : thèse Auteurs : Thi Huyen Chau NGUYEN, Auteur ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Maryline CHETTO, Rapporteur ; Laurent GEORGE, Rapporteur ; Joël GOOSSENS, Examinateur ; Emmanuel GROLLEAU, Examinateur ; Isabelle PUAUT, Examinateur Année de publication : 2010 Importance : 108 p. Note générale : NNT 2010ESMA0014 Remerciements Table des matières Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : INTRODUCTION Définition générale Notations liées aux tâches et à l'ordonnancement Objectifs de l'étude Organisation du mémoire et contributions ORDONNACEMENT A PRIORITE FIXE Tests d'ordonnançabilité Principaux tests d'ordonnançabilité Principales bornes de temps de réponse CONTINUITE ET ORDONNANCABILITE Borne de Sjödin et Hansson Borne de Bini et Baruah Analyse Expérimentations TACHES A ECHEANCES CONTRAINTES AVEC GIGUES D'ACTIVATION Définitions Bornes des pires temps de réponse Analyse pire cas des bornes d'erreur Expérimentations numériques TACHES A ECHEANCES ARBITRAIRES Modèle de tâches et résultats connus Analyse du schéma d'approximation de Fischer et Baruah Version révisée de l'algorithme de Fischer et Baruah Correction du schéma d'approximation CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554265/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008572	TH-10 NGU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 NGU	NGU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée / Nadjet KAMEL

Titre : Un cadre formal générique pour la modélisation d'IHM Multi-modales. Cas de la multi-modalité en entrée Type de document : thèse Auteurs : Nadjet KAMEL ; Yamine AIT AMEUR, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Laurence NIGAY, Rapporteur ; Christophe KOLSKI, Rapporteur ; Habiba DRIAS, Examinateur ; Yamine AIT AMEUR, Examinateur ; Patrick GIRARD, Examinateur ; Zoheir ZEMERLI, Examinateur Importance : 170 p. Note générale : Table des matières Résumé Table des figures Liste des tableaux Introduction générale Bibliographie Index. décimale : TH-06 Résumé : LES INTERFACES HOMME-MACHINE MULTIMODALES Concepts de base Classes de systèmes multimodaux Modèles de développement des systèmes intéractifs Modèles d'architectures pour les systèmes intéractifs Modèles de taches pour le systèmes intéractifs Propriétés des HIM Le système multimodal Matis : étude de cas DEVELOPPEMENTS FORMELS DE SYSTEMES INTERACTIFS Modélisation formelle Vérification formelle Modèles formels Démarche de conception Utilisation des méthodes formelles pour les IHM Méthodologie et hétérogéniété Conclusion Notre proposition UN MODELE CONCEPTUEL FORMEL GENERIQUE POUR LES SYSTEMES INTERACTIFS MULTIMODAUX. CAS DE LA MODALITE EN ENTREE Modélisation de l'intéraction en entrée dans IHM multimodales Application à l'étude de cas Modèle formel pour les propriétés CARE MISE NE OEUVRE DU MODELE GENERIQUE DANS LA TECHNIQUE DE MODEL-CHECKING Mise en oeuvre avec SMV Mise en oeuvre avec Promela/Spin Utilisation de vérificateurs sur modèle pour les IHM3 MISE NE OEUVRE DU MODELE GENERIQUE DANS UNE TECHNIQUE DE PREUVE AVEC B Méthode de spécification B Principes de représentation du modèle générique formel en B événementiel

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007210	TH-06 KAM	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / Emmanuel GEVEAUX

Titre : Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données Type de document : thèse Auteurs : Emmanuel GEVEAUX ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; C. ANDRE, Rapporteur ; J.-L. FERRIER, Rapporteur ; J.-M. CHALONS, Examinateur ; L.-P. DOCO, Examinateur ; Guy PIERRA, Examinateur ; T. SORIANO, Examinateur Importance : 166 p. Note générale : Remericements Table des matières Introduction Conclusion Références bibliographiques Annexes Catégories : Commande de processus GRAFCET Langages de programmation Programmation parallèle (informatique) Index. décimale : TH-98 Résumé : LA PROGRAMMATION GRAPHIQUE FLOT DE DONNEES Avant-propos : Programmation Textuelle et Programmation Graphique Les diagrammes Flots de Données Le langage G : le Flot de Données Structuré LabVIEW : Une Implémentation du Langage G Recommandations de développement en Langage G PROGRAMMATION CONCURRENTE POUR LE LANGAGE G Avant-propos : Programmation déquentielle et programmation concurrente Les concepts de la programmation concurrente Programmation concurrente et langage G UNE IMPLEMENTATION DU GRAFCET EN LANGAGE G Avant-propos : Domaine d'application du GRAFCET Définition du GRAFCET Les principes d'implementation du GRAFCET GrafcetVIEW

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006965	TH-98 GEV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

De la conception physique aux outils d'administration et de tuning des entrepôts de données / Kamel BOUKHALFA  

Titre : De la conception physique aux outils d'administration et de tuning des entrepôts de données Type de document : thèse Auteurs : Kamel BOUKHALFA ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Arnaud GIACOMETTI, Rapporteur ; Jérôme DARMONT, Rapporteur ; Zohra BELLAHSENE, Examinateur ; Zaia ALIMAZIGHI, Examinateur ; Pascal RICHARD, Examinateur Importance : 238 p. Note générale : NNT 2009ESMA0006 Remerciements Table des matières Table des figures Glossaire Bibliographie Résumé Mots clés Catégories : Informatique Index. décimale : TH-09 Résumé : Introduction générale Etat de l'art Sélection isolée : La FH primaire et dérivée La FH : Algorithmes de selection et validation Sélection isolée : Les index de jointure binaires Sélection multiple de schémas de fragmentation et d'IJB Par admin : outil d'aide à l'administration et le tuning Conclusions et perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00410411/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007108	TH-09 BOU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-09 BOU	BOU	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE / Guillaume PATRY

Titre : Contibution à la conception du dialogue homme-machine dans les applications graphiques intéractives de conception technique : Le système GIPSE Type de document : thèse Auteurs : Guillaume PATRY ; Guy PIERRA, Directeur de thèse ; Patrick GIRARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; N. CARBONELL, Rapporteur ; Christophe KOLSKI, Rapporteur ; Pascal GIRARD, Examinateur ; Pascal LIENHARDT, Examinateur ; Guy PIERRA, Examinateur Importance : 199 p. Note générale : Remerciements Table des matières Introduction Conclusion Bibliographie Annexes Catégories : Conception assistée par ordinateur Informatique Informatique:Applications scientifiques Programmation Index. décimale : TH-99 Résumé : IHM ET CAO L'homme L'intéraction L'application VERS UN OUTIL INTERACTIF DE CONCEPTION D'AGI Modèles d'architecture Outils Réalisation d'un Model-Based System pour AGI-CT EXPLORATION ET EVALUATION DE LA TACHE COURANTE Analyse de l'exploration Construction d'une solution Discussions DIALOGUES STRUCTURES ET MANIPULATION DIRECTE Structure d'un contrôle par manipulation directe Intégration au sein de GIPSE DIALOGUES STRUCTURES ET MODIFICATION DYNAMIQUE DU DIALOGUE Macro-commandes et programmation Réalisation d'un système de macro-commandes par démonstration GIPSE : Génération d'application interactive par programmation sur exemple Validation LANGAGES DE MODELISATION Modèle des objets Modèle des tâches Modèle du dialogue Modèle de présentation Modèle du dialogue de manipulation directe EXEMPLE DE PROGRAMMATION DU NOYAU FONCTIONNEL Ajout de l'objet de dailogue Ajouter les actions sur objet EXEMPLE D'APPLICATIONS REALISEES AVEC GIPSE Barre de menu Zones de dessin Zone de prompt Zones de saisie

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006983	TH-99 PAT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs / Sadouanouan MALO  

Titre : Contribution à l'analyse d'ordonnançabilité des applications temps réel multiporcesseurs Type de document : thèse Auteurs : Sadouanouan MALO, Auteur ; Annie CHOQUET-GENIET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Guy VIDAL-NAQUET, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Jean-Philippe BABAU, Examinateur ; Dominique GENIET, Examinateur ; Gaëlle LARGETEAU-SKAPIN, Examinateur Année de publication : 2010 Importance : 167 p. Note générale : NNT 2010ESMA0018 Remerciements Table des matières Avant-propos Notations Introduction générale Liste des tableaux Liste des figures Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Petri, Réseaux de Temps réel (informatique) Résumé : ETAT DE L'ART Ordonnancement multiprocesseur Ordonnancement hors-ligne CONTRIBUTION Etude du problème de la cyclicité des ordonnancements multiprocesseurs Reconfiguration en cas de panne processeur Etude des ordonnancements p-équitables pour les tâches à départs différés et à échéances contraintes Gestion des tâches apériodiques CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00554234/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008578	TH-10 MAL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 MAL	MAL	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne / Laurent DAVID

Titre : Contribution à la gestion de la régularité d'exécution des tâches d'une application temps réel à contraintes strictes, dans un contexte d'ordonnancement en ligne Type de document : thèse Auteurs : Laurent DAVID ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Isabelle PUAUT, Rapporteur ; G. JUANOLE, Examinateur ; Nimal NISSANKE, Examinateur ; Patrick MARTINEAU, Examinateur Année de publication : 2002 Importance : 222 p. Note générale : Remerciements Table des matières Notations et abréviations Conclusion générale Références bibliographiques Publications liées à ce mémoire de thèse Langues : Français (fre) Catégories : Logiciels Parallélisme (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : LE CONTEXTE DE L'ETUDE Définitions - vocabulaire Les contraintes temporelles Modèle de tâche périodique & Odonnancement Définition de la gigue Les définitions connues de la gigue La gigue : critère d'apparition et conséquences Conclusion ETAT-DE-L'ART Approche en ligne Approche hors ligne Modèles de tâches spécifiques Conclusion TECHNIQUE DE TRAITEMENT DE LA GIGUE DANS LES SYSTEMES TEMPS REEL Méthodologie de traitement de la gigue Annulation de la gigue de régularité Encadrement de la gigue de régularité Prise en compte de ressources partagées Application au contrôle d'autres paramètres Conclusion EXPERIMENTATIONS NUMERIQUES Présentation de l'outil de simulations Tests d'efficacité de la méthode Conclusion APPLICATION A L'EXPERIENCE DU PENDULE INVERSE Introduction Modélisation du banc l'application du temps réel de contrôle du pendule L'ordonnancement des tâches Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008128	TH-02 DAV	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB / Mourad EL HADJ MIMOUNE

Titre : Contribution à la modélisation explicite et à la représentation des données de composants industriels : application au modèle PLIB Type de document : thèse Auteurs : Mourad EL HADJ MIMOUNE ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Parisa GHODOUS, Rapporteur ; Yves BERTRAND, Examinateur ; Danielle BOULANGER, Examinateur ; Yamine AIT AMEUR, Examinateur ; Guy PIERRA, Examinateur Importance : 194 p. Note générale : Remerciements Table des matières Glossaire Introduction générale Conclusion générale Bibliographie Liste des figures Liste des tableaux Annexe : Le langage EXPRESS Résumé Mots clés Catégories : Bases de données Parts LIBrary (PLIB) PostgreSQL (système informatique) Systèmes de gestion de données techniques Index. décimale : TH-04 Résumé : MODELISATION ET GESTION DE DONNEES DE PRODUITS ET DE COMPOSANTS Introduction Modélisation de produits basée sur des représentations Modélisation des données de produit basée sur les propriétés Le modèle de données de composants PLIB Intégration des données de produit et de données de composant Conclusion REPRESENTATION IMPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION Introduction Première approche de modélisation du contenu des bibliothèques de composants : modèle implicite de PLIB Implémentation du modèle implicite de PLIB dans un SGBD IMPLEMENTATION DU MODELE IMPLICITE EN SUIVANT L'APPROCHE HYBRIDE : CONVERSION DES INSTANCES DE CE MODELE EN N-UPLETS Introduction Schéma global de la base de données Approche détaillée de l'implémentation du modèle implicite Conversion du modèle implicite de PLIB en modèle explicite Gestionnaire de bibliothèques de composants PLIB sur un SGBD Conclusion REPRESENTATION EXPLICITE DES DONNEES DE COMPOSANTS : MODELE ET IMPLEMENTATION Introduction Nouvelle approche de représentation des données de composants : la représentation explicite Implémentation du modèle explicite de PLIB dans une base de données cible Détails de l'implémentation : application de la programmation événementielle au modèle PLIB Gestionnaire de données de composants basé sur le modèle explicite de PLIB Conclusion UN EXEMPLE DE MISE EN OEUVRE : IMPLEMENTATION DE PLIB DANS LE SGBDRO POSTGRESQL Introduction Choix du SGBD Représentation de concepts EXPRESS dans le SGBD POSTGRESQL Représentation des instance du niveau contenu dans POSTGRESQL Connexion avec un SGDT Conclusion

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00002282	TH-04 ELH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement / Mickaël RICHARD

Titre : Contribution à la validation des systèmes temps réels distribués : Ordonnancement à priorités fixes et placement Type de document : thèse Auteurs : Mickaël RICHARD, Auteur ; Francis COTTET, Directeur de thèse ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean-Charles BILLAUT, Rapporteur ; Mammeri ZOUBIR, Rapporteur ; Yvon TRINQUET, Rapporteur ; Joël GOOSSENS, Examinateur Année de publication : 2002 Importance : 265 p. Note générale : Remerciements Table des matières Introduction générale Conclusion Glossaire Annexes Langues : Français (fre) Catégories : Informatique Logiciels Ordonnancement (informatique) Systèmes embarqués (informatique) Temps réel (informatique) Index. décimale : TH-02 Résumé : BASES DE L'ORDONNANCEMENT EN-LIGNE DE SYSTEMES TEMPS REELS Introduction Architecture des systèmes temps réels Ordonnancement de systèmes monoprocesseurs Les systèmes distribués Placement ANALYSE HOLISTIQUE Détermination et analyse du pire cas Analyse holistique Calcul des pires temps de réponse des tâches et des messages AFFECTION DES PRIORITES Problématique Structure de l'arbre de recherche Principes généraux de la procédure de recherche Arbre de recherche : Principe d'évaluation Arbre de recherche : Test et coupe Extension du protocole d'accès aux ressources critiques Exemple : cas d'étude Expérimentation PLACEMENT ET AFFECTION Architecture du systèmes temps réel Placement et affection Exemple Expérimentation CONTRAINTES DE PRECEDENCE ET ORDONNANCEMENT MONOPROCESSEUR Modèles de tâches Anomalies d'ordonnancement Cas particuliers Test général d'ordonnançabilité Application sur l'exemple [HKL94] APPLICATION SUR UNE ARCHITECTURE DISTRIBUEE Architecture des systèmes distribués dans l'automobile Méthode d'affectation des priorités Méthode de placement et d'affection

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008127	TH-02 RIC	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques / François DORIN  

Titre : Contributions à l'ordonnacement et l'analyse des systèmes temps réel critiques Type de document : thèse Auteurs : François DORIN, Auteur ; Pascal RICHARD, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Patrick MARTINEAU, Rapporteur ; Yvon TRINQUET, Examinateur Année de publication : 2010 Importance : 154 p. Note générale : NNT 2010ESMA0012 Table des matières Table des figures Liste des tableaux Introduction générale Annexes Index Bibliographie Résumé Mots clés Langues : Français (fre) Catégories : Ordonnancement (informatique) Temps réel (informatique) Résumé : ETAT DE L'ART Introduction Validation des systèmes temps réel CONTRIBUTIONS Algorithme d'optimisation du nombre de processeurs dans une architecture distribuée Modèle à criticité multiple Ordonnancement semi-partitionné avec migrations restreintes CONCLUSION En ligne : http://tel.archives-ouvertes.fr/tel-00554806/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008589	TH-10 DOR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 DOR	DOR	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot / Frédéric RIDOUARD

Titre : Contributions à des problèmes d'ordonnancement en-ligne : l'ordonnancement temps réel de tâches à suspension et l'ordonnancement par une machine à traitement par lot Type de document : thèse Auteurs : Frédéric RIDOUARD ; Pascal RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marie-Claude PORTMANN, Rapporteur ; Yvon TRINQUET, Rapporteur ; Patrick MARTINEAU, Examinateur ; Joël GOOSSENS, Examinateur ; Francis COTTET, Examinateur ; Pascal RICHARD, Examinateur Importance : 240 p. Note générale : Remerciements Table des matières Introduction Annexes Bibliographie Index Catégories : Algorithmes Algorithmes:Informatique Informatique Index. décimale : TH-06 Résumé : PROBLEMATIQUE Théorie de l'ordonnancement Ordonnancement classique et ordonnancement temps réel Problèmes d'ordonnancement Algorithmes hors-ligne/en ligne Ordonnancement en-ligne : simulation/analyse de compétitivité Bibliographie ORDONNANCEMENT DES TACHES A SUSPENSION Introduction sur les tâches à suspension Les systèmes temps réel Architecture logicielle des systèmes temps réel Ordonnancement temps réel Le problème étudié : ordonnancement de tâches à suspension Plan de la partie ORDONNANCEMENT TEMPS REEL MONOPROCESSEUR Définitions générales Principaux algorithmes d'ordonnancement préemptif en-ligne Extension de l'ordonnancement Introduction aux tests d'ordonnançabilité Analyse du facteur d'utilisation Analyse du temps de réponse Analyse de la demande processeur Complexité des problèmes d'ordonnançabilité Conclusion ORDONNANCEMENT DES TACHES A SUSPENSION : ETAT DE L'ART Introduction Test d'ordonnançabilité DIFFICULTES DE L'ORDONNANCEMENT DE TACHES A SUSPENSION Complexité Anomalies d'ordonnancement Optimalité des algorithmes en-ligne COMPETITIVITE DES ALGORITHMES CLASSIQUES D'ORDONNANCEMENT Minimisation du nombre de tâches en retard Minimisation du temps de réponse maximum ANALYSE DES TESTS D'ORDONNANCABILITE POUR LES SYSTEMES A PRIORITE FIXE Calcul exact du pire temps de réponse sousRM Caractéristiques des configurations générées Bornes inférieures du ratio de compétitivité Incomparabilité des tests de faisabilité Etude par la simulation CONCLUSION SUR LES TACHES A SUSPENSION ORDONNANCEMENT PAR UNE MACHINE A TRAITEMENT PAR LOT Introduction sur les machines à traitement par lot Ordonnancement de machines à traitement par lot : Etat de l'art Algotithmes d'ordonnancement pour les machines à traitement par lot Conclusion sur les machines à traitement par lot

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007220	TH-06 RID	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF / Ahmed RAHNI  

Titre : Contributions à la validation d'ordonnancement temps réel en présence de transactions sous priorités fixes et EDF Type de document : thèse Auteurs : Ahmed RAHNI ; Pascal RICHARD, Directeur de thèse ; Emmanuel GROLLEAU, Directeur de thèse ; Mickaël RICHARD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Ye-Qiong SONG, Rapporteur ; Maryline CHETTO, Rapporteur ; Yvon TRINQUET, Examinateur ; Francis COTTET, Examinateur ; Joël GOOSSENS, Examinateur Importance : 196 p. Note générale : NNT 2008POIT2307 Table des matières Table des figures Liste des tableaux Annexes Bibliographie Résumé Mots clés Catégories : Ordonnancement (informatique) Temps réel (informatique) Index. décimale : TH-08 Résumé : ETAT DE L'ART Systèmes temps réel et ordonnancement Analyse d'ordonnançabilité des tâches avec décalage d'activation (à offsets) CONTRIBUTIONS Analyse mixte du pire temps de réponse des tâches à offsets en priorités fixes Identification des instants critiques pire cas, en priorités fixes Analyse d'ordonnançabilité des transactions avec priorités dynamiques EDF153 En ligne : http://tel.archives-ouvertes.fr/tel-00368101/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007950	TH-08 RAH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple / Loé SANOU  

Titre : Définition et réalisation d'une boîte à outils générique dédiée à la programmation sur exemple Type de document : thèse Auteurs : Loé SANOU ; Patrick GIRARD, Directeur de thèse ; Laurent GUITTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Christophe KOLSKI, Rapporteur ; Franck POIRIER, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Mesmin DANDJINOU, Examinateur Importance : 174 p. Note générale : 2008POIT2309 Remerciements Merci à Résumé Table des matières Liste des figures Liste des tableaux Liste des exemples de code Liste des abréviations et des sigles Bibliographie Mots clés Catégories : Systèmes homme-machine Index. décimale : TH-08 Résumé : INTRODUCTION GENERALE Définitions de la PSE Historique de la programmation sur exemple Contexte et motivation de la thèse Organisation du mémoire PROGRAMMATION SUR EXEMPLE : PRINCIPES ET CLASSIFICATION Etude des principes de la PSE Classification des systèmes de la PSE INTEGRATION DE LA PROGRAMMATION SUR EXEMPLE DANS UNE APPLICATION INTERACTIVE Adaptabilité des applications Outils pour la PSE Cahier des charges pour un outil UNE BOITE A OUTILS POUR LA PROGRAMMATION SUR EXEMPLE : PRINCIPES ET MISE EN OEUVRE Vers une solution "boîte à outils" Implémentation fr PBDTOOLKIT Exemple d'illustration ; un convertisseur de devises EXTENSION DE PBDTOOLKIT POUR L'AUTOMATISATION DE TESTS D'INTERFACES GRAPHIQUES Les tests Tests d'IHM Vers une automatisation des tests d'IHM à l'aide de la PSE CONCLUSION GENERALE Bilan Perspectives En ligne : http://tel.archives-ouvertes.fr/tel-00369484/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007932	TH-08 SAN	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité / Samia SAAD-BOUZEFRANE

Titre : Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité Type de document : thèse Auteurs : Samia SAAD-BOUZEFRANE ; Francis COTTET, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Claude KAISER, Rapporteur ; Zoubir MAMMERI, Rapporteur ; Guy PIERRA, Examinateur ; F. SIMONOT-LION, Examinateur ; Yvon TRINQUET, Examinateur Importance : 180 p. Note générale : Remerciements Table des matières Introduction générale Conclusion générale Bibliographie Annexes Catégories : Informatique Ordonnancement (informatique) Réseaux locaux (informatique) Réseaux locaux industriels (informatique) Temps réel (informatique) Index. décimale : TH-98 Résumé : INTRODUCTION AUX SYSTEMES INFORMATIQUES TEMPS REEL Les systèmes temps réel Les réseaux de communication temps réel Cadre du travail ORDONNANCEMENT DES TACHES Modélisation des tâches Représentation d'une séquence Classification des tâches Les tâches indépendantes Les tâches dépendantes LES PRINCIPAUX PROTOCOLES MAC ADAPTES AUC COMMUNICATIONS TEMPS REEL Classification des protocoles MAC Les techniques d'accés Protocoles à accés aléatoire Protocoles d'accés à contrôle centralisé : exemple de FIP Protocoles d'accés à contrôle distribué ENVIRONNEMENTS TEMPS REEL REPARTIS Quelques exécutifs temps réel répartis Outils et méthode de validation UNE METHODOLOGIE DE VALIDATION BASEE SUR UNE ANALYSE D'ORDONNANCABILITE Le modèle général Principe de la méthodologie Exemples d'applications temps réel réparties ANALYSE DES PERFORMANCES MOSARTS: un outil de validation d'applications temps réel réparties Les critères de performance mesurés Résultats de simulation

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006952	TH-98 SAA	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB / Hondjack DEHAINSALA  

Titre : Explicitation de la sémantique dans les bases de données : Base de données à base ontologique et le modèle OntoDB Type de document : thèse Auteurs : Hondjack DEHAINSALA ; Guy PIERRA, Directeur de thèse ; Ladjel BELLATRÈCHE, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jean CHARLET, Rapporteur ; Mohand-Saïd HACID, Rapporteur ; Michel SCHNEIDER, Examinateur ; Mokrane BOUZEGHOUB, Examinateur ; Jean-Yves LAFAYE, Examinateur Importance : 267 p. Note générale : NNT 2007POIT2270 Remerciements Table des matières Table des figures Introduction générale Bibliographie Annexes Glossaire Catégories : Bases de données Ontologies (informatique) Parts LIBrary (PLIB) Web sémantique Index. décimale : TH-07 Résumé : ETAT DE L'ART Approche traditionnelle de conception des bases de données Modélisation et gestion de données à base ontologique NOTRE PROPOSITION D'ARCHITECTURE Le modèle d'architecture de base de données à base ontologique OntoDB Implémentation de l'architecture OntoDB EVALUATION DES PERFORMANCES Evaluation des performances du modèle d'architecture OntoDB CONCLUSION ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00157595/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007559	TH-07 DEH	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

A Generic Model for Handling Preferences in Ontology Based Databases / Dilek TAPUCU  

Titre : A Generic Model for Handling Preferences in Ontology Based Databases Type de document : thèse Auteurs : Dilek TAPUCU, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Murat Osman UNALIR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Djamal BENSLIMANE, Rapporteur ; Ismail Sitki AYTAC, Rapporteur ; Oguz DIKENELLI, Examinateur ; Chihab HANACHI, Examinateur Année de publication : 2010 Importance : 139 p. Note générale : NNT 2010ESMA0009 Thanks Table of contents Résumé Bibliography Appendices List of figures List of tables Abstract Keywords Langues : Anglais (eng) Catégories : Bases de données Diffusion sélective (réseaux d'ordinateurs) Ontologies (informatique) Web sémantique Résumé : INTRODUCTION Research context Our proposal Thesis structure CONTEXT OF THE STUDY Preference driven personalization approaches The EXPRESS modeling language Ontology based databases : OBDB OUR PROPOSAL : HANDLING PREFERENCES AT THE ONTOLOGY LEVEL Proposed model of preferences Extending ontology based databases with preferences Case studies CONCLUSION AND FUTURE WORKS En ligne : http://tel.archives-ouvertes.fr/tel-00518476/fr/

Exemplaires (2)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008513	TH-10 TAP	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt
TH-10 TAP	TAP	Numérique	Thèses ISAE-ENSMA en ligne	Thèses	Exclu du prêt

Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels / Eric SARDET

Titre : Intégration des approches modélisation conceptuelle et structuration documentaire pour la saisie, la représentation, l'échange et l'exploitation d'informations. Application aux catalogues de composants industriels Type de document : thèse Auteurs : Eric SARDET ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; Jean-Claude POTIER, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; H. HABRIAS, Rapporteur ; M. NANARD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; X. CASTELLANI, Examinateur ; Guy PIERRA, Examinateur ; Jean-Claude POTIER, Examinateur ; P. TCHOUNIKINE, Examinateur Importance : 189 p. Note générale : Merci à Table des matières Introduction Conclusion Bibliographie Liste des figures Liste des tableaux Catégories : Logiciels Logiciels:Modèles de conception Programmation Index. décimale : TH-99 Résumé : MODELISATION, STRUCTURATION ET PRESENTATION DE L'INFORMATION Modélisation de l'information Structuration de l'information Présentation de l'information MODELISATION ET META-MODELISATION DES CATALOGUES DE COMPOSANTS INDUSTRIELS Modélisation des bibliothèques de composants Méta-Modélisation des bibliothèques de composants Une première approche pour la saisie de bibliothèques PLib INTEGRATION DES APPROCHES DOCUMENTAIRE ET MODELE DE DONNEES Approches existantes Donner une représentation structurée à un modèle de données Séparer la structure de représentation de la structure de présentation Application à PLib INTEGRATION DES OUTILS DOCUMENTAIRES ET DES OUTILS DE MODELISATION Coopération d'outils documentaires et d'outils de modélisation Un éditeur de documents sémantiques Extension de l'outil Exploitation du document résultat

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00006927	TH-99 SAR	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration de bases de données hétérogènes par articulation a priori d'ontologies : Application aux catalogues de composants industriels / Dung NGUYEN XUAN

Titre : Intégration de bases de données hétérogènes par articulation a priori d'ontologies : Application aux catalogues de composants industriels Type de document : thèse Auteurs : Dung NGUYEN XUAN ; Ladjel BELLATRÈCHE, Directeur de thèse ; Guy PIERRA, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne DOUCET, Rapporteur ; Chantal REYNAUD, Rapporteur ; Yamine AIT AMEUR, Examinateur ; Marie-Christine LAFAYE, Examinateur ; Michel SCHNEIDER, Examinateur Importance : 188 p. Note générale : Remerciements Table des matières Table des figures Liste des tableaux Bibliographie Résumé Mots clés Catégories : Parts LIBrary (PLIB) Index. décimale : TH-06 Résumé : INTRODUCTION GENERALE ETAT DE L'ART Problématique de l'intégration de données Classification des approches d'intégration Ontologie conceptuelle Ontologie conceptuelle et intégration des données Positionnement de notre approche MODELE PLIB ET BASE DE DONNEES A BASE ONTOLOGIQUE Modèle PLIB Base de données à base ontologique Langage EXPRESS Outil PLIBEditor INTEGRATION AUTOMATIQUE DES BDBOS PAR ARTICULATION A PRIORI D'ONTOLOGIES Problématique Architecture du système d'intégration de BDBOs FragmentOnto ProjOnto ExtendOnto Mise en oeuvre GESTION DE L'EVOLUTION ASYNCHRONE D'UN SYSTEME D'INTEGRATION A BASE ONTOLOGIQUE Travaux antérieurs sur les évolutions de données Gestion des évolutions des ontologies Gestion de l'évolution des instances Mise en oeuvre de notre modèle REIFICATION DES CORRESPONDANCES ENTRE ONTOLOGIES POUR L'INTEGRATION DES BDBOS Problématique et correspondances entre ontologies Formalisation de la projection entre BDBOs et une ontologie Algorithme de projection Représentation "mapping" eb tant que modèle Mise en oeuvre CONCLUSION ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007156	TH-06 NGU	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) / Youcef AKLOUF

Titre : Intégration du modèle d'ontologies PLIB et des services web dans les échanges inter-entreprises (Application au Business to Business) Type de document : thèse Auteurs : Youcef AKLOUF ; Guy PIERRA, Directeur de thèse ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Anne-Françoise CUTTING-DECELLE, Rapporteur ; Habiba DRIAS, Rapporteur ; George LOUIS, Examinateur ; Abdelaziz BOURAS, Examinateur Importance : 205 p. Note générale : Remerciements Résumé Table des matières Table des figures Introduction générale Bibliographie Catégories : Business Web Index. décimale : TH-07 Résumé : ETAT DE L'ART Caractérisation de produits et catalogues de composants Le commerce B2B et le e-procurement LA CONTRIBUTION DE LA THESE Approche fondée sur l'orthogonalité Intégration d'ontologies dans un modèle d'échange B2B VALIDATION DE L'APPROCHE PROPOSEE Validation opérationnelle de l'approche à base de service web

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00007356	TH-07 AKL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique / Nabil BELAID  

Titre : Modélisation de services et de workflows sémantiques à base d'ontologies de services et d'indexations. Application à la modélisation géologique Type de document : thèse Auteurs : Nabil BELAID, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; Jean-François RAINAUD, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Marianne HUCHARD, Rapporteur ; Flavio OQUENDO, Rapporteur ; Nicole LEVY, Examinateur ; Ladjel BELLATRÈCHE, Examinateur ; Stéphane JEAN, Examinateur ; Daniel RAHON, Examinateur Année de publication : 2011 Importance : 215 p. Note générale : NNT 2011ESMA0007 Remerciements Table des matières Introduction générale Bibliographie table des figures Liste des tableaux Glossaire Résumé Mots clés Langues : Français (fre) Catégories : Bases de données Langages de programmation Ontologies (informatique) Résumé : ETAT DE L'ART Ontologies et bases de données à base ontologique Les workflows en ingénierie Modélisation géologique NOTRE PROPOSITION Un modèle conceptuel pour une gestion sémantique de services et de workflows Modélisation logique de notre approche sur OntoDB APPLICATION A LA MODELISATION GEOLOGIQUE Application de notre proposition à la modélisation géologique Implémentation de notre approche sur l'interprétation sismique Geological Workflow Editor (GWE) CONCLUSION GENERALE ET PERSPECTIVES En ligne : http://tel.archives-ouvertes.fr/tel-00605153/fr/

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00009058	TH-11 BEL	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve / Idir AIT SADOUNE

Titre : Modélisation et vérification formelles de compositions de services. Une approche fondée sur le raffinement et la preuve Type de document : thèse Auteurs : Idir AIT SADOUNE, Auteur ; Yamine AIT AMEUR, Directeur de thèse ; LISI ENSMA EA 1232, Commanditaire ; Jacques JULLIAND, Rapporteur ; Michael LEUSCHEL, Rapporteur ; Dominique MERY, Rapporteur ; Egon BÖRGER, Examinateur ; Régine LALEAU, Examinateur ; Virginie WIELS, Examinateur Année de publication : 2010 Importance : 211 p. Note générale : NNT 2010ESMA0016 Table des matières Introduction générale Bibliographie Annexes Table des figures Liste des tableaux Résumé Mots clés Langues : Français (fre) Catégories : Services Web SOA Résumé : CONTEXTE Contexte de l'étude : les architecture SOA Approches formelles de vérification de composition de services Web : Etat de l'art CONTRIBUTION Origine de nos travaux Expression de composition de services BPEL par des modèles B événementiel Méthodologie de conception de services Web avec B événementiel Vérification des propriétés de services Web IMPLEMENTATION BPEL2B : un outil d'aide à la vérification de la composition de services Web CONCLUSION ET PERSPECTIVES

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
B00008583	TH-10 AIT	Ouvrage	BIBLIOTHÈQUE - ACCÈS RÉSERVÉ	Thèses	Exclu du prêt

---

1 2 (1 - 25 / 32) Par page : 25 50 100 200