Earticle

Model-Driven Engineering (MDE) tries to reduce the effort spent on software development by generating codes from models. People concentrate their minds on the transformation between models and models, or between models and codes. People also concentrate on checking consistency between different models such as consistency between a class diagram and a sequence diagram and consistency between a sequence diagram and a state machine diagram. Checking relationship consistency and class redundancy in a class model is still important but ignored in recent years. This paper concentrates on relationship problems between classes in a class diagram and proposes methods of checking various relationship problems. We address the redundancy of a class’s operations and attributes. We identify a large range of the problems for class diagram. Our research is based on the relationship abstraction rules.