Technical University of Munich, Department of Computer Science
MQM Paper: [Heller/Struss 96a]

Ulrich Heller, Peter Struss

Transformation of Qualitative Dynamic Models - Application in Hydro-Ecology

In: Workshop Notes of the 10th International Workshop on Qualitative Reasoning QR-96, AAAI Press, pages 83-92, 1996.

Abstract

Hydro-ecological systems comprise complex interaction among physical, chemical, and biological processes. Compositional modeling, i. e. creatring a systzem's behavior model by aggregating models of its constituents, is crucial for making the modeling task feasible. However, the composed model is often too fine-grained for a particular task, for instance, in containing too many irrelevant intermediate variables or obscuring the basic interdependencies. For this reason, the model may have to be transformed and simplified. The paper presents a graph-oriented representation for dynamic systems closely related to existing process languages, and a set of syntactic operators that transform such a model while preserving certain properties of the model. The formalism is motivated and illustrated by an example taken from our work on modeling hydro-ecological systems, but we also demonstrate its utility for technical applications.

Download


If you have comments or suggestions, email me at mauss@in.tum.de
created: Anton Seidl, Jan 27, 1997, last updated: Jakob Mauss, December 4, 1998