Publications

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.

 We show how to build and execute models of concurrent/distributed production cells using some of the Unix system tools, in particular for text processing (Awk), process management (Bash) and information exchange (Mail). We use text files to represent the state of a cell, implement production operations as text-transformations, compose such operations into one or several processes for their sequential/concurrent execution, and allow remote processes (located in different cells) to communicate with each other by emails. The models are higly configurable, able to represent assembly lines, flexible manufacturing systems, even virtual organizations. We also formalise them in a specification language, to achieve abstraction and implementation-independence. A simple case study illustrates the presentation.

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.

 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 text transformations and compose such operations into a process for their sequential execution. As the models are implementation-dependent, we also provide their abstract formalisation in a specification language RSL. Two case studies illustrate the presentation.