The paper establishes a conceptual framework for viewing engineering design as a decomposition of the design problem into multiple models. Also described is a computational framework for iteratively refining designs through analysis and interpretation of candidate solutions. In doing so specific evaluation objectives and design descriptions are mapped to specific evaluation, analysis and interpretation models. Finally, the paper describes an implemented tool which uses the framework for evaluating a class of discrete event systems
Date of Conference: 1-2 Apr 1991