Langage de production : description cohérente du court terme. (deuxième partie)

Résumé : Nous présentons dans ce papier un langage de description et de commande pour la gestion hiérarchisée de systèmes de production discrets. Le langage que nous développons garantit la cohérence des descriptions faites. Nous considérons le niveau de gestion du court terme d'un système de production comme un système d'information, nous spécifions algébriquement les types de données qu'il contient et nous montrons les propriétés de notre spécification. Nous donnons une implémentation de notre spécification dans un langage de spécification exécutable et nous discutons des interfaces syntaxiques avec la spécification.
Type de document :
Rapport
[Rapport de recherche] RR-1039, INRIA. 1989, pp.73
Liste complète des métadonnées

https://hal.inria.fr/inria-00075519
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:23:23
Dernière modification le : samedi 17 septembre 2016 - 01:06:50
Document(s) archivé(s) le : vendredi 13 mai 2011 - 12:42:15

Fichiers

Identifiants

  • HAL Id : inria-00075519, version 1

Collections

Citation

Jean Hilger. Langage de production : description cohérente du court terme. (deuxième partie). [Rapport de recherche] RR-1039, INRIA. 1989, pp.73. 〈inria-00075519〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

52