Dentists often use occlusal splints in the management of occlusodontic problems. Because they are considered to provide non-invasive and reversible treatment they are therapeutic devices that conform well to the current philosophy governing protocols for therapy of the masticatory system. Proper design and placement of occlusal splints requires that they respond to precise indications and that ...

In this paper we introduce a structural and object-oriented model. We present applications of this model to the checking of some ill-formed classes. We focus on static class diagrams mixing inheritance and composition relations. We consider an approach based on the notion of class usefulness, i.e. finitely generated and with at least one defined value. We show that this allows us to eliminate s...