Current object-oriented analysis techniques satisfy the first two goals. However, they are informal and rely on domain knowledge for establishing semantics and consistency. In this paper, we present a set of formally based coherent models extending current informal techniques. The models have a precise semantics and they constitute a consistent description technique for domain analysis. Each model is described and its role in the analysis process is discussed.
Consistency checking between models is demonstrated.
The ideas are illustrated using a simple drawing application example.