Skip to Main content Skip to Navigation
Reports

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

Abstract : 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.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00075519
Contributor : Rapport de Recherche Inria <>
Submitted on : Wednesday, May 24, 2006 - 6:23:23 PM
Last modification on : Monday, March 22, 2021 - 10:52:54 AM
Long-term archiving on: : Friday, May 13, 2011 - 12:42:15 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

124

Files downloads

199