×

Method for checking the completeness and consistency of an information library

  • US 7,716,188 B2
  • Filed: 05/09/2005
  • Issued: 05/11/2010
  • Est. Priority Date: 05/10/2004
  • Status: Expired due to Fees
First Claim
Patent Images

1. A method for checking a completeness and consistency of an information library which is associated with a plurality of modules from which a device is put together in accordance with a prescribed configuration structure, the method comprising:

  • providing the information library with a plurality of information packets, each of which comprises an information core and a meta-statement which defines the association between the respective information packet and at least one of the plurality of modules;

    prescribing a context library which comprises a plurality of context units, each of the plurality of the context units comprising a reference to a combination of the plurality of modules, the combination associated with a presence of one of the information packets;

    checking whether there is an information packet in the information library that corresponds to each context unit within one or more valid configurations of the prescribed configuration structure and determining that the information library is complete when there are information packets in the information library that corresponds to each different context unit within the one or more valid configurations and determining that the information library is incomplete when one or more context units within one or more valid configurations have no corresponding information packets in the information library; and

    checking whether there is only one information packet in the information library that corresponds to each context unit within the one or more valid configurations and determining that the information library is consistent when there is only one information packet in the information library that corresponds to each different context unit within the one or more valid configurations and determining that the information library is inconsistent when a context unit corresponds to at least two corresponding and competing information packets.

View all claims
  • 3 Assignments
Timeline View
Assignment View
    ×
    ×