Une integration de l'approche orientee objets dans un contexte multi-formalismes pour la modelisation et la specification d'applications distribuees 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 Une integration de l'approche orientee objets dans un contexte multi-formalismes pour la modelisation et la specification d'applications distribuees PDF full book. Access full book title Une integration de l'approche orientee objets dans un contexte multi-formalismes pour la modelisation et la specification d'applications distribuees by Yiping Yang. Download full books in PDF and EPUB format.
Author: Yiping Yang
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: Yiping Yang
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: YIPING.. YANG
Publisher:
ISBN:
Category :
Languages : fr
Pages : 189
Get Book Here
Book Description
L'OBJECTIF DE LA THESE EST DE PROPOSER UNE SOLUTION COHERENTE REPONDANT AU BESOIN D'UNE UTILISATION CONJOINTE DE L'APPROCHE ORIENTEE-OBJETS ET DES METHODES FORMELLES POUR LE DEVELOPPEMENT DES APPLICATIONS DES SYSTEMES DISTRIBUES QUI SONT DE PLUS EN PLUS COMPLEXES ACTUELLEMENT. NOUS AVONS DEVELOPPE UNE METHODE DE MODELISATION ET SPECIFICATION BASEE SUR UN CONTEXTE DES MULTI-FORMALISMES INTEGRES, ET SUR UNE INTRODUCTION DES CONCEPTS ORIENTES-OBJETS DANS CE CONTEXTE. LE CONCEPT DES MULTI-FORMALISMES APPORTE UNE PUISSANCE DE MODELISATION COMPLETEE PAR DIFFERENTS FORMALISMES, TANDIS QUE L'INTRODUCTION DES CONCEPTS ORIENTES-OBJETS EST CONCUE DANS LE BUT DE FACILITER L'UTILISATION DE CES FORMALISMES ET D'AMELIORER LA COHERENCE DE CETTE UTILISATION. UN PROCESSUS DE DEVELOPPEMENT HIERARCHIQUE DESCENDANT EST ADOPTE DANS CETTE METHODE. EN PARTANT DU CONTEXTE PROOFS, DONT NOUS UTILISONS LES RESEAUX CANAUX/AGENCES, LES RESEAUX DE PETRI, LE MODELE DE DONNEES NIAM, ET LE LANGAGE EXSPECT, NOTRE METHODE SE FOCALISE SUR DEUX POINTS PRINCIPAUX: L'INTRODUCTION DES CONCEPTS ORIENTES-OBJETS DANS LES MODELES SEMI-FORMELS DE HAUT NIVEAU ET LA TRANSFORMATION DE CES MODELES A OBJETS EN MODELES DE BAS NIVEAU. L'APPROCHE PROPOSEE DE TRANSFORMATION REPOSE PRINCIPALEMENT SUR UNE ARCHITECTURE 'CLIENTS/SERVEURS DU SYSTEME ORIENTE-OBJETS. DANS LE BUT DE VALIDER NOTRE METHODE, NOUS L'AVONS APPLIQUEE AUX MODELISATION, SPECIFICATION ET SIMULATION D'UNE APPLICATION DISTRIBUEE DE BUREAUTIQUE COMMUNICANTE: TELECONFERENCE DE DOCUMENT
Author: Xin Zhang
Publisher:
ISBN:
Category :
Languages : fr
Pages :
Get Book Here
Book Description
IL S'AGIT DE CONSTRUIRE UNE METHODOLOGIE ORIENTEE-OBJET SPECIFIQUE QUI S'ADAPTE MIEUX A LA MODELISATION DES SYSTEMES D'INFORMATION DE GESTION (S.I.G.). EN HERITANT DES METHODES D'ANALYSE ET DE CONCEPTION ORIENTEES-OBJET EXISTANTES, NOUS AVONS ELABORE UN MODELE DU SYSTEME D'ENTREPRISE A OBJET (MSEO). LE MSEO EST UNE BASE D'OBJETS DE REFERENCE QUI A POUR OBJECTIF DE RENFORCER LES METHODESORIENTEES-OBJET ET DE FACILITER LE DEVELOPPEMENT DES S.I.G. A OBJET. LA CONSTRUCTION DU MSEO FAIT APPEL, A LA FOIS, A LA MODELISATION SYSTEMIQUE, A L'APPROCHE ORIENTEE-OBJET ET A LA THEORIE DE LA GESTION DE L'ENTREPRISE. LE MSEO EST REPRESENTEE PAR UN ENSEMBLE D'OBJETS TYPIQUES ET PREDEFINIS CONCERNANT LA GESTION DE L'ENTREPRISE, QUI CONSTITUENT LES SOURCES D'OBJETS POTENTIELS POUR DES APPLICATIONS PARTICULIERES. EN SE GUIDANT PAR LE MSEO, L'IDENTIFICATION DES OBJETS DEVIENT PLUS FACILE. LES OBJETS DANS LES S.I.G. S'INSPIRENT DE CEUX DU MSEO, EN HERITANT DIRECTEMENT DES DEFINITIONS DES OBJETS REFERENCES. ET PUIS, EN SE BASANT SUR LE S.I.G. A OBJET CONSTRUIT, ON PEUT REALISER LES S.I.A.D. A OBJET, LES E.I.S. A OBJET ET LES OUTILS DE GESTION A OBJET (LES TABLEAUX DE BORD DE GESTION A OBJET). LE MSEO DONNE EGALEMENT UNE REFERENCE A L'ATELIER DE GENIE LOGICIEL POUR CONSTRUIRE UN ENVIRONNEMENT A OBJET QUI FACILITE AUSSI LA REALISATION DES S.I.G. A OBJET.
Author: Bachir Djafri
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Author: NAOUFEL.. KRAIEM
Publisher:
ISBN:
Category :
Languages : fr
Pages : 293
Get Book Here
Book Description
CETTE THESE PROPOSE UN MODELE PIVOT ORIENTE OBJET, APPELE MPOO, DEDIE A LA MODELISATION ET A LA CONCEPTION DES SYSTEMES D'INFORMATION. TROIS OBJECTIFS ONT GUIDE LA DEFINITION DE CE MODELE: LA RECHERCHE D'UN MODELE EXPRESSIF PERMETTANT UN FAIBLE COUPLAGE DES COMPOSANTS LOGICIELS ET LA TRACABILITE ENTRE LES NIVEAUX D'ABSTRACTIONS. LE TRAVAIL PRESENTE SE TROUVE AU CONFLUENT DE DEUX AXES DE RECHERCHE IMPORTANTS: D'UNE PART LES TRAVAUX PORTANT SUR LES MODELES DE SYSTEMES D'INFORMATION AU SEIN DE L'APPROCHE OBJET, ET D'AUTRE PART LES TRAVAUX RELATIFS AUX MODELES DE GENIE LOGICIEL ET AUX TRANSFORMATIONS DES SCHEMAS CONCEPTUELS EN SCHEMAS IMPLEMENTATION. MPOO COUVRE LES PHASES DE CONCEPTION DU LOGICIEL, DEPUIS LA CONCEPTUALISATION DU CHAMP D'APPLICATION JUSQU'A L'ELABORATION D'UNE SOLUTION INFORMATIQUE. IL REPOSE SUR LES PRINCIPES DU PARADIGME OBJET QUE SONT L'ENCAPSULATION, LA CLASSIFICATION, LA LOCALISATION, L'HERITAGE ET LA RELATION DE TYPE CLIENT/SERVEUR. LE MODELE MPOO OFFRE LES AVANTAGES DES MODELES OBJETS EXISTANTS (OMT, OOAD, OOA, O*, OOD, HOOD, ETC.). SON OBJECTIF EST D'INTEGRER LES CONCEPTS DES MODELES SEMANTIQUES ET DES MODELES D'ANALYSE ORIENTEE OBJET EN CONSERVANT LEUR PUISSANCE DE REPRESENTATION, VOIRE EN LES RENFORCANT SUR CERTAINS POINTS (LA SPECIFICATION DYNAMIQUE, LE PARALLELISME, LA CONCURRENCE, ETC.). IL COMPREND DEUX SOUS MODELES: LE SOUS MODELE CONCEPTUEL ET LE SOUS MODELE LOGIQUE. LE MODELE CONCEPTUEL PERMET DE DECRIRE ET D'EXPRIMER LA SEMANTIQUE SOUS FORME D'UN SCHEMA CONCEPTUEL. LE MODELE LOGIQUE PERMET D'ELABORER UNE SOLUTION INFORMATIQUE QUI REPOND AU MIEUX AU BESOIN DU SYSTEME A REALISER EN INTEGRANT LES CONTRAINTES MATERIELLES ET LOGICIELLES, ET LES EXIGENCES EN MATIERES DE QUALITE. L'APPROCHE UTILISEE DANS CETTE THESE VISE A DEFINIR, D'UNE PART, UN MODELE PIVOT COUVRANT LES NIVEAUX CONCEPTUEL ET LOGIQUE DE LA CONCEPTION ET D'AUTRE PART, DES REGLES DE DERIVATION ASSURANT LE PASSAGE DE MODELES SPECIFIQUES VERS LE MODELE PIVOT ET INVERSEMENT. CETTE APPROCHE PREND AUJOURD'HUI UNE IMPORTANCE NOUVELLE DANS UN CONTEXTE OU LES ORGANISATIONS SONT SOUVENT COMPLEXES ET QUE LEURS ENTITES COMPOSANTES UTILISENT SOUVENT DES FORMALISMES DE MODELISATION DIFFERENTS
Author: ISABELLE.. MIRBEL
Publisher:
ISBN:
Category :
Languages : fr
Pages : 237
Get Book Here
Book Description
L'INTEGRATION DE SCHEMAS EST UNE ETAPE IMPORTANTE DU PROCESSUS DE CONCEPTION DE SYSTEMES D'INFORMATION. ELLE PERMET DE PRENDRE EN COMPTE LES POINTS DE VUE DES DIFFERENTS CONCEPTEURS IMPLIQUES DANS UNE ANALYSE COMPLEXE ET/OU DE TAILLE IMPORTANTE. ELLE PERMET EGALEMENT AU COURS DU TEMPS D'INTEGRER AUX SCHEMAS DE CONCEPTION EXISTANTS LES CHANGEMENTS RESULTANT DE L'EVOLUTION DES SYSTEMES D'INFORMATION. LE PROCESSUS D'INTEGRATION PRESENTE ICI EST FONDE SUR UNE ETUDE SIMULTANEE DES DIMENSIONS STRUCTURELLE ET SEMANTIQUE DES SCHEMAS. LES COMPARAISONS PORTENT SUR LES COUPLES D'ELEMENTS DE MEME NATURE, MAIS ELLES ENGLOBENT AUSSI LES COMPARAISONS ENTRE ELEMENTS DE DIFFERENTES NATURES. LES DIFFERENTES SITUATIONS DE CONFLITS ONT ETE REPERTORIEES ET UNE SOLUTION ADAPTEE A ETE PROPOSEE POUR CHAQUE CAS DE FIGURE. LA DEMARCHE SUIVIE ICI A ETE DE DEFINIR UN MECANISME D'INTEGRATION PERMETTANT D'EXTRAIRE LE PLUS D'INFORMATIONS POSSIBLES DES SCHEMAS DE DEPART, POUR OBTENIR DE LA FACON LA PLUS AUTOMATIQUE UN SCHEMA RESULTAT. LE MECANISME D'INTEGRATION DE SCHEMAS PRESENTE TRAVAILLE SUR DES SCHEMAS DE CONCEPTION ORIENTES OBJET, C'EST-A-DIRE QU'IL TIENT COMPTE DES PARTICULARITES D'UN TEL FORMALISME ET TENTE DE RESPECTER CERTAINS PRINCIPES PROPRES A L'ORIENTE OBJET. UN THESAURUS FLOU, INSPIRE DE TRAVAUX REALISES DANS LE DOMAINE DE LA LINGUISTIQUE, A ETE CONCU AFIN D'EXPLOITER LA DIMENSION SEMANTIQUE DES SCHEMAS. IL PERMET DE CONNAITRE, DE FACON AUTOMATIQUE, LES ELEMENTS SYNONYMES (OU VOISINS) ET HOMONYMES (OU AMBIGUS). ENFIN, CE MECANISME A ETE DEVELOPPE AVEC LE SOUCI DE LE RATTACHER A UN CONTEXTE. AINSI, DANS LE THESAURUS, LES DIFFERENTES EXPERTISES SONT PONDEREES. DE MEME, UN ARBRE DES SOLUTIONS PERMET D'OBTENIR PLUSIEURS RESULTATS A L'INTEGRATION DE DEUX SCHEMAS, QUAND CELA EST POSSIBLE, ET PERMET DE CHOISIR LE SCHEMA QUI EST LE PLUS ADAPTE AU CONTEXTE DE TRAVAIL. LES STRATEGIES D'INTEGRATION, PERMETTENT DE RE-SITUER L'INTEGRATION DANS UN CONTEXTE DE MULTI-EXPERTISE OU INCREMENTAL
Author: MOHAMMED-SALAH.. ABAIDI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 154
Get Book Here
Book Description
L'INTERET PORTE A L'APPROCHE ORIENTEE OBJET DANS LES BASES DE DONNEES A MIS EN EXERGUE LES ASPECTS DE LA DYNAMIQUE DES SI: COMPORTEMENT ET FONCTION. DE PLUS EN PLUS DE MODELES DE DONNEES INTEGRENT, DIRECTEMENT OU INDIRECTEMENT, DE NOUVEAUX CONCEPTS POUR AUGMENTER LEUR POUVOIR DESCRIPTIF. CEPENDANT, LES SYSTEMES OPERATIONNELS S'APPUIENT SUR L'APPROCHE OO PURE, ET NE PEUVENT SUPPORTER LES NOUVEAUX MODELES QU'AU RISQUE D'UNE PERTE SEMANTIQUE. EN OUTRE, L'EXPERIENCE AU NIVEAU METHODOLOGIQUE DES APPROCHES CLASSIQUES, N'EST PAS SUFFISANTE POUR PROPOSER UNE DEMARCHE DE CONCEPTION TENANT COMPTE, DE FACON HOMOGENE, DES TROIS ASPECTS DES SI: DONNEES, COMPORTEMENT ET FONCTION. POUR REMEDIER AUX INSUFFISANCES DE CES NOUVELLES APPROCHES, EN PARTICULIER DANS LE PROCESSUS DE DESCRIPTION DES FONCTIONS, NOUS AVONS CONJOINTEMENT DEFINI UN MODELE ENTITE RELATION ORIENTE OBJETS ERCD (ENTITE RELATION COMPLEXE ET DYNAMIQUE) ET UNE DEMARCHE DE CONCEPTION DES METHODES, FRUIT DE LA COMBINAISON DES APPROCHES ENTITE-RELATION, ORIENTE-OBJET ET LES RDP TANT AU NIVEAU DESCRIPTIF QUE METHODOLOGIQUE. APRES L'IDENTIFICATION DES CONTRAINTES DE COMPOSITION DE METHODES: SEQUENCE, PARALLELISME ET ALTERNATIVE, NOUS AVONS DEFINI DES OPERATEURS DE RAFFINEMENT DES METHODES ET LEURS REGLES D'UTILISATION. L'UTILISATION DE CES REGLES S'APPUIE SUR UNE DEMARCHE A LA FOIS DESCENDANTE ET ASCENDANTE: DESCENDANTE PAR RAFFINEMENTS SUCCESSIFS POUR DEFINIR LES METHODES COMPOSANTES IDENTIFIEES DANS LA VUE DE L'UTILISATEUR ET ASCENDANTE POUR DEFINIR UNE METHODE CORRESPONDANT A LA VUE ENTIERE. NOTRE APPROCHE FAVORISE LA REUTILISATION ET GUIDE L'UTILISATEUR DANS LA CONSTRUCTION D'UN SCHEMA CONCEPTUEL UNIQUE DE LA VUE DE LA BASE DE DONNEES. CETTE DEMARCHE CONSTITUE UNE BASE POUR UN DEVELOPPEMENT D'UN OUTIL INTERACTIF ASSISTANT L'UTILISATEUR DANS LA DEFINITION DE SES VUES
Author: José Celso Freire Junior
Publisher:
ISBN:
Category :
Languages : fr
Pages : 297
Get Book Here
Book Description
Ce travail de recherche est centré sur une proposition pour l'intégration de différents formalismes dans la modélisation soit de modèles de méthodes orientées objets, soit de modèles de systèmes d'information. Pour remplir cet objectif nous avons établi et expérimenté un méta-modèle. Une originalité de notre méta-modèle est son organisation en vues pour décrire des modèles selon des aspects statiques, dynamiques mais aussi semi-formels, formels et informels. Nos propositions sont précédées d'une étude de différents langages et formalismes qui caractérisent les approches actuelles de modélisation. Ce cadre de méta-modélisation est etendu pour favoriser une multi-modélisation de systèmes. D'une manière classique, la multi-modélisation est limitée à l'utilisation de diagrammes complémentaires pour décrire un système. Nous complétons cette forme de multi-modélisation par une étude de relations nécessaires entre différents fragments de modèles décrits avec des formalismes variés : semi-formels, formels ou informels. Pour concrétiser notre proposition nous avons réalisé un premier prototype d'atelier pour illustrer et expérimenter les services que nous attendons d'un atelier de modélisation adapté à des modélisations plus rigoureuses de systèmes d'information. Ce prototype est en réalité un générateur d'ateliers de modélisation basé sur l'utilisation de trois logiciels différents de type générateur d'éditeurs graphiques, générateur d'éditeurs syntaxiques et éditeur paramètre de documents structurés. Notre prototype a été utilisé dans plusieurs situations : méta-modélisation de sous-ensembles des méthodes OMT et OOA, proposition d'un noyau de référentiel de comparaison de modèles de méthodes, multi-modélisation d'un système d'information spécifique (modèle STORM d'applications multimédias) et guidage d'une multi-modélisation au travers d'un canevas standard de dossier de spécifications de systèmes
Author: Xiaojun Ye
Publisher:
ISBN:
Category :
Languages : fr
Pages : 248
Get Book Here
Book Description
L'approche objet permet des applications plus évoluées et plus fiables et des développements spécifiques moins couteux et évolutifs. Les objectifs de ce travail sont, d'une part, de contribuer à la conceptualisation complète de modèles de simulation à objet et d'autre part, de les implémenter en utilisant des techniques de programmation concurrente. Après une présentation, au chapitre I, des concepts des systèmes de production et de leur gestion, nous avons évalué, au chapitre II, les différents modèles de structure et de simulation pour les systèmes de production. Le chapitre III propose une démarche d'analyse pour identifier des classes d'objets en cinq types du domaine; physiques, rôles, incidents, interactions et spécifications. Chacune de ces classes est spécifiée par quatre modèles: communication, information, transition d'état et processus. Dans le chapitre IV, nous avons conceptualisé une architecture générale des objets actifs, une plateforme de simulation à objets concurrents et des classes d'objets sémantiques tels que les transactions, les moyens de production et les décisions pour l'établissement des modèles de simulation de production. Nous avons illustré, au chapitre V, l'implémentation des coopérations spatiales et temporelles entre objets concurrents dans la simulation avec des concepts processus légers basés sur l'outil Meijin++.
Author: Hugues Bersini
Publisher: Editions Eyrolles
ISBN: 2212120842
Category : Object-oriented programming (Computer science)
Languages : fr
Pages : 602
Get Book Here
Book Description
L'approche objet est enseignée dans les universités dès les premiers niveaux des cursus informatiques, car sa compréhension est le prérequis indispensable à toute pratique économe, fiable et élégante de la plupart des techniques informatiques qui en sont dérivées, depuis Java et Python, jusqu'à UML 2, en passant par C# et C++. L'objet par la pratique avec Python, Java, C# et C++ et PHP 5... en UML 2. Cette troisième édition de l'ouvrage L'orienté objet décortique l'ensemble des mécanismes de la programmation objet (classes et objets, interactions entre classes, envois de messages, encapsulation, héritage, polymorphisme, modélisation...) en les illustrant d'exemples empruntant aux technologies les plus populaires : Java 5 et C# 2, C++, Python, PHP 5, UML 2, mais aussi les services web, RMI, les bases de données objet et bien sûr les design patterns... Chaque chapitre est introduit par un dialogue vivant, à la manière du maître et de l'élève, et se complète de nombreux exercices en UML 2, Java 5, Python, PHP 5, C# 2 et C++. À qui s'adresse ce livre ? Ce livre sera lu avec profit par tous les étudiants de disciplines informatiques liées à l'approche objet (programmation orientée objet, modélisation UML, Java, Python, PHP 5, C# / C++...) et pourra être utilisé par leurs enseignants comme matériel de cours. Il est également destiné à tous les développeurs qui souhaitent approfondir leur compréhension des concepts objet sous-jacents au langage qu'ils utilisent.
