Models are exercised the application of scenarios. The interactive simulation environment runs on UNIX boxes. It is built around Emacs , it has a GUI and useful debugging facilities such as execution backtracking. TIMS provides a suitable language and tool set to consider dynamic aspects or behavioural models, which is one of the most crucial points. The proposed behaviour language is a declarative action language extended iwth assertions .
Declarative actions provide a good level of abstraction for functional modelling .
Concretely the action language is based on the Scheme programming language. Concretely that means that parsers for supported DOC notations are present in the tool set. This approach allows users to integrate directly existing static models. TIMS Extensions TIMS can also be used to provide inter-operable reference configurations of DOC systems. Case Studies Four significant case studies have been performed.