Description des besoins fontionneles des systèmes multi-agents temps réel à l'aide de real time maude
Type doc. :
Langue :
Auteur(s) :
Année de soutenance:
Afficher le Résumé
Les objectif fixés pour ce projet sont les suivants : (1) Détnjr une méthodologie pour aider les à formaljser les besoins fonctionnels des systèmes multi-agents temps réel en le formalisme de modélisation graphique AUML avec le langage de spécication lme Maude. (2) Determmer quelles representatlons d'Agent UML sont à modjter compte des restrictions temporelles. (3) Montrer qu'Agent UML peut être appliqué à grandeur nature, dans notre contexte nous avons choisi la gestion de chane (ou Supply Chain Management "SCM"). Spécification formelle; Système Multi-Agents temps réel; Besons F onctionnels ' Agent Time Maude ; Logique de réecriture ; Supply Chain Management (SCM).
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 LAO TH C1 | BIB-Centrale / Thèses | interne | disponible |