A formal approach to design optimized multimedia service overlay

Service overlay networks have recently attracted tremendous interests. In this paper, we propose a new integrated framework for specifying services composed of service components running on different service nodes and for executing the services considering efficient utilization of overlay network resources. For a given service description written in an extended Petri net model, our method automatically derives a set of descriptions of service nodes' behavior which specifies how service nodes on an overlay network collaborate to provide the specified services. The derived descriptions minimize channel utilization, total response time or load of service nodes based on a given cost criterion. The experimental results show that a multimedia service for decorating and transcoding video contents can be well specified and implemented.

[1]  Randy H. Katz,et al.  Load balancing and stability issues in algorithms for service composition , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[2]  George F. Riley,et al.  The Georgia Tech Network Simulator , 2003, MoMeTools '03.

[3]  Yiwei Thomas Hou,et al.  Service overlay networks: SLAs, QoS and bandwidth provisioning , 2002, 10th IEEE International Conference on Network Protocols, 2002. Proceedings..

[4]  Klara Nahrstedt,et al.  SpiderNet: an integrated peer-to-peer service composition framework , 2004, Proceedings. 13th IEEE International Symposium on High performance Distributed Computing, 2004..

[5]  Ben Y. Zhao,et al.  The Ninja architecture for robust Internet-scale systems and services , 2001, Comput. Networks.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Xuxian Jiang,et al.  Towards an integrated multimedia service hosting overlay , 2004, MULTIMEDIA '04.

[8]  Kurt Lautenbach,et al.  System Modelling with High-Level Petri Nets , 1981, Theor. Comput. Sci..

[9]  Hirozumi Yamaguchi,et al.  Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets , 2003, Distributed Computing.

[10]  Klara Nahrstedt,et al.  Finding Service Paths in an Overlay Media Service Proxy Network , 2002 .

[11]  Klara Nahrstedt,et al.  Finding service paths in a media service proxy network , 2001, IS&T/SPIE Electronic Imaging.

[12]  Weisong Shi,et al.  CANS: Composable, Adaptive Network Services Infrastructure , 2001, USITS.

[13]  Marko Mäkelä,et al.  Maria: Modular Reachability Analyser for Algebraic System Nets , 2002, ICATPN.

[14]  Jörg Liebeherr,et al.  Topology design for service overlay networks with bandwidth guarantees , 2004, Twelfth IEEE International Workshop on Quality of Service, 2004. IWQOS 2004..

[15]  Zongpeng Li,et al.  sFlow: towards resource-efficient and agile service federation in service overlay networks , 2004, 24th International Conference on Distributed Computing Systems, 2004. Proceedings..