Abstract: Method, system and computer readable medium to execute a flexible workflow is described. The workflow comprises a plurality of tasks. The method comprises a first step 101 of determining a set of possible tasks that can be further executed to reach a predetermined goal. The method also comprises a second step 102 of determining a best next task, of the set of possible tasks, to be executed, according to the set of possible tasks and a set of already executed tasks and a set of specified constraints and a model trained using historic execution data and cost metrics to optimize against and contextual data.

Abstract: A network design method for Ethernet-type networks exhibiting capacities sufficient for operation during normal periods as well those as periods when a single node or link has failed.

Abstract: A network design method for Ethernet-type networks exhibiting capacities sufficient for operation during normal periods as well those as periods when a single node or link has failed.

Abstract: Methods and apparatus are provided for determining equivalence and generalization of a network model. A method is provided for determining whether two networks are equivalent. A model of at least two networks is obtained, and then simplified using one or more normal form rules. A test is then performed to determine if the two simplified network models are equivalent (e.g., isomorphic). A first network M is said to be generalized by a second network N, M?N, if every test that satisfies M also satisfies N. A first network M is said to be equivalent to a second network N, N?M, if M generalizes N and N generalizes M.

Abstract: An apparatus and method are disclosed for verifying that a description of a network corresponds to communication paths of the network. The verification is accomplished by accessing data that represents of a plurality of logical links of the network. A determination is made whether each of the logical links correspond to a communication path of the network. This determination utilizes criteria, which includes: link data; adapter data; and connection data. Thereafter, an indication of whether the logical links correspond to communication paths of the network is provided. If each logical link does not have a corresponding communication path, additional information related to the reason for the non-correspondence may be provided.