1. A method of network management including configuring control protocols between network elements in a network represented by a current static network element object model comprising managed objects having attributes and instances to represent network resources, the method comprising: transforming, in a transforming component, a current static network element object model to a machine readable and executable formal network element object model by: forming a formal ontology to represent the current static network element object model by adding formal semantics and formal domain assumptions; and using frame logic to formally model managed object classes, attributes and relationships; identifying, in an identifying component, configuration tasks needed to configure relevant control protocols; modeling, in a modeling component, a formal configuration task model using information about the configuration tasks and the formal network element object model by: forming a formal ontology to represent the formal configuration task model; creating formal configuration ontologies for different configuration tasks needed to configure one or more of the relevant control protocols using frame logic; and building, in a workflow building component, a formal configuration workflow model using the formal network element object model and the formal configuration task model by providing respective workflows using frame logic primitives, wherein the formal configuration workflow model defines relationships between the different configuration tasks required for performing or completing one or more given actions, or to perform a selected action.
1. A method of network management including configuring control protocols between network elements in a network represented by a current static network element object model comprising managed objects having attributes and instances to represent network resources, the method comprising: transforming, in a transforming component, a current static network element object model to a machine readable and executable formal network element object model by: forming a formal ontology to represent the current static network element object model by adding formal semantics and formal domain assumptions; and using frame logic to formally model managed object classes, attributes and relationships; identifying, in an identifying component, configuration tasks needed to configure relevant control protocols; modeling, in a modeling component, a formal configuration task model using information about the configuration tasks and the formal network element object model by: forming a formal ontology to represent the formal configuration task model; creating formal configuration ontologies for different configuration tasks needed to configure one or more of the relevant control protocols using frame logic; and building, in a workflow building component, a formal configuration workflow model using the formal network element object model and the formal configuration task model by providing respective workflows using frame logic primitives, wherein the formal configuration workflow model defines relationships between the different configuration tasks required for performing or completing one or more given actions, or to perform a selected action. 6. The method of claim 1 wherein the frame logic comprises F-logic, and wherein transforming the current static network element object model further comprises: mapping a Unified Modeling Language (UML) Managed Object Model to F-logic; and modeling constraints using F-logic rules.