Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP) (notice n° 23459)
| 000 -LEADER | |
|---|---|
| fixed length control field | 02996cam a2200385 4500 |
| 001 - CONTROL NUMBER | |
| control field | IMIST |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 110729n mr fre |
| 040 ## - CATALOGING SOURCE | |
| Description conventions | AFNOR |
| 041 1# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | fre |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER | |
| Classification number | 004.36 |
| Edition number | 22 |
| 100 ## - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Laassiri, Jalal |
| 245 #0 - TITLE STATEMENT | |
| Title | Spécification et vérification des systèmes informatiques distribuées conformément au modèle de référence du traitement réparti ouvert (RM-ODP) |
| Statement of responsibility, etc | Jalal,Laassiri; Sous la direction de Said El Hajji |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) | |
| Place of publication, distribution, etc | Rabat |
| Name of publisher, distributor, etc | Université Mohammed V - Agdal, Faculté des Sciences |
| Date of publication, distribution, etc | 2010 |
| 500 ## - GENERAL NOTE | |
| General note | Sous format papier |
| 502 ## - DISSERTATION NOTE | |
| -- | Université Mohammed V - Agdal |
| 505 ## - FORMATTED CONTENTS NOTE | |
| Formatted contents note | La conception et le design des systèmes distribués ont besoin d’un Framework structuré afin qu’ils puissent être gérés et contrôlés avec succès. L’objectif du Modèle de référence du traitement réparti ouvert (RM-ODP) est donc de définir ce Framework. C’est dans ce cadre que s’inscrit cette thèse. En effet, elle présente une approche basée sur la sémantique dénotationnelle à partir des spécifications informelles relatives au point de vue traitement et aussi au point de vue ingénierie dans le traitement réparti ouvert (ODP). La sémantique proposée se base aussi sur l’utilisation des langages UML et OCL afin de pouvoir effectuer des vérifications automatiques. Par ailleurs, la composante innovante de notre thèse, qui consiste en l’approche sémantique dénotationnelle, nous a permis d’identifier un sous-ensemble de concepts définis dans la norme RM-ODP et de décrire, en OCL, la formalisation des contraintes statiques et les clauses liées aux concepts d’ODP. En outre, nous avons mis l’accent sur la sémantique des concepts associés aux deux points de vue cités auparavant et de relever les correspondances entre les concepts du comportement du langage de traitement et les concepts du langage BPEL. Pour se faire, nous avons utilisé le ’mapping’ entre UML et BPEL et nous avons ainsi montré l’applicabilité de l’approche proposée. Nous nous sommes intéressés également au problème de l’utilisation d’un outil de preuve Event-B pour des spécifications et vérification de systèmes distribuées. Et enfin, nous avons spécifié une sémantique des concepts de bases de données en utilisant le langage d’ingénierie de RM-ODP. |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Système informatique |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | BPEL |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Comportement |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Langage de point de vue |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Sémantique dénotationnelle |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Vérification |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | RM-ODP |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Framework |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Spécification |
| 650 #4 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | Event-B |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | El Hajji, Said |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Zahid, Noureddine |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | El Marraki, Mohamed |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Bouhdadi, Mohamed |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | El Koutbi, Mohammed |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Rziza, Mohammed |
| 700 ## - ADDED ENTRY--PERSONAL NAME | |
| Personal name | El Hajji, Said |
| 710 ## - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | Université Mohammed V - Agdal |
| Subordinate unit | Faculté des Sciences |
| Withdrawn status | Lost status | Damaged status | Not for loan | Permanent Location | Current Location | Date acquired | Inventory number | Total Checkouts | Full call number | Barcode | Date last seen | Price effective from | Koha item type |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| La bibliothèque des sciences de l'ingénieur | La bibliothèque des sciences de l'ingénieur | Th-2004 | TH-004.36 LAA | 0000000008837 | 11/25/2016 | 11/25/2016 | Thèse universitaire |