Publicação
Production modelling as shell programming: concurrency and delegation
| Resumo: | We show how to build and execute models of concurrent and distributed production systems using some of the Unix tools for text processing (Awk), process management (Bash) and information exchange (Mail). We use plain text files to represent the state of the production cell, implement production operations as text-transformations, compose such operations into one or several processes for their sequential or concurrent execution and allow remote processes (located in different cells) to communicate with each other by sending emails. The models are highly configurable, able to represent assembly lines, flexible manufacturing systems, even virtual organisations. But they are also concrete and implementation-dependent, therefore we also present their abstract formalisation in a specification language RSL. |
|---|---|
| Autores principais: | Tomasz Janowski |
| Outros Autores: | Moreira, Francisco; Sousa, Rui M. |
| Assunto: | Production modeling Formal specification Executable models Distributed models Software tools |
| Ano: | 2000 |
| País: | Portugal |
| Tipo de documento: | artigo |
| Tipo de acesso: | acesso restrito |
| Instituição associada: | Universidade do Minho |
| Idioma: | inglês |
| Origem: | RepositóriUM - Universidade do Minho |
| Resumo: | We show how to build and execute models of concurrent and distributed production systems using some of the Unix tools for text processing (Awk), process management (Bash) and information exchange (Mail). We use plain text files to represent the state of the production cell, implement production operations as text-transformations, compose such operations into one or several processes for their sequential or concurrent execution and allow remote processes (located in different cells) to communicate with each other by sending emails. The models are highly configurable, able to represent assembly lines, flexible manufacturing systems, even virtual organisations. But they are also concrete and implementation-dependent, therefore we also present their abstract formalisation in a specification language RSL. |
|---|