Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems.
Bernhard BeckertMattias UlbrichBirgit Vogel-HeuserAlexander WeiglPublished in: ICTAC (2022)
Keyphrases
- production system
- specification language
- domain specific
- multistage
- formal specification
- programming language
- description language
- production process
- certainty factor
- domain independent
- database
- markov decision
- databases
- multiprocessor architecture
- expert systems
- production rules
- general purpose
- control structure
- orders of magnitude
- production line
- scheduling jobs
- mixed model assembly
- software environment
- lot streaming
- case study
- artificial intelligence