The Community for Technology Leaders
Engineering of Computer-Based Systems, IEEE International Conference on the (2007)
Tucson, Arizona
Mar. 26, 2007 to Mar. 29, 2007
ISBN: 0-7695-2772-8
pp: 359-370
Thomas Triebsees , University of the German Federal Armed Forces Munich, Germany
Uwe M. Borghoff , University of the German Federal Armed Forces Munich, Germany
Model transformation has applications in many areas as, e.g., in model-driven software development or automated knowledge exchange. When applied, model transformations usually have in common that the transformation process shall preserve certain properties. In model-driven software development, e.g., abstract models are transformed into more specific ones while preserving the behavior of the specified software system. In this paper, we present a model transformation approach that implements a preservation-centric view. We introduce a formal preservation language that allows transformation algorithms to be computed automatically. Additionally, these generated transformations can be proven to respect specified preservation requirements. We demonstrate our approach using a systems specification example that stems from the digital archiving world. We specify a web-archiving system that consists of two components each of which uses its own website model for storage. Internal processes necessitate exchanging websites between these two components and, thus, model transformation. We apply our preservation language and show how the algorithm generation procedure generates a transformation algorithm that guarantees an unchanged external view on the transformed websites.

U. M. Borghoff and T. Triebsees, "A Theory for Model-Based Transformation Applied to Computer-Supported Preservation in Digital Archives," 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07)(ECBS), Tucson, AZ, 2007, pp. 359-370.
98 ms
(Ver 3.3 (11022016))