A modeling environment for decision support systems

摘要

We describe a formal framework for modeling and prototyping complex systems. Our framework consists of a meta-model for discrete event systems, a language based upon this meta-model and a software environment for editing and validating system descriptions. The possibilities for using our framework for decision support systems are indicated and illustrated by a job shop planning example.