13. The method of claim 9 , wherein the graphical model includes a third entity coupled to the second entity, wherein the second entity further comprises a second property, wherein the third entity comprises the second property, a third behavioral constraint, and optionally a third behavioral description, wherein the second behavioral constraint and the third behavioral constraint are identical or different, wherein the second behavioral description and the third behavioral description are identical or different, wherein the second symbolic expression represents the second property of the third entity in the graphical model, the method further comprising: identifying the first property in the first and the second entities and the second property in the second and the third entities based on at least one of the connectivity information, a behavioral constraint of the first, the second, or the third entities, or a behavioral description of the first, the second, or the third entities; propagating the second symbolic expression to the second entity to represent the second property of the second entity with the second symbolic expression; and expressing the second and third entities in terms of the second symbolic expression.
13. The method of claim 9 , wherein the graphical model includes a third entity coupled to the second entity, wherein the second entity further comprises a second property, wherein the third entity comprises the second property, a third behavioral constraint, and optionally a third behavioral description, wherein the second behavioral constraint and the third behavioral constraint are identical or different, wherein the second behavioral description and the third behavioral description are identical or different, wherein the second symbolic expression represents the second property of the third entity in the graphical model, the method further comprising: identifying the first property in the first and the second entities and the second property in the second and the third entities based on at least one of the connectivity information, a behavioral constraint of the first, the second, or the third entities, or a behavioral description of the first, the second, or the third entities; propagating the second symbolic expression to the second entity to represent the second property of the second entity with the second symbolic expression; and expressing the second and third entities in terms of the second symbolic expression. 18. The method of claim 13 , the operations further comprising: generating a reconfigurable code based on the graphical model, the first symbolic expression, and the second symbolic expression, wherein the relationship between the first symbolic expression and the second symbolic expression is preserved.