A number of features in the IMA are designed to enforce discipline in model description and prevent misuse of reusable model components. To do so, the modeller will need to tell the IMA virtual machine that this is allowed. If we have calibrated our bug module for a temperature range of 10 to 30C, the IMA runtime will warn the experimenter that it's operating out of the intended range whenever the temperature goes lower or higher. Documentation is an IMA object and an integral component of module specification. The format for references is compatible with common bibliography programs.
Networked repositories can enforce that modules contain documentation for all their components.
As explained below, any module can be 'rendered' as a web page and web-based documentation generated automatically from its specification. 3 - Formal specification of paradigm grammars. Starting in version 0.2 of the IMT prototype, I've adopted formal grammars to describe each modelling paradigm and IMT class. Grammars contain all the information necessary to create or update databases that can contain the corresponding modules. There is formally no hard-wired scheduler in the IMT, as all change is generated by domains.