Contribution à l'étude de l'architecture d'un système intégrant les différents formalismes de représentation de la connaissance PDF Download
Are you looking for read ebook online? Search for your book and save it on your Kindle device, PC, phones or tablets. Download Contribution à l'étude de l'architecture d'un système intégrant les différents formalismes de représentation de la connaissance PDF full book. Access full book title Contribution à l'étude de l'architecture d'un système intégrant les différents formalismes de représentation de la connaissance by Jeon Young Lee. Download full books in PDF and EPUB format.
Author: Jeon Young Lee
Publisher:
ISBN:
Category :
Languages : fr
Pages : 143
Get Book Here
Book Description
Author: Jeon Young Lee
Publisher:
ISBN:
Category :
Languages : fr
Pages : 143
Get Book Here
Book Description
Author: Adel Smeda
Publisher:
ISBN:
Category :
Languages : fr
Pages : 210
Get Book Here
Book Description
Le travail présenté dans cette thèse s'inscrit dans le cadre de l'étude des langages de modélisation d'architectures logicielles. L'architecture d'un système logiciel fournit un modèle du système qui masque le détail d'exécution, permettant à l'architecte de se concentrer sur les analyses et les décisions les plus cruciales afin de répondre au mieux aux exigences du système. Actuellement, deux principales approches se distinguent pour décrire l'architecture d'un système : la modélisation par objets sous la houlette d'UML (Unified Modeling Language) et la modélisation par composants (composants académiques et composants industriels). Chacune de ces deux approches présente des points forts et des points faibles. Notre contribution se décline en trois volets : une approche hybride composant-objet pour la description des éléments et des concepts architecturaux, une démarche pour l'aide à la construction d'architectures et enfin un méta-méta-modèle comme support de langage de description d'architecture. Le premier volet concerne la proposition d'une approche de description d'architecture baptisée COSA (Component-Object based Software Architecture) qui consiste à étendre le formalisme des ADLs (Architecture Description Languages) à certains concepts de l'approche objet et de les projeter sur des architectures objets exécutables. Le deuxième volet concerne à la définition d'une démarche de description des concepts de l'architecture logicielle sur laquelle se base COSA. Cette démarche décrit les concepts architecturaux selon un triptyque : composant, connecteur et architecture. Enfin, le dernier volet concerne la proposition d'un méta-méta modèle (ou méta-méta architecture) qui d'une part, unifie tous les concepts architecturaux tout en facilitant leur manipulation et leur réutilisation et d'autre part, permet la comparaison et la transformation entre différents langages de description d'architectures.
Author: Gérard Mouton
Publisher:
ISBN:
Category :
Languages : fr
Pages : 163
Get Book Here
Book Description
Du traitement par lots au transactionnel, reconception du système d'information. Ii: l'architecture du système d'information. Iii: présentation du problème et étude de l'existant. Iv: reconception du système d'information. V: les moyens de réalisation du système d'information
Author: René Favard
Publisher:
ISBN:
Category :
Languages : fr
Pages : 222
Get Book Here
Book Description
LE TRAVAIL PRESENTE DANS CE MEMOIRE A POUR OBJET L'ETUDE D'ENVIRONNEMENTS D'ACCUEIL POUR L'ELABORATION DE SYSTEMES DE C.A.O. COMPORTANT DES FONCTIONNALITES D'AIDE AU RAISONNEMENT. LA PREMIERE PARTIE SITUE LE CONTEXTE, LA CONCEPTION EN MECANIQUE, ET EXPOSE LE PROBLEME ET LES SOLUTIONS ENVISAGEABLES. LES TECHNIQUES D'INTELLIGENCE ARTIFICIELLE REPONDANT A NOS BESOINS SONT ALORS INTRODUITES. LA DEUXIEME PARTIE EST CONSACREE AUX PROPOSITIONS ET REALISATIONS, PERMETTANT PAR AILLEURS UNE EXPERIMENTATION DE DIVERS FORMALISMES DE REPRESENTATION DES CONNAISSANCES. NOUS DETAILLONS DANS UN PREMIER TEMPS UNE MAQUETTE D'ARCHITECTURE DE SYSTEME DE C.A.O. INTEGRANT LE LANGAGE PROLOG. NOUS NOUS ORIENTONS ENSUITE VERS SES APPROCHES ORIENTEES OBJET ET NOUS TERMINONS PAR L'ETUDE D'UN ENVIRONNEMENT D'ACCUEIL AVEC LE LANGAGE ORIENTE OBJET LMG1
Author: Souad Kherroubi
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Cette thèse vise à définir des techniques pour mieux exploiter les connaissances du domaine dans l'objectif de rendre compte de la réalité de systèmes qualifiés de complexes et critiques. La modélisation est une étape indispensable pour effectuer des vérifications et exprimer des propriétés qu'un système doit satisfaire. La modélisation est une représentation simplificatrice, mais réductionniste de la réalité d'un système. Or, un système complexe ne peut se réduire à un modèle. Un modèle doit s'intégrer dans sa théorie observationnelle pour rendre compte des anomalies qu'il peut y contenir. Notre étude montre clairement que le contexte est la première problématique à traiter car principale source de conflits dans le processus de conception d'un système. L'approche retenue dans cette thèse est celle d'intégrer des connaissances du domaine en associant le système à concevoir à des formalismes déclaratifs qualifiés de descriptifs appelés ontologies. Notre attention est portée au formalisme Event-B dont l'approche correct-par-construction appelée raffinement est le principal mécanisme dans ce formalisme qui permet de faire des preuves sur des représentations abstraites de systèmes pour exprimer/vérifier des propriétés de sûreté et d'invariance. Le premier problème traité concerne la représentation et la modélisation des connaissances du contexte en V&V de modèles. Suite à l'étude des sources de conflits, nous avons établi de nouvelles règles pour une extraction de connaissances liées au contexte par raffinement pour la V&V. Une étude des formalismes de représentation et d'interprétation logiques du contexte a permis de définir un nouveau mécanisme pour mieux structurer les modèles Event-B. Une deuxième étude concerne l'apport des connaissances du domaine pour la V&V. Nous définissons une logique pour le formalisme Event-B avec contraintes du domaine fondées sur les logiques de description, établissons des règles à exploiter pour l'intégration de ces connaissances à des fins de V&V. L'évaluation des propositions faites portent sur des études de cas très complexes telles que les systèmes de vote dont des patrons de conception sont aussi développés dans cette thèse. Nous soulevons des problématiques fondamentales sur la complémentarité que peut avoir l'intégration par raffinement des connaissances du domaine à des modèles en exploitant les raisonnements ontologiques, proposons de définir de nouvelles structures pour une extraction partiellement automatisée.
Author: Abdelkrim Amirat
Publisher:
ISBN:
Category :
Languages : fr
Pages : 342
Get Book Here
Book Description
En favorisant leurs descriptions à un haut niveau d’abstraction, les architectures logicielles ont été introduites en réponse à l’accroissement de la complexité des systèmes. L’architecture d’un système logiciel fournit un modèle du système qui masque les détails d’exécution, permettant à l’architecte de se concentrer sur l’analyse et les décisions les plus cruciales afin de répondre au mieux aux exigences dudit système. Dans cette thèse, nous proposons d’aborder la problématique de description d’architectures logicielles à hiérarchies multiples, avec comme objectif, d’offrir aux concepteurs plusieurs vues architecturales sur le système en exploitant le mieux possible la granularité et la spécificité des composants, des connecteurs et des configurations, et en favorisant leur réutilisation. Notre contribution se résume en trois volets majeurs. Le premier concerne la proposition d’un ADL (Architecture Description Language) baptisé C3 reposant d’une part sur un modèle de représentation s’appuyant sur les concepts explicites de composants, de connecteurs et de configurations et d’autre part sur un modèle de raisonnement basé sur quatre types de hiérarchies (structurelle, fonctionnelle, conceptuelle et de méta-modélisation) pour décrire les architectures logicielles à différents niveaux de compréhension. Le deuxième volet concerne la proposition du modèle MY comme une méthodologie à suivre pour décrire les architectures logicielles à base de composants. Cette démarche décrit les concepts architecturaux selon un triptyque : composant, connecteur et configuration. Enfin, Le troisième volet concerne le développement d’un profil UML (C3-Profil) qui permet de faire la projection des architectures définies en C3 vers UML 2.0 afin de profiter des outils supports d’UML 2.0
Author: François Anceau (auteur en informatique)
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Georges Miaoulis
Publisher:
ISBN:
Category :
Languages : fr
Pages : 260
Get Book Here
Book Description
Notre étude porte sur les systèmes de conception d'entités physiques complexes (susceptibles d'être décomposées) et vise à étudier l'architecture d'un système d'information intelligent et multimédia pour la conception assistée par ordinateur. La méthodologie de conception adoptée est celle de la modélisation déclarative de scènes (en tant que représentations mentales des entités physiques) et en particulier la modélisation déclarative par décomposition hiérarchique qui répond à la complexité structurelle de ces entités. Le champ d'application de ces systèmes de conception est vaste, il couvre des domaines comme l'architecture , l'urbanisme, les arts décoratifs, la composition d'images, l'ingénierie (mécanique, génie civil), etc. La méthodologie de cette étude repose sur la modélisation des composants de ce système (modèles utilisateurs, modèles de processus et de mécanismes cognitifs ou de cycles de vie de conception, modèles des informations et des connaissances) pour proposer un cadre d'architecture logicielle qui comporte les spécifications et la structure de ces composants, et des bases de données et de connaissances. Ce cadre nommé "MultiCAD" est testé par le développement d'une série de logiciels prototypes. Les résultats de cette recherche, ainsi que les futurs travaux envisagés sont discutés au dernier chapitre de cette thèse.
Author: Bernard Toursel (auteur d'une thèse de sciences.)
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
Author: Ammar Kheirbek
Publisher:
ISBN:
Category :
Languages : fr
Pages : 221
Get Book Here
Book Description
Le but de notre travail est de définir un modèle de recherche d'informations, intégrant les deux modes d'accès que sont la formulation de requêtes (approche systèmes de recherche d'information) et la navigation (approche systèmes hypermédia). La motivation de cette étude repose sur la constatation que ces deux approches sont fortement complémentaires, les avantages de l'une compensant largement les limitations de l'autre. Classiquement, les modèles de recherche d'informations et d'hypermédia établissent une distinction entre les aspects structure des informations et les aspects représentation des connaissances. Cette distinction est, d'une part, de nature à limiter les possibilités de ces systèmes, et est un obstacle à l'intégration de ces deux modèles d'autre part. La base de notre approche d'intégration consiste tout d'abord à unifier ces deux types d'informations: une sémantique est attachée aux structures, et cette sémantique doit être explicitée et utilisée dans le processus d'accès à l'information, au même titre que les connaissances attachées au contenu de l'information. La définition formelle proposée du modèle intégré est largement fondée sur le formalisme des graphes conceptuels qui a été retenu pour représenter toutes les connaissances du système et pour réaliser les différentes opérations d'interrogation et de navigation propres aux deux approches. Une conclusion intéressante de cette démarche d'intégration est qu'elle conduit également à améliorer les deux modèles composants, par rapport à l'état de l'art. Une expérimentation du modèle proposé a conduit à la réalisation d'un prototype fondé sur O2 (SGBD Orienté Objet) et l'interface MOSAIC de WWW (World Wide Web), et les tests ont utilisé le corpus du système RIME (Recherche d'Informations MEdicales)
