Instance descriptions

An instance description describes a system instance.

In TIMe, system instance descriptions are organised in:

• Instance models that formally define the system instance, usually by configuration of some family;
• Implementations which are the instance specific implementations, such as configuration files;
• Auxiliary descriptions that provide supplementary documentation, for instance a test suite.