UNE METHODE A MULTI-FORMALISMES POUR LA SPECIFICATION ET LA VALIDATION DE SYSTEMES DISTRIBUES 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 METHODE A MULTI-FORMALISMES POUR LA SPECIFICATION ET LA VALIDATION DE SYSTEMES DISTRIBUES PDF full book. Access full book title UNE METHODE A MULTI-FORMALISMES POUR LA SPECIFICATION ET LA VALIDATION DE SYSTEMES DISTRIBUES by ABDEL MOUMEN.. AGOULMINE. Download full books in PDF and EPUB format.
Author: ABDEL MOUMEN.. AGOULMINE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 218
Get Book Here
Book Description
LA COMPLEXITE DE MISE EN UVRE DES SYSTEMES DISTRIBUES EST LIEE AUX PROBLEMES D'ORGANISATION DES DIFFERENTES ACTIONS A MENER POUR LA SPECIFICATION, CONCEPTION, VERIFICATION, ET DEVELOPPEMENT DE CES SYSTEMES, MAIS AUSSI, A LA DIFFICULTE DE MAITRISER DYNAMIQUEMENT, LES INTERACTIONS DE MULTITUDES ENTITES UVRANT EN PARALLELES, COMMUNIQUANT, COOPERANT ET PARTAGEANT DES RESSOURCES COMMUNES. LE BUT DE CETTE THESE EST D'ETUDIER LES PROBLEMES DE COMPLEXITE DE SPECIFICATION DE SYSTEMES DISTRIBUES ET DE PROPOSER UNE APPROCHE METHODOLOGIQUE POUR LES RESOUDRE. L'APPROCHE FORMELLE POUR LE DEVELOPPEMENT DE SYSTEMES SEMBLE PROMETTEUSE, NEANMOINS, ELLE SOUFFRE D'UNE CERTAINE RETICENCE DE LA PART DES INDUSTRIELS A CAUSE DU NIVEAU TECHNIQUE NECESSAIRE A LEUR UTILISATION ET AU PEU D'OUTILS DISPONIBLES SUR LE MARCHE. LA SOLUTION PROPOSEE EST BASEE SUR DES TECHNIQUES SEMI-FORMELLES POUR LA SPECIFICATION DE HAUT NIVEAU ET FORMELLES POUR LA SPECIFICATION DE BAS NIVEAU PERMETTANT LA VALIDATION DU SYSTEME SPECIFIE. ELLE PERMET AINSI D'AIDER ET DE GUIDER LE CONCEPTEUR TOUT LE LONG DU PROCESSUS DE DEVELOPPEMENT. LE PROCESSUS DE DEVELOPPEMENT EST BASE SUR LE CONCEPT MULTI-FORMALISME ET SUR LES PROCESSUS D'ENRICHISSEMENT ET DE TRANSFORMATION. LE CONCEPT MULTI-FORMALISME PERMET D'UTILISATION, A CHAQUE PHASE DU PROCESSUS DE DEVELOPPEMENT, UN OU PLUSIEURS FORMALISMES PERMETTANT DE REPONDRE AUX OBJECTIFS DE CETTE PHASE (ENTITES/RELATIONS, RESEAUX EN CANAUX-AGENCES, RESEAUX DE PETRI COLORES ET TYPE DE DONNEES ALGEBRIQUES). LE ROLE DES PROCESSUS D'ENRICHISSEMENT ET DE TRANSFORMATION FOURNIR UN MOYEN UNE PROGRESSION COHERENT DE LA DESCRIPTION DU SYSTEME, DE LA PHASE D'ANALYSE DES BESOINS JUSQU'A LA PHASE DE GENERATION DE CODE. UN ENVIRONNEMENT DE SUPPORT DE LA METHODOLOGIE A ETE DEVELOPPE FACILITANT AINSI LA SPECIFICATION ET LA VALIDATION D'APPLICATIONS. ENFIN, CETTE APPROCHE A ETE EXPERIMENTEE ET VALIDEE PAR LA SPECIFICATION D'UNE APPLICATION: ACHAT ELECTRONIQUE
Author: ABDEL MOUMEN.. AGOULMINE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 218
Get Book Here
Book Description
LA COMPLEXITE DE MISE EN UVRE DES SYSTEMES DISTRIBUES EST LIEE AUX PROBLEMES D'ORGANISATION DES DIFFERENTES ACTIONS A MENER POUR LA SPECIFICATION, CONCEPTION, VERIFICATION, ET DEVELOPPEMENT DE CES SYSTEMES, MAIS AUSSI, A LA DIFFICULTE DE MAITRISER DYNAMIQUEMENT, LES INTERACTIONS DE MULTITUDES ENTITES UVRANT EN PARALLELES, COMMUNIQUANT, COOPERANT ET PARTAGEANT DES RESSOURCES COMMUNES. LE BUT DE CETTE THESE EST D'ETUDIER LES PROBLEMES DE COMPLEXITE DE SPECIFICATION DE SYSTEMES DISTRIBUES ET DE PROPOSER UNE APPROCHE METHODOLOGIQUE POUR LES RESOUDRE. L'APPROCHE FORMELLE POUR LE DEVELOPPEMENT DE SYSTEMES SEMBLE PROMETTEUSE, NEANMOINS, ELLE SOUFFRE D'UNE CERTAINE RETICENCE DE LA PART DES INDUSTRIELS A CAUSE DU NIVEAU TECHNIQUE NECESSAIRE A LEUR UTILISATION ET AU PEU D'OUTILS DISPONIBLES SUR LE MARCHE. LA SOLUTION PROPOSEE EST BASEE SUR DES TECHNIQUES SEMI-FORMELLES POUR LA SPECIFICATION DE HAUT NIVEAU ET FORMELLES POUR LA SPECIFICATION DE BAS NIVEAU PERMETTANT LA VALIDATION DU SYSTEME SPECIFIE. ELLE PERMET AINSI D'AIDER ET DE GUIDER LE CONCEPTEUR TOUT LE LONG DU PROCESSUS DE DEVELOPPEMENT. LE PROCESSUS DE DEVELOPPEMENT EST BASE SUR LE CONCEPT MULTI-FORMALISME ET SUR LES PROCESSUS D'ENRICHISSEMENT ET DE TRANSFORMATION. LE CONCEPT MULTI-FORMALISME PERMET D'UTILISATION, A CHAQUE PHASE DU PROCESSUS DE DEVELOPPEMENT, UN OU PLUSIEURS FORMALISMES PERMETTANT DE REPONDRE AUX OBJECTIFS DE CETTE PHASE (ENTITES/RELATIONS, RESEAUX EN CANAUX-AGENCES, RESEAUX DE PETRI COLORES ET TYPE DE DONNEES ALGEBRIQUES). LE ROLE DES PROCESSUS D'ENRICHISSEMENT ET DE TRANSFORMATION FOURNIR UN MOYEN UNE PROGRESSION COHERENT DE LA DESCRIPTION DU SYSTEME, DE LA PHASE D'ANALYSE DES BESOINS JUSQU'A LA PHASE DE GENERATION DE CODE. UN ENVIRONNEMENT DE SUPPORT DE LA METHODOLOGIE A ETE DEVELOPPE FACILITANT AINSI LA SPECIFICATION ET LA VALIDATION D'APPLICATIONS. ENFIN, CETTE APPROCHE A ETE EXPERIMENTEE ET VALIDEE PAR LA SPECIFICATION D'UNE APPLICATION: ACHAT ELECTRONIQUE
Author: Rudy Lauwereins
Publisher:
ISBN: 9780818671005
Category : Computers
Languages : en
Pages : 252
Get Book Here
Book Description
To help designers and developers of hardware/software systems knock together a working model more quickly, the 33 papers discuss models for system simulation and emulation in a hierarchical sense, software-to-hardware mapping, software prototyping and validation, prototyping environments of hardware
Author: CHRISTINE.. ECAULT
Publisher:
ISBN:
Category :
Languages : fr
Pages : 102
Get Book Here
Book Description
EXPERIMENTATION SUR UN SYSTEME REEL DU PRINCIPE DE VALIDATION D'ALGORITHMES DISTRIBUES, PAR LA METHODE DES TESTS DE SPECIFICATION. PROPOSITION D'UN OUTIL DE VERIFICATION AUTOMATIQUE DE LA SPECIFICATION D'ALGORITHMES DISTRIBUES A PARTIR DES TRACES
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: Vincent Hilaire
Publisher:
ISBN:
Category :
Languages : fr
Pages : 223
Get Book Here
Book Description
LE TRAVAIL PRESENTE DANS CETTE THESE S'INSCRIT DANS LE CADRE D'UNE DEMARCHE METHODIQUE POUR LA CONSTRUCTION DE SPECIFICATIONS FORMELLES DE SYSTEMES MULTI-AGENTS. L'IDEE DE BASE EST DE DEFINIR DE TELS SYSTEMES COMME UN ENSEMBLE D'ENTITES METTANT EN OEUVRE DES COMPORTEMENTS GENERIQUES, DES ROLES, ENTRE LESQUELS DES INTERACTIONS SONT SPECIFIEES. CES ROLES ET CES INTERACTIONS SONT STRUCTURES EN UNITES APPELEES ORGANISATIONS. POUR CONCEVOIR LES SPECIFICATIONS DEDUITES DE CETTE DEMARCHE, UN LANGAGE D'EXPRESSION D'OBJETS ACTIFS ET REACTIFS EST PROPOSE. CE LANGAGE EST BASE SUR L'UTILISATION DE DEUX FORMALISMES, OBJECT-Z ET STATECHARTS. LA COMPOSITION DE CES FORMALISMES FAIT L'OBJET D'UNE ETUDE ET SE DECOMPOSE EN UN ENSEMBLE DE REGLES QUI AUTORISE LEUR INTEGRATION SYNTAXIQUE ET SEMANTIQUE. CE LANGAGE MULTI-FORMALISME EST CARACTERISE PAR : UN POUVOIR D'EXPRESSION SUFFISANT POUR SPECIFIER LES DIFFERENTS ASPECTS DES SMA, DES OUTILS POUR ANALYSER UNE SPECIFICATION ET LA POSSIBILITE DE RAFFINEMENTS POUR ABOUTIR A UNE SPECIFICATION PROCHE D'UNE IMPLEMENTATION. NOTRE DEMARCHE DE SPECIFICATION DE SYSTEMES MULTI-AGENTS S'INSCRIT DANS UN PROCESSUS DE PROTOTYPAGE ET DE VERIFICATION. LE PROTOTYPAGE REALISE GRACE A L'ANIMATION DES STATECHARTS PERMET DE VALIDER LA SPECIFICATION PAR RAPPORT AU COMPORTEMENT ATTENDU DU SYSTEME. LA VERIFICATION EST RENDU POSSIBLE PAR L'EXPRESSION DE LA SEMANTIQUE DU LANGAGE MULTI-FORMALISMES AVEC DES SYSTEMES DE TRANSITIONS ET A L'UTILISATION DE CES SYSTEMES DE TRANSITIONS PAR DES LOGICIELS ADEQUATS. LA SPECIFICATION D'UN SYSTEME MULTI-AGENTS EST BASE SUR UN FRAMEWORK EXPRIME AVEC LE LANGAGE MULTI-FORMALISME QUI FORMALISE LES CONCEPTS DE ROLE, INTERACTION ET ORGANISATION. NOUS CONCRETISONS CETTE ETUDE PAR LA SPECIFICATION DE DEUX SYSTEMES MULTI-AGENTS SUR LESQUELLES NOUS METTONS EN OEUVRE LE PROTOTYPAGE ET LA VERIFICATION.
Author: ALIOUNE.. DIAGNE
Publisher:
ISBN:
Category :
Languages : fr
Pages : 204
Get Book Here
Book Description
LA SPECIFICATION DE SYSTEMES REPARTIS COMPLEXES ET OUVERTS EXIGE DE GERER LA QUALITE LE LONG DE LEUR CYCLE DE VIE ET DE DISPOSER DE REFERENCE COMMUNE PERMETTANT DE LES FEDERER. IL FAUT DONC AVOIR UN SUPPORT METHODOLOGIQUE ET DES METHODES FORMELLES DE VERIFICATION ET DE VALIDATION. LE SUPPORT METHODOLOGIQUE PEUT ETRE FOURNI PAR LES METHODES ORIENTEES-OBJET DE COUVERTURE DU CYCLE DE VIE (DE L'ANALYSE A LA REALISATION) QUI ONT ACQUIS UN STATUT DE STANDARDS COMMERCIAUX. BASE SUR LES MEMES CONCEPTS QUE CES METHODES, LE MODELE DE REFERENCE DES TRAITEMENTS REPARTIS OUVERTS PROPOSE UNE BASE FEDERATRICE DE SYSTEMES REPARTIS OUVERTS. LA TECHNOLOGIE OBJET ET LE MODELE DES TRAITEMENTS REPARTIS OUVERTS OFFRE UNE PREMIERE BASE DE FEDERATION POUR LES FAIRE COOPERER EN DISPOSANT DE POINTS DE VUE NECESSAIRES A LEUR UNIFICATION. MAIS CETTE INTEROPERABILITE DOIT AUSSI OBEIR A DES CONTRAINTES DE SURETE ET DE FIABILITE QUI NE SONT PAS QUE DU RESSORT DE L'ARCHITECTURE FEDERATRICE. EN EFFET, LE CARACTERE CRITIQUE DE L'INTEROPERABILITE - ENTRE SYSTEMES OU COMPOSANTS D'UN MEME SYSTEME - DEPEND DE LA CAPACITE DE CHACUN A ASSURER LE ROLE QUI LUI EST DEVOLU EN RESPECTANT DES PROPRIETES LOCALES DONT DEPEND SON FONCTIONNEMENT ET CELUI DE SON ENVIRONNEMENT. LA FORMALISATION ET LA VERIFICATION DE TELLES PROPRIETES FONT L'OBJET DE CETTE THESE. PARMI LES NOMBREUX CRITERES DE QUALITE, NOUS NOUS INTERESSONS A CEUX QUI CONCERNENT LE CONTROLE. NOUS AVONS DEFINI UN MODELE DE COMPOSANT BASE-OBJET CONFORME AUX PRINCIPES DE BASE DU MODELE DE REFERENCE DES TRAITEMENTS REPARTIS OUVERTS. CE MODELE DE COMPOSANT PERMET EN OUTRE D'EXPRIMER LES ASPECTS LIES AU CONTROLE DANS LES SYSTEMES REPARTIS DE MANIERE CONSISTANTE POUR DES ACTIVITES DE VERIFICATION ET DE VALIDATION. LE MODELE DE COMPOSANT EST MIS EN CORRESPONDANCE DE MANIERE FORMELLE AVEC UN MODELE DE RESEAU DE PETRI COLORE MODULAIRE. SUR LE MODELE MODULAIRE DE RESEAU DE PETRI, NOUS AVONS DEFINI DES ALGORITHMES DE VERIFICATION DES PRINCIPALES PROPRIETES DE CONTROLE DANS UNE APPROCHE D'EVALUATION DE MODEL (MODEL CHECKING). ON PEUT VERIFIER LA SURETE ET LA FIABILITE DANS UNE DEMARCHE INCREMENTALE ET EN TIRANT PROFIT DE LA MODULARITE DES COMPOSANTS POUR EVITER L'EXPLOSION COMBINATOIRE.
Author: NABIL.. ZAKHAMA
Publisher:
ISBN:
Category :
Languages : fr
Pages : 307
Get Book Here
Book Description
LE PROTOTYPAGE DES SYSTEMES D'INFORMATION SE LIMITE FREQUEMMENT A CERTAINES PHASES DU CYCLE DE DEVELOPPEMENT, LE PLUS SOUVENT A LA DEFINITION DES BESOINS, ET PARFOIS A LA CONCEPTION. LE PROTOTYPAGE SE SITUE GENERALEMENT SOIT AU NIVEAU DES MODELES EXECUTABLES, SOIT AU NIVEAU DU CODE CIBLE ; DE CE FAIT LES PROTOTYPES SONT HOMOGENES. LES APPROCHES INCREMENTALES AMELIORENT LES PROBLEMES PRECITES, MAIS UNE ETAPE D'IMPLEMENTATION MANUELLE COMPROMET LA COHERENCE FORMELLE DU MODELE DU SYSTEME. DANS LES APPROCHES TRANSFORMATIONNELLES, LA COHERENCE EST PRESERVEE AU DETRIMENT DE L'ETAPE DE CONCEPTION QUI, QUOIQUE CREATIVE ET INFORMELLE, PERMET CEPENDANT L'OPTIMISATION DU PROTOTYPE. LA GENERATION DU CODE CIBLE A PARTIR DES MODELES SEMI-FORMELS RESOUT LE PROBLEME DES PERFORMANCES, AU PRIX D'UNE PERTE DE FORMALISATION. JE PROPOSE UNE APPROCHE FEDERATRICE BASEE SUR LE PRTHF (PROTOTYPAGE REPARTI TOTALEMENT HETEROGENE ET FORMEL) SELON UN CYCLE DE DEVELOPPEMENT CONTINU. NOTRE METHODOLOGIE ELECTRIQUE ET MULTI-FORMALISMES SE BASE SUR UN PROCESSUS D'ANALYSE ET PROTOTYPAGE QUI PERMET DE GENERER L'IMAGE CODE CIBLE DES MODELES DE SPECIFICATION/CONCEPTION. UN FORMALISME CENTRAL DU TYPE RESEAUX DE PETRI AIDE A VALIDER FORMELLEMENT LE MODELE SEMI-FORMEL FORMALISE, ET DE LE TRANSFORMER ENSUITE EN CODE CIBLE. NOUS GERONS CONVENABLEMENT L'ENVIRONNEMENT DE FACON A GARANTIR UNE VALIDATION MODULAIRE ET HOMOGENE DU SYSTEME, DEPUIS SA SPECIFICATION A SON IMPLEMENTATION. GRACE A NOTRE OUTIL, IL EST POSSIBLE D'EXECUTER UN PRTHF, ET DE COMPLETER AINSI LA VERIFICATION FORMELLE PAR LA VALIDATION COMPORTEMENTALE. NOTRE CONTRIBUTION RENFORCE LES CONVERGENCES TECHNIQUE ET OPERATIONNELLE. NON SEULEMENT LE PRTHF PERMANENT DU SYSTEME IMPLIQUE L'INTEGRATION PRECOCE ET CONTINUE, MAIS IL RENFORCE AUSSI LA VALIDATION PRECOCE ET CONTINUE. D'AUTRE PART, LE PRTHF AUGMENTE LA PARTICIPATION DE L'UTILISATEUR FINAL, ET MINIMISE AINSI L'EFFET TUNNEL. PAR AILLEURS, LE PRTHF FAVORISE LA GESTION DU RISQUE, AINSI QUE LE DEVELOPPEMENT PARALLELE ET REPARTI
Author: Joubine Dustzadeh
Publisher:
ISBN:
Category :
Languages : fr
Pages : 95
Get Book Here
Book Description
FACE A LA GLOBALISATION DES SYSTEMES D'INFORMATIONS, L'INDUSTRIE DES TELECOMMUNICATIONS SE TROUVE CONFRONTEE A DE NOMBREUX PROBLEMES POUR REPONDRE A LA DEMANDE CROISSANTE EN TERME D'OFFRE DE NOUVEAUX SERVICES. EN EFFET, LES COUTS ET LES DELAIS POUR L'INTRODUCTION, LE DEPLOIEMENT, LA GESTION ET L'EXTENSION DE NOUVEAUX SERVICES SONT IMPORTANTS. AVEC L'EMERGENCE DES RESEAUX LARGE BANDE ET LA DEREGULATION DES OPERATEURS DE TELECOMMUNICATIONS, CETTE SITUATION NE S'AMELIORE GUERE. PAR CONSEQUENT, UN MODELE UNIFIE DOIT ETRE DEFINI POUR PERMETTRE LA MISE EN PLACE D'UNE ARCHITECTURE DISTRIBUEE DE SYSTEMES OUVERTS ET HETEROGENES TOUT EN FACILITANT L'EVOLUTION DES RESEAUX EXISTANTS AINSI QUE L'INTEGRATION DE NOUVELLES TECHNOLOGIES TELLE QUE L'ATM DANS CETTE ARCHITECTURE. A L'HEURE ACTUELLE, PLUSIEURS ORGANISATIONS INTERNATIONALES IMPORTANTES COMME ITU-T, ISO, TINA-C, OMG, OSF SONT EN TRAIN DE DEFINIR DES MODELES D'ARCHITECTURE DE SYSTEMES REPARTIS ORIENTES OBJET COMME CADRE DE TRAVAIL GENERIQUE POUR LA REALISATION DE NOUVEAUX SERVICES. ODP (OPEN DISTRIBUTED PROCESSING) - UNE ACTIVITE DE STANDARDISATION COMMUNE A L'ITU-T ET L'ISO - DEFINIT UNE ARCHITECTURE DISTRIBUEE ORIENTEE OBJET QUI CONVIENT A LA FOIS AUX SERVICES DE TYPE INFORMATION TELS QUE LES APPLICATIONS CO-OPERATIVES ET LES SYSTEMES D'INFORMATION DISTRIBUES, AINSI QU'AUX APPLICATIONS DE TYPE RESEAU TELLES QUE LES RESEAUX INTELLIGENTS, LES APPLICATIONS MULTI-MEDIA ET LA GESTION DE RESEAUX DE TELECOMMUNICATIONS. LE MODELE DE REFERENCE ODP DEFINIT CINQ POINTS DE VUE POUR SPECIFIER UN SYSTEME A DES NIVEAUX D'ABSTRACTIONS DIFFERENTS. CES POINTS DE VUE SONT : ENTREPRISE, INFORMATION, TRAITEMENT, INGENIERIE ET TECHNOLOGIE. ODP PRECONISE L'UTILISATION DES LANGAGES FORMELS POUR DEUX RAISONS : (I) POUR DECRIRE ET VALIDER LES CONCEPTS GENERIQUE D'ODP, ET (II) POUR LES UTILISER COMME DES LANGAGES DE SPECIFICATION. POUR CHAQUE POINT DE VUE, PLUSIEURS METHODES DE SPECIFICATION PEUVENT ETRE EMPLOYEES, ET RECIPROQUEMENT, UNE MEME METHODE DE SPECIFICATION PEUT ETRE UTILISEE DANS PLUSIEURS POINTS DE VUE. NEANMOINS, UNE DECOMPOSITION DE SPECIFICATION D'UN SYSTEME REPARTI SUR PLUSIEURS POINTS DE VUE EN UTILISANT DES METHODES BASEES SUR DES PARADIGMES ORIENTES OBJET ET FORMELS DIFFERENTS POSE CERTAINES DIFFICULTES MAJEURES QUE NOUS ABORDERONS DANS CETTE THESE. NOUS NOUS INTERESSONS PARTICULIEREMENT AUX POINTS DE VUE INFORMATION ET TRAITEMENT DU MODELE DE REFERENCE ODP. PLUS PRECISEMENT, NOUS ETUDIONS L'ADEQUATION DE DIFFERENTS LANGAGES DE SPECIFICATION POUR LES POINTS DE VUE INFORMATION ET DE TRAITEMENT ET NOUS PROPOSONS UNE FORMALISATION POUR OMT (OBJECT MODELING TECHNIQUE) - UN LANGAGE DE SPECIFICATION ORIENTE OBJET LARGEMENT UTILISE AU NIVEAU INFORMATIONNEL. NOUS PROPOSONS EGALEMENT UN ENSEMBLE DE REGLES GENERIQUES POUR ASSOCIER LA SEMANTIQUE DU MODELE INFORMATIONNEL A CELLE DU MODELE DE TRAITEMENT D'UN SYSTEME OUVERT REPARTI. CES TRAVAUX CONTRIBUENT A LA DEFINITION DE LA SEMANTIQUE FORMELLE DU POINT DE VUE INFORMATION DE L'ODP.
Author: OMAR.. DRISSI-KAITOUNI
Publisher:
ISBN:
Category :
Languages : fr
Pages : 131
Get Book Here
Book Description
PRESENTATION DES PRINCIPAUX PROBLEMES DE LA VALIDATION, SUIVIE DE L'ETUDE DE LA TECHNIQUE DE VALIDATION D'IMPLANTATION PAR OBSERVATION CONTINUE DU SYSTEME SOUS TEXTE. L'APPROCHE EST PRESENTEE EN DEUX PARTIES. LA PREMIERE PARTIE EST CONSACREE A LA CLASSIFICATION DES PROPRIETES DES SYSTEMES DISTRIBUES, LEUR SPECIFICATION EN LOGIQUE TEMPORELLE LINEAIRE SUR DES TRACES D'EXECUTIONS FINIES ET LEUR COMPILATION EN AUTOMATES ACCEPTEURS. DANS LA DEUXIEME PARTIE, LE PROBLEME POSE PAR L'OBSERVATION D'UN ORDRE PARTIEL DES EVENEMENTS DANS UN CONTEXTE DISTRIBUE EST ETUDIE. DES ALGORITHMES DE CONSTRUCTION ET DE VERIFICATION DES OBSERVATIONS POUR UNE VALIDATION CENTRALISEE OU DISTRIBUEE SONT PROPOSES
Author: Michel Devy
Publisher:
ISBN:
Category :
Languages : fr
Pages : 207
Get Book Here
Book Description
Introduction: la conception d'un système réparti. Trois méthodes d'analyse d'un protocole élémentaire. Un formalisme pour l'analyse des protocoles: les réseaux de Petri. Conception modulaire d'un protocole élémentaire. Conception multi-niveaux par vues abstraites du protocole global. Application: le systeme comitra
