@inproceedings{d77931de3ad5462fbc311b4f37806bd8,
title = "GARDIAN: A tool for validating rule-based modeling methods",
abstract = "A software modeling method provides concrete modeling guidelines. Use of the guidelines helps designers build rigorous software in a systematic manner. However, the observation of modeling guidelines heavily relies on individual developer. This paper presents a rule syntax and its tool support for describing and verifying the modeling guidelines of UML-based modeling methods. The rule syntax enables one to specify informative messages in a conditional structure that help understand violations of modeling guidelines. We also present tool support that implements the rule syntax to validate modeling guidelines for UML models. We use COMET, a design method for concurrent systems, to demonstrate the approach. We validate the guidelines of COMET for UML models of a robot navigation system and a robot patrol system.",
author = "Suntae Kim and Jintae Kim and Sooyong Park and Kim, \{Dae Kyoo\}",
year = "2009",
doi = "10.1109/QSIC.2009.29",
language = "English",
isbn = "9780769538280",
series = "Proceedings - International Conference on Quality Software",
pages = "161--166",
booktitle = "QSIC 2009 - Proceedings of the 9th International Conference on Quality Software",
note = "9th International Conference on Quality Software, QSIC 2009 ; Conference date: 24-08-2009 Through 25-08-2009",
}