| Attributes | Values |
|---|
| type
| |
| Author
| |
| alternative label
| - DESIGN AND DEVELOPMENT OF A VERIFICATION TOOL FOR THE LOTOS LANGUAGE ON CONCERTO
|
| dc:subject
| - Thèses et écrits académiques
- SCIENCES APPLIQUEES : INFORMATIQUE, AUTOMATIQUE THEORIQUE, SYSTEMES
- OUTIL LOGICIEL/VALIDATION/LOGIQUE MODALE/GENIE LOGICIEL/VERIFICATION/SYSTEME REPARTI/INGENIERIE/LANGAGE SPECIFICATION/LANGAGE FORMEL/ARBRE SYNTAXIQUE/COMPOSITIONNALITE/LOTOS/CD
- SOFTWARE TOOL/VALIDATION/MODAL LOGIC/SOFTWARE ENGINEERING/VERIFICATION/DISTRIBUTED SYSTEM/ENGINEERING/SPECIFICATION LANGUAGE/FORMAL LANGUAGE/LOTOS/CD
|
| preferred label
| - CONCEPTION ET REALISATION D'UN OUTIL DE VERIFICATION POUR LE LANGAGE LOTOS SOUS CONCERTO
|
| Language
| |
| Subject
| |
| dc:title
| - CONCEPTION ET REALISATION D'UN OUTIL DE VERIFICATION POUR LE LANGAGE LOTOS SOUS CONCERTO
|
| note
| - CETTE THESE EST CONSACREE A LA CONCEPTION D'UN OUTIL DE VERIFICATION POUR LOTOS. LOTOS (LANGUAGE OF TEMPORAL ORDERING SPECIFICATION) EST UN LANGAGE DE SPECIFICATION FORMEL NORMALISE PAR L'ISO EN 1988. LES PROPRIETES A VERIFIER SUR LES SPECIFICATIONS SONT EXPRIMEES COMME DES FORMULES D'UNE LOGIQUE MODALE SIMILAIRE A LA LOGIQUE DE HENNESSY-MILNER. L'UN DES GRANDS PROBLEMES DES OUTILS DE VERIFICATION DES SYSTEMES DISTRIBUES EST L'EXPLOSION COMBINATOIRE DES MODELES GENERES (SYSTEMES D'ETATS/TRANSITIONS, GRAPHES,) PAR LES SPECIFICATIONS. LA THESE SE COMPOSE DE DEUX PARTIES. DANS LA PREMIERE PARTIE, NOUS PROPOSONS UNE METHODE PERMETTANT DE VERIFIER DES PROPRIETES SANS GENERATION DE SYSTEME D'ETATS/TRANSITIONS. NOUS AVONS DEFINI UN ENSEMBLE DE REGLES DE GESTION D'INDICATEURS SUR L'ARBRE SYNTAXIQUE. CES INDICATEURS FOURNISSENT L'ENSEMBLE DES ACTIONS PERMISES PAR UNE SPECIFICATION A TOUT MOMENT. LA FORMULE A VERIFIER GUIDE PAS A PAS L'EXPLORATION DE L'ARBRE SYNTAXIQUE DANS LE BUT DE VOIR SI LA PROPRIETE EST VRAI. UN PROTOTYPE IMPLANTANT CETTE METHODE A ETE DEVELOPPE EN UTILISANT L'ATELIER DE GENIE LOGICIEL CONCERTO. LA DEUXIEME PARTIE DE CETTE THESE PRESENTE UNE METHODE DE VERIFICATION COMPOSITIONNELLE. LA DECISION DE LA VERIFICATION D'UNE PROPRIETE F PAR UNE SPECIFICATION S DEPEND DE LA VERIFICATION DES COMPOSANTS DE F (SOUS-FORMULES) PAR LES DIFFERENTS COMPOSANTS DE S (SOUS-SYSTEMES). LE PROBLEME DE CETTE APPROCHE RESIDE DANS LA DECOMPOSITION DE LA FORMULE. NOTRE METHODE LE RESOUD EN TENANT COMPTE DE LA STRUCTURE DE LA SPECIFICATION POUR DERIVER LA STRUCTURE DES SOUS-FORMULES
|
| dc:type
| |
| http://iflastandar...bd/elements/P1001
| |
| rdaw:P10219
| |
| has content type
| |
| is primary topic
of | |
| is rdam:P30135
of | |
![[RDF Data]](/fct/images/sw-rdf-blue.png)
