7. A non-transitory computer readable medium encoded with a program for determining a navigation path for a constraint language editor, the program comprising instructions for: accessing at least one software model of at least one software application; parsing, with a computer, the software model to determine if there is at least one occurrence of a class inheritance, an association, and an association inheritance is in the software model; based upon the occurrence of the class inheritance, accessing a data list from a class inheritance database and performing type conversion on the data list which has been accessed; based upon the occurrence of the association, accessing a data list from an association database; and based upon the occurrence of the association inheritance, accessing a data list from an association inheritance database; loading the data list based upon the occurrence of the class inheritance, the association, and the association inheritance in the software model into a navigation path calculator; receiving user input into the navigation path calculator, the user input including a navigation starting point, a navigation ending point; and calculating, with the navigation path calculator, a navigation path with model or instance information including attributes of objects, operations of objects, associations between objects, and generations between objects.
7. A non-transitory computer readable medium encoded with a program for determining a navigation path for a constraint language editor, the program comprising instructions for: accessing at least one software model of at least one software application; parsing, with a computer, the software model to determine if there is at least one occurrence of a class inheritance, an association, and an association inheritance is in the software model; based upon the occurrence of the class inheritance, accessing a data list from a class inheritance database and performing type conversion on the data list which has been accessed; based upon the occurrence of the association, accessing a data list from an association database; and based upon the occurrence of the association inheritance, accessing a data list from an association inheritance database; loading the data list based upon the occurrence of the class inheritance, the association, and the association inheritance in the software model into a navigation path calculator; receiving user input into the navigation path calculator, the user input including a navigation starting point, a navigation ending point; and calculating, with the navigation path calculator, a navigation path with model or instance information including attributes of objects, operations of objects, associations between objects, and generations between objects. 12. The non-transitory computer readable medium of claim 7 , further comprising: based upon the occurrence of a set element in the software model, performing each of obtaining all corresponding types through the instances of a set; determining common parent types of the instances; providing all types comprising the parent types to a user as candidates and selecting one of them by the user; and calculating a possible association related to the set element through each of the types.