A formal approach to design optimized multimedia service overlay

Authors:
Hirozumi Yamaguchi;Khaled El-Fakih;Akihito Hiromori;Teruo Higashino
Affiliations:
Osaka University, Toyonaka, Osaka, Japan;American University of Sharjah, Sharjah, UAE;Osaka University, Toyonaka, Osaka, Japan;Osaka University, Toyonaka, Osaka, Japan
Venue:
NOSSDAV '05 Proceedings of the international workshop on Network and operating systems support for digital audio and video
Year:
2005

Citing 8
Cited 2

The Ninja architecture for robust Internet-scale systems and services373423

Computer Networks: The International Journal of Computer and Telecommunications Networking - pervasive computing
The Georgia Tech Network Simulator

MoMeTools '03 Proceedings of the ACM SIGCOMM workshop on Models, methods and tools for reproducible network research
Service overlay networks: SLAs, QoS, and bandwidth provisioning

IEEE/ACM Transactions on Networking (TON)
sFlow: Towards Resource-Efficient and Agile Service Federation in Service Overlay Networks

ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Towards an integrated multimedia service hosting overlay

Proceedings of the 12th annual ACM international conference on Multimedia
SpiderNet: An Integrated Peer-to-Peer Service Composition Framework

HPDC '04 Proceedings of the 13th IEEE International Symposium on High Performance Distributed Computing
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended petri nets

Distributed Computing
CANS: composable, adaptive network services infrastructure

USITS'01 Proceedings of the 3rd conference on USENIX Symposium on Internet Technologies and Systems - Volume 3

Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking
An integrated tool for development of overlay services

Proceedings of the 2nd International Conference on Simulation Tools and Techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.