Production Language : coherent description of the short term (second part)
Langage de production : description cohérente du court terme (deuxième partie)
Résumé
In this paper we present a description and command language for hierarchical management of discrete production systems. The language is designed to guarantee coherency of any description and command it provides. Looking at the short term level of production system management as a information system we specify algebraically data types it contains and show properties of our specification. We give an implementation of our specification with an executable with an executable specification language and discuss the syntactic interfaces with the specification.
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.