An integrated tool for development of overlay services

Authors:
Yuki Sakai;Akihito Hiromori;Hirozumi Yamaguchi;Khaled El-Fakih;Teruo Higashino
Affiliations:
Osaka University, Japan;Osaka University, Japan;Osaka University, Japan;American University of Sharjah, UAE;Osaka University, Japan
Venue:
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Year:
2009

Citing 15
Cited 0

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3

Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
SETI@HOME—massively distributed computing for SETI

Computing in Science and Engineering
The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets

Proceedings of the International Sympoisum on Semantics of Concurrent Computation
Designing a Security System by Means of Coloured Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
On Net Modeling of Industrial Size Concurrent Systems

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
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)
SpiderNet: An Integrated Peer-to-Peer Service Composition Framework

HPDC '04 Proceedings of the 13th IEEE International Symposium on High Performance Distributed Computing
iOverlay: a lightweight middleware infrastructure for overlay application implementations

Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware
A formal approach to design optimized multimedia service overlay

NOSSDAV '05 Proceedings of the international workshop on Network and operating systems support for digital audio and video
Implementing declarative overlays

Proceedings of the twentieth ACM symposium on Operating systems principles
Arigatoni: A Simple Programmable Overlay Network

JVA '06 Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing
Deriving protocol specifications from service specifications written as predicate/transition-nets

Computer Networks: The International Journal of Computer and Telecommunications Networking
MACEDON: methodology for automatically creating, evaluating, and designing overlay networks

NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Overlay Weaver: An overlay construction toolkit

Computer Communications
CPN tools for editing, simulating, and analysing coloured Petri nets

ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

We propose an integrated environment for supporting the development of overlay services. Given a service description written in a centralized and network-independent way using a high-level Petri net, our tool automatically derives its distributed version taking into consideration the targeted overlay network specification and network/computing resources. Furthermore, our tool interprets the distributed version and allows the overlay nodes to execute the service as specified in the description. During that time, the tool monitors the utilization of overlay links and occupation of processors so that related information can be provided to the developers. Consequently, the developers only give the service description and our toolset supports the subsequent design and development tasks. An experimental study on using the toolset and a realistic application example are provided to show the effectiveness of our methodology.