Abstract
Development of complex software systems demands techniques to reduce the complexity of descriptions of such systems, both by using different views and different levels of detail. Such abstractions, however, introduce possible sources of inconsistency. In a model-based approach, this problem can be tackled methodically using variant and invariant conceptual as well as semantical consistency conditions. Supplying these techniques in a CASE-based approach ensures the quality of the development process while maintaining its efficiency.