Understanding constraint expressions in large conceptual schemas by automatic filtering

Abstract

Human understanding of constraint expressions (also called schema rules) in large conceptual schemas is very di cult. This is due to the fact that the elements (entity types, attributes, relationship types) involved in an expression are de ned in di fferent places in the schema, which may be very distant from each other and embedded in an intricate web of irrelevant elements. The problem is insignifi cant when the conceptual schema is small, but very signi cant when it is large. In this paper we describe a novel method that, given a set of constraint expressions and a large conceptual schema, automatically filters the conceptual schema, obtaining a smaller one that contains the elements of interest for the understanding of the expressions. We also show the application of the method to the important case of understanding the specication of event types, whose constraint expressions consists of a set of pre and postconditions. We have evaluated the method by means of its application to a set of large conceptual schemas. The results show that the method is eff ective and e cient. We deal with conceptual schemas in UML/OCL, but the method can be adapted to other languages.