UNE APPROCHE MULTI-FORMALISMES DE SPECIFICATION DE SYSEMES REPARTIS 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 APPROCHE MULTI-FORMALISMES DE SPECIFICATION DE SYSEMES REPARTIS PDF full book. Access full book title UNE APPROCHE MULTI-FORMALISMES DE SPECIFICATION DE SYSEMES REPARTIS by ALIOUNE.. DIAGNE. Download full books in PDF and EPUB format.
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: 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: 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:
Publisher:
ISBN:
Category : Object-oriented programming (Computer science)
Languages : en
Pages : 420
Get Book Here
Book Description
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: 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: Alan Burns
Publisher: Addison Wesley Publishing Company
ISBN:
Category : Computers
Languages : en
Pages : 600
Get Book Here
Book Description
A survey of real-time systems and the programming languages used in their development. Shows how modern real-time programming techniques are used in a wide variety of applications, including robotics, factory automation, and control. A critical requirement for such systems is that the software must
Author: Max Giordano
Publisher: John Wiley & Sons
ISBN: 1118587529
Category : Business & Economics
Languages : en
Pages : 389
Get Book Here
Book Description
This book gives a comprehensive view of the most recent major international research in the field of tolerancing, and is an excellent resource for anyone interested in Computer Aided Tolerating. It is organized into 4 parts. Part 1 focuses on the more general problems of tolerance analysis and synthesis, for tolerancing in mechanical design and manufacturing processes. Part 2 specifically highlights the simulation of assembly with defects, and the influence of tolerances on the quality of the assembly. Part 3 deals with measurement aspects, and quality control throughout the life cycle. Different measurement technologies and methods for estimating uncertainty are considered. In Part 4, different aspects of tolerancing and their interactions are explored, from the definition of functional requirement to measurement processes in a PLM approach.
Author: Leslie Rainer
Publisher: Getty Publications
ISBN: 1606060430
Category : Architecture
Languages : fr
Pages : 438
Get Book Here
Book Description
Earthen architecture constitutes one of the most diverse forms of cultural heritage and one of the most challenging to preserve. It dates from all periods and is found on all continents but is particularly prevalent in Africa, where it has been a building tradition for centuries. Sites range from ancestral cities in Mali to the palaces of Abomey in Benin, from monuments and mosques in Iran and Buddhist temples on the Silk Road to Spanish missions in California. This volume's sixty-four papers address such themes as earthen architecture in Mali, the conservation of living sites, local knowledge systems and intangible aspects, seismic and other natural forces, the conservation and management of archaeological sites, research advances, and training.
Author: Mitchell Whitelaw
Publisher: MIT Press
ISBN: 9780262232340
Category : Art
Languages : en
Pages : 302
Get Book Here
Book Description
The first detailed examination of a-life art, where new mediaartists adopt, and adapt, techniques from artificial life.
Author:
Publisher:
ISBN:
Category : Computer programming
Languages : fr
Pages : 632
Get Book Here
Book Description
