Provisioning virtual optical networks

A network provisioning system, the system comprising:

• a mapping solution input module configured to receive a mapping solution for one or more virtual optical network (VON) requests, the one or more VON requests comprising virtual nodes and virtual links and the mapping solution including one mapping pattern for each of the one or more VON requests, each mapping pattern comprising an ordered list of physical nodes in a physical network where each physical node in the ordered list is connected to adjacent physical nodes in the ordered list by physical links in the physical network and each physical link includes one or more optical transmission slots;
• an inequality constraint module executable by a processor to formulate inequality constraint equations based on physical links that are shared by multiple virtual links, the inequality constraint equations requiring each virtual link that traverses a shared physical link to occupy a unique optical transmission slot over the shared physical link;
• a range constraint equation module executable by the processor to formulate range constraint equations for each virtual link based on available optical transmission slots that are common to physical links provisioned for the virtual link, the inequality and range constraint equations requiring each virtual link to occupy a same optical transmission slot across all physical links traversed by the virtual link;
• and
• a satisfiability modulo theory (SMT) module executable by the processor to solve the inequality and range constraint equations according to one or more satisfiability modulo theories to obtain one of a slot assignment solution or an infeasible problem determination.

A method of provisioning a network, the method comprising the following steps:

• step one:
• receiving a mapping solution for one or more virtual optical network (VON) requests, the one or more VON requests comprising virtual nodes and virtual links and the mapping solution including one mapping pattern for each of the one or more VON requests, each mapping pattern comprising an ordered list of physical nodes in a physical network where each physical node in the ordered list is connected to adjacent physical nodes in the ordered list by physical links in the physical network, each physical link including one or more slots having a slot position number;
• step two:
• selecting an unassigned virtual link and identifying the unassigned virtual link as a last assigned virtual link;
• step three:
• determining whether the last assigned virtual link has any untried slots;
• step four:
• in response to determining that the last assigned virtual link has untried slots, assigning the last assigned virtual link to a next untried slot;
• step five:
• determining whether the next untried slot assigned to the last assigned virtual link is available over all physical links traversed by the last assigned virtual link;
• step six:
• in response to determining that the next untried slot assigned to the last assigned virtual link is available over all physical links traversed by the last assigned virtual link, determining whether any unassigned virtual links remain;
• and
• step seven:
• in response to determining that no unassigned virtual links remain, recording a slot assignment solution and repeating steps three through seven.