Validating conceptual specifications through model execution

摘要

Traditional information modelling methods have been concerned with the important task of checking whether a model correctly and adequately describes a piece of reality and/or the users' intended requirements, that is, with model validation. In this paper, we present a new method for model validation which can be applied to conceptual models based on the concept of transaction, It provides explanations about the results of model execution. We extend the facilities of methods developed so far in this context by providing answers to questions about the value of derived information, to questions about how an information can be made true or false, and to hypothetical questions.