A problem specification consists of a Global Signature standing at the beginning of the document and a set of Description Classes. The description class at the end of the document is called Main Description Class (cf. Figure 1).
In the following we introduce in detail the structure of a description class. Global signature (cf. Section 2.2) and main description class (cf. Section 2.3) are explained subsequently as special cases of a description class.
