One way to address this problem is to standardize the schemas to be integrated by applying a number of schema transformations to them. We formalize the notion of schema transformation in the context of a logic based modelling approach. We then introduce several transformations and show how they can be used in the view integration process. The development of a large information system is generally regarded as one of the most complex activities undertaken by organisations. Accordingly, a crucial factor is the level of support provided for the interaction process between the people involved during the requirements engineering process.
Animation is a multiple graphical view of a process in action.
Animation has been successfully employed in programming for designing, developing and debugging programs or monitoring their performance. This paper advocates that many benefits can be accrued from the use of visualisation techniques for the purpose of providing an indication of the dynamic behaviour of specifications, during the validation phase of Requirements Engineering. To this end, the paper describes a visualisation system which makes use of three interrelated conceptual models and their metamodel represented uniformly in a repository and an animation algorithm which generates graphical views corresponding to the behaviour of an application domain as specified by the conceptual models.