A FRAMEWORK FOR CONSTRAINT-BASED MODELING

We propose a framework that provides a clear process and well-developed semantics for modeling complex systems using a constraint-based language. We describe the aspects of a model that are captured by a constraint-based rep-resentation, in terms of function-based and process-based modeling approaches. We propose a formal framework for building constraint-based models, and apply graph gram-mars to provide verification and analysis tools during the model construction process