Extending Temporal Logic for Capturing Evolving Behaviour

The known approaches to object specification based on first-order temporal logic fail in capturing the often occurring need to change the dynamic behaviour of a system during lifetime of that system. Usually all possible behaviours have to be described in advance, i.e. at specification time. Therefore, we here present an extension going beyond first-order temporal logic. Now, it becomes possible to specify ways of dynamically changing the behaviour of a system during lifetime. This can be done by giving each object an additional (non-first-order) attribute. The value of this attribute contains a set of first-order formulas being the currently valid behaviour specification. In addition, this approach can easily be extended for introducing a way of default reasoning.