ConMod: a system for conceptual consistency verification and communication

The ConMod system is a modelling tool for the construction, verification, and communication of user conceptual models. A basic premise behind the research is that consistency at the syntactic and lexical levels cannot counteract conceptual inconsistencies designed into a system, and a working definition of conceptual consistency is maintained in a user-extensible knowledge base. The system designer has the option to test the model for completeness and conceptual consistency based upon high-level knowledge of the types of objects in the model. ConMod also generates conceptual specifications for discussing the model with end users and prototyping and implementation teams. Finally, ConMod allows the conceptual structure of one model to be reused in a different model.