The present invention provides a system and method for parsing a constraint language in a computer network. The method includes receiving a constraint string; parsing the constraint string, comprising replacement of valid operators, variables, and values with special characters; and determining if the parsed constraint string indicates the existence of errors in the constraint string. The parser of the present invention is based upon an analysis of the constraint language from which patterns of the language are identified. The easily implemented parser of the present invention is developed based on these patterns. Because the method of the present invention replaces members of a finite set of valid operators, variables, and values, instead of attempting to identify an infinite number of possible errors, it is able to detect all invalid constraints.

Η παρούσα εφεύρεση παρέχει ένα σύστημα και μια μέθοδο για μια γλώσσα περιορισμού σε ένα δίκτυο υπολογιστών. Η μέθοδος περιλαμβάνει τη λήψη μιας σειράς περιορισμού αναλύοντας τη σειρά περιορισμού, περιλαμβάνοντας την αντικατάσταση των έγκυρων χειριστών, των μεταβλητών, και των τιμών με τους ειδικούς χαρακτήρες και καθοριστικός εάν η αναλυμένη σειρά περιορισμού δείχνει την ύπαρξη των λαθών στη σειρά περιορισμού. Ο κατατμητής της παρούσας εφεύρεσης είναι βασισμένος σε μια ανάλυση της γλώσσας περιορισμού από την οποία τα σχέδια της γλώσσας προσδιορίζονται. Ο εύκολα εφαρμοσμένος κατατμητής της παρούσας εφεύρεσης αναπτύσσεται βασισμένος σε αυτά τα σχέδια. Επειδή η μέθοδος της παρούσας εφεύρεσης αντικαθιστά τα μέλη ενός πεπερασμένου συνόλου έγκυρων χειριστών, οι μεταβλητές, και οι τιμές, αντί της προσπάθειας να προσδιοριστεί ένας άπειρος αριθμός πιθανών λαθών, αυτό είναι σε θέση να ανιχνεύσουν όλους τους άκυρους περιορισμούς.