Finite satisfiability of UML class diagrams with constrained class hierarchy

ACM Trans. Softw. Eng. Methodol., no. 3 (2013): ArticleNo.24-ArticleNo.24

Cited by: 24|Views12
EI

Abstract:

Models lie at the heart of the emerging model-driven engineering approach. In order to guarantee precise, consistent, and correct models, there is a need for efficient powerful methods for verifying model correctness. Class diagram is the central language within UML. Its correctness problems involve issues of contradiction, namely the con...More

Code:

Data:

ZH
Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments