When designing a representation, a designer implicitly formulates a method required to understand and use the representation effectively. This paper aims at making the method explicit, in order to help designers elicit their design choices. In particular, we present a set of concepts to systematically analyze what a user must theoretically do visually to find information. The analysis consists ...

UML class diagrams are widely used to model the static structure of object-oriented software systems. The textual language OCL, which is part of the UML, is used for formulating constraints that can not be modeled by the diagrams. In this paper, we extend OCL with elements of linear temporal logic. With this extended OCL, which we call TOCL, we want to give software engineers a user-friendly me...