An extension of stochastic process algebra for optical networks

An open research topic is how to combine the real-time traffic with the conventional formal language to allow modelling and efficient analysis of optical communication systems. We present a formal modelling language, called real-time stochastic process algebra (RT-SPA), to describe the real-time stochastic behaviour of optical communication systems. The language combines conventional stochastic process algebra with realtime semantics to describe complex systems in a compositional manner. It includes timed transition, parallel composition, probabilistic branching and hard real-time aspects. With this performance analysis methodology it is possible to obtain the design parameters of implementation using simulation with a lower computational time and cost than using conventional techniques. The adequacy of this framework applicability check is assessed by applying it to model and analyze wavelength-routed packet buffering techniques for optical networks.