INTEGRATION DE L'APPROCHE ORIENTEE-OBJETS DANS UN CONTEXTE DE 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 INTEGRATION DE L'APPROCHE ORIENTEE-OBJETS DANS UN CONTEXTE DE MULTI-FORMALISMES POUR LA MODELISATION ET LA SPECIFICATION D'APPLICATIONS DISTRIBUEES PDF full book. Access full book title INTEGRATION DE L'APPROCHE ORIENTEE-OBJETS DANS UN CONTEXTE DE 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 : 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: 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: Yiping Yang
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
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: 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: 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: 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: Benjamin Camus
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
Get Book Here
Book Description
Ce travail de thèse porte sur l'étude des systèmes complexes par une démarche de modélisation et simulation (M&S). La plupart des questionnements sur ces systèmes nécessitent de prendre en compte plusieurs points de vue simultanément. Il faut alors considérer des phénomènes évoluant à des échelles (temporelles et spatiales) et des niveaux de résolutions (de microscopique à macroscopique) différents. De plus, l'expertise nécessaire pour décrire le système vient en général de plusieurs domaines scientifiques. Les défis sont alors de concilier ces points de vues hétérogènes, et d'intégrer l'existant de chaque domaine (formalismes et logiciels de simulation) tout en restant dans le cadre rigoureux de la démarche de M&S. Pour répondre à ces défis, nous mobilisons à la fois des notions de modélisation multi-niveau (intégration de représentations micro/macro), de modélisation hybride (intégration de formalismes discrets/continus), de simulation parallèle, et d'ingénierie logicielle (interopérabilité logiciel, et ingénierie dirigée par les modèles). Nous nous inscrivons dans la continuité des travaux de M&S existants autour de l'approche AA4MM et du formalisme DEVS. Nous étudions en effet dans cette thèse en quoi ces approches sont complémentaires et permettent, une fois combinées dans une démarche d'Ingénierie Dirigée par les Modèles (IDM), de répondre aux défis de la M&S des systèmes complexes. Notre contribution est double. Nous proposons d'une part les spécifications opérationnelles de l'intergiciel de co-simulation MECSYCO permettant de simuler en parallèle un modèle de manière rigoureuse et complètement décentralisée. D'autre part, nous proposons une approche d'IDM permettant de décrire de manière non-ambiguë des modèles, puis de systématiser leur implémentation dans MECSYCO. Nous évaluons les propriétés de notre approche à travers plusieurs preuves de concept portant sur la M&S du trafic autoroutier et sur la résolution numérique d'un système d'équations différentielles.
Author: Xiaojun Ye
Publisher:
ISBN:
Category :
Languages : fr
Pages : 0
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: Marc Aiguier
Publisher:
ISBN:
Category :
Languages : fr
Pages : 300
Get Book Here
Book Description
Nous proposons un nouveau formalisme algébrique dédié à la spécification formelle orientée objet. Une des principales différences avec les formalismes algébriques classiques est l'introduction d'opérations, appelées méthodes par analogie aux langages de programmation orientés objet, dont la sémantique change selon un état implicite interne. Une des particularités de notre approche est alors de considérer des états implicites locaux comme des modificateurs de sémantiques des opérations. L'intérêt de considérer de tels états permet d'écrire des spécifications plus claires et plus concises, propriétés subjectives mais importantes pour tout formalisme de spécification. Notre formalisme de spécification se subdivise en deux parties. La première partie décrit le comportement de l'élément de base, appelé type d'objets. La seconde partie permet de combiner les types d'objets entre eux afin de spécifier le comportement d'un système. Dans notre formalisme, la spécification d'un type d'objets peut être vue comme une extension d'un module de spécification et un système de types d'objets comme une extension du concept de spécification modulaire. L'approche est cependant très différente car dans notre définition d'un système de types d'objets nous autorisons les cycles. Nous avons établi quelques résultats comparables à ceux obtenus pour les spécifications algébriques classiques. Enfin, nous avons élaboré une nouvelle théorie de l'implantation abstraite adaptée à notre formalisme
