<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>10</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Hartmann, T.</style></author><author><style face="normal" font="default" size="100%">Jungclaus, R.</style></author><author><style face="normal" font="default" size="100%">Saake, G.</style></author></authors></contributors><titles><title><style face="normal" font="default" size="100%">Animation Support for a Conceptual Modelling Language</style></title><secondary-title><style face="normal" font="default" size="100%">Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">1993</style></year></dates><publisher><style face="normal" font="default" size="100%">LNCS 720, Springer, Berlin</style></publisher><pages><style face="normal" font="default" size="100%">56-67</style></pages><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">The first phase in developing information systems is often called conceptual modelling phase. The model constructed is the first formal document describing the desired system. The conceptual model must deal with structural \em and behavioural aspects of the world. The complexity of such a model often prevents a detailed understanding by the later users. One way to estimate if (s)he really gets what (s)he wants are prototype systems constructed by conventional programming. We propose a way to construct prototypes from formal specifications by means of transformation into a kernel language that can be executed in a suitable distributed runtime environment. We introduce the modelling language, the basic execution mechanism, and the basic architecture of the runtime system.</style></abstract><label><style face="normal" font="default" size="100%">HJS93</style></label></record></records></xml>