Doc - Bibliography TIMS is a system prototyping tool to help people specifying and validating behaviour aspects. The tool was originally intended for the specification of network management interfaces.
Users can execute and continuously develop their models in an interactive simulation environment .
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 .