Web-based diagnosis of model specifications

Within the domain of verification, validation and accreditation (VV&A) research, the automated diagnosis of model specifications has received little attention. As part of the limited effort focused on this important area, the Condition Specification represents one of the most promising model specification forms that is amenable to diagnosis. In addition, Web-based technologies now offer exciting new possibilities to extend our knowledge in this and other areas of simulation research. This paper introduces the SimDOG Project: the development of prototype tools, written in Java, for the on-line and off-line (standalone) diagnosis of graph-based representations of Condition Specifications