|Title||Validating Object-Oriented Specifications through Animation|
|Publication Type||Conference Proceedings|
|Year of Conference||1997|
|Conference Name||9. Workshop Grundlagen von Datenbanke1 , Königslutter, Mai 20-23 1997|
|Publisher||Forschungsbericht Nr. 643, Fachbereich Informatik, Univ. Dortmund|
An important task in the conceptual modelling process of information systems is the validation of the model. The validation task has the objective of checking whether the model correctly and adequately expresses the requirements informally stated by the users. Different techniques and tools have been developed to support this task. We propose an animation tool for an object-oriented specification language. This tool generates executable specifications from conceptual model specifications on the same level of abstraction. In this way, the model behaviour can be observed and checked against the intended user requirements.