| 摘要 |
To simplify the creation and handling of an information library which is associated with a number of modules from which a device is put together in accordance with a prescribed configuration structure, a method for checking the completeness and consistency of the information library is provided. Accordingly, the information library comprises a number of information packets, each of which contains an information core and a meta-statement which defines the association between the information packet and at least one module a context library is prescribed which comprises a number of context units, each context unit of which contains a reference to a combination of modules which requires the presence of the information packet, and the information library is checked for completeness and consistency by testing whether each configuration of modules which is valid in accordance with the configuration structure and each affected context unit which refers to a combination contained in the configuration have at least one corresponding information packet available which, in accordance with its meta-statement, is compatible with the configuration and is defined as being associated with the combination.
|
