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.
Hee, van, K. M., Somers, L. J. A. M., & Voorhoeve, M. (1991). A modeling environment for decision support systems. Decision Support Systems, 7(3), 241-251. https://doi.org/10.1016/0167-9236(91)90041-9