Towards Validation of UML Design Model

Abstract

Abstract. Design models of model-driven engineering support efficient and error free designing i.e. independent of implementation details. Ensuring design model consistencies is an important activity in software development. One way of achieving it, is by preventing introduction of inconsistencies in the initial phases of software development. This can be realized through checking of inconsistencies in model represented through UML class diagram. Design models are based on certain design rules. In our case validation of design model is done against these design rules to find inconsistencies in the model. Validation of design rules is based on predicate logic while validation of design models against validated design rules is based on XML (Extensible Markup Language) and XSD (XML Schema Definition). The method has been illustrated with a case study.