Jocelyn Simmonds, M. Cecilia Bastarrica, Nancy Hitschfeld-Kahler, Sebastián Rivas. A Tool Based on DL for UML Model Consistency Checking. International Journal of Software Engineering and Knowledge Engineering, 18(6):713-735, 2008. [doi]
@article{SimmondsBHR08,
title = {A Tool Based on DL for UML Model Consistency Checking},
author = {Jocelyn Simmonds and M. Cecilia Bastarrica and Nancy Hitschfeld-Kahler and Sebastián Rivas},
year = {2008},
doi = {10.1142/S0218194008003829},
url = {http://dx.doi.org/10.1142/S0218194008003829},
tags = {rule-based, model checking, meta-model, UML, consistency, Meta-Environment},
researchr = {https://researchr.org/publication/SimmondsBHR08},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {18},
number = {6},
pages = {713-735},
}