A method for validating a specific device configuration when the set of all
valid configurations is too large to practically enumerate. The method
comprises the steps of selecting a set of components to be included in the
device configuration, wherein the set has a single sink component in the
set with only sink interfaces; defining an interface for each component,
wherein each component is characterized as having a source or a sink
property; and establishing connections between components based on the
interface of each component. Connections are validated by ensuring that
source and sink components have the same property values. Connections are
established by verifying that the capacity of the sink is greater than or
equal to the capacity of the source, and determining that for each source
property there is one sink property with the same value and for each
source property that there is one sink property with the same value.
Μια μέθοδος για μια συγκεκριμένη διαμόρφωση συσκευών όταν το σύνολο όλων των έγκυρων διαμορφώσεων είναι πάρα πολύ μεγάλο για να απαριθμήσει ουσιαστικά. Η μέθοδος περιλαμβάνει τα βήματα της επιλογής ενός συνόλου συστατικών που περιλαμβάνονται στη διαμόρφωση συσκευών, όπου το σύνολο έχει ένα ενιαίο τμήμα νεροχυτών στο σύνολο με μόνο τις διεπαφές νεροχυτών καθορίζοντας μια διεπαφή για κάθε συστατικό, όπου κάθε συστατικό χαρακτηρίζεται όπως έχοντας μια πηγή ή μια ιδιοκτησία νεροχυτών και εγκαθιστώντας τις συνδέσεις μεταξύ των συστατικών βασισμένων στη διεπαφή κάθε συστατικού. Οι συνδέσεις επικυρώνονται με την εξασφάλιση ότι τα τμήματα πηγής και νεροχυτών έχουν τις ίδιες τιμές ιδιοκτησίας. Οι συνδέσεις καθορίζονται με την επαλήθευση ότι η ικανότητα του νεροχύτη είναι μεγαλύτερο ή ίσο η ικανότητα της πηγής, και τον καθορισμό ότι για κάθε ιδιοκτησία πηγής υπάρχει μια ιδιοκτησία νεροχυτών με την ίδια αξία και για κάθε ιδιοκτησία πηγής ότι υπάρχει μια ιδιοκτησία νεροχυτών με την ίδια αξία.
