2. The method of claim 1 wherein transforming the current static network element object model further comprises creating conceptual or explicit meanings for the managed objects associated with the current static network element object model using frame logic primitives to represent managed object sub-classes, containments, and association relationships.
2. The method of claim 1 wherein transforming the current static network element object model further comprises creating conceptual or explicit meanings for the managed objects associated with the current static network element object model using frame logic primitives to represent managed object sub-classes, containments, and association relationships. 3. The method of claim 2 wherein the formal domain assumptions comprise domain constraints.