Production modelling as shell programming: operations and processes

摘要

We demonstrate how to build and execute models of production systems using some of the Unix system tools, in particular for text processing (awk) and process management (bash). We use text files to represent the state of the system, implement production operations as fully automated text transformations and compose such operations into a process for their sequential execution. As the models are implementation-dependent, we also provide their formalisation in a specification language rsl. A simple case study illustrates the presentation.