HP Labs Technical Reports
Coherent Models for Object-Oriented Analysis
Hayes, Fiona; Coleman, Derek
Abstract: Analysis is intended for the formulation and communication of domain descriptions. Consequently, the notations used must be intuitive, expressive and precise. 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.
Back to Index