@unpublished {BaruzzoC07,
	title = {A Framework for Computer Aided Consistency Verification of UML Models},
	year = {2007},
	note = {\bibURL{http://www.dimi.uniud.it/comini/Papers/FramCAConVerUML/FramCAConVerUML.pdf}.},
	abstract = {In a UML model, different aspects of a system are covered by different diagrams and this bears the risk that an overall specification becomes inconsistent or incomplete. Hence, it is important to provide means to check the consistency and completeness of a model.

In this paper we propose a static verification framework which checks the mutual consistency of class, statechart, and sequence diagrams (without relying on existent code).

Our approach aims to keep the advantages of static verification and, at the same time, to avoid the weaknesses of other methods, either static or dynamic, which depend on non-UML formalisms. Indeed it does not require developers further (heavy) cognitive load and, moreover, does not force them to keep this external specifications synchronized with the model.},
	author = {Andrea Baruzzo and Marco Comini}
}
