Towards Validation of UML Design Model

DOI

10.2991/iccasp-16.2017.105How to use a DOI?

Keywords

UML, Design Rules, Design Model, Predicate Logic, Consistency.

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.

Copyright

© 2017, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - A. Mishra
AU  - D. Yadav
PY  - 2016/12
DA  - 2016/12
TI  - Towards Validation of UML Design Model
BT  - Proceedings of the International Conference on Communication and Signal Processing 2016 (ICCASP 2016)
PB  - Atlantis Press
SP  - 749
EP  - 760
SN  - 1951-6851
UR  - https://doi.org/10.2991/iccasp-16.2017.105
DO  - 10.2991/iccasp-16.2017.105
ID  - Mishra2016/12
ER  -