Valid Time in a Model Driven Framework

Abstract

This thesis presents a framework for modeling and developing temporal information systems. The framework defines a model driven development process which automatically transforms temporal system models into executable systems.

Temporal applications have semantics not represented in conventional modeling languages, and the main contribution in this case is a temporal extension to an existing UML profile. The UML profile is extended with temporal concepts and constructs to provide a temporal conceptual modeling language. Temporal features are introduced by model elements defined with valid time semantics, that is, the information model captures earlier and possible future states as well as the current state of entities. The approach is based on timestamping entities with valid time intervals to represent when states of an entity were valid in the modeled reality.

Based on the semantically extended models designed using the temporal profile the framework allows automatic code generation of temporal information systems . Thus, we provide model driven tool support for developing temporal valid time applications.