This paper proposes a priority-aware guaranteed hardware resource allocation in virtual packet optical nodes (VPONs) and describes experimental evidence of service provisioning with the proposed method on testbed. A network based on the VPON brings solution of service diversification and traffic explosion because it provides multiple services by hardware level separated virtual networks such as IP/Ethernet/ Multi-Protocol Label Switching. The VPON has reconfigurable hardware which is dedicatedly allocated for each service and service-specific logical functions are implemented respectively. However, a previous hardware resource allocation method is not efficient. In previous work, the hardware resources once allocated to a service are not reallocated until the service terminated whenever the hardware is not optimally used. In recent years, hardware reconfiguration time has become shorter and it has enabled to apply for service demand change by releasing hardware from services with low demand and reallocating it to other services with high demand. Thus, this paper proposes preemptive dynamic hardware resource reallocation algorithm for VPON and a priority-aware guaranteed hardware resource reallocation method to realize efficient resource usage and high service capacity. Results of the computer simulation show improving service capability. Furthermore, to demonstrate the feasibility of service provisioning with the proposed method, emulators of the virtual packet optical node were constructed and performed resource reallocation. Results of the experiment show that the virtual packet optical node can configure function chains for providing services based on calculation results of the proposed resource reallocation method.

This paper presents a labeled transition system (LTS) for mobile ambients. We define labels for transitions using contexts of processes. We present a set of rules that derives transitions with contextual labels. We define bisimulation equivalence relation based on the LTS. We also show that the bisimulation equivalence is a congruence relation.