An integrated tool for development of overlay services

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.

[1]  Ion Stoica,et al.  Implementing declarative overlays , 2005, SOSP '05.

[2]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

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

[4]  David P. Anderson,et al.  SETI@home-massively distributed computing for SETI , 2001, Comput. Sci. Eng..

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

[6]  Kazuyuki Shudo,et al.  Overlay Weaver: An overlay construction toolkit , 2008, Computer Communications.

[7]  Hirozumi Yamaguchi,et al.  Deriving protocol specifications from service specifications written as Predicate/Transition-nets , 2007, Comput. Networks.

[8]  Ludmila Cherkasova,et al.  On Net Modeling of Industrial Size Concurrent Systems , 1993, Application and Theory of Petri Nets.

[9]  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..

[10]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[11]  Baochun Li,et al.  iOverlay: A Lightweight Middleware Infrastructure for Overlay Application Implementations , 2004, Middleware.

[12]  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..

[13]  Jens Linneberg Rasmussen,et al.  Designing a Security System by Means of Coloured Petri Nets , 1996, Application and Theory of Petri Nets.

[14]  Luigi Liquori,et al.  Arigatoni: A Simple Programmable Overlay Network , 2006, IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing (JVA'06).

[15]  Jorge C. A. de Figueiredo,et al.  Using Coloured Petri Nets to Investigate Behavioural and Performance Issues of TCP Protocols , 1999 .

[16]  Amin Vahdat,et al.  MACEDON: Methodology for Automatically Creating, Evaluating, and Designing Overlay Networks , 2004, NSDI.

[17]  Hirozumi Yamaguchi,et al.  A formal approach to design optimized multimedia service overlay , 2005, NOSSDAV '05.

[18]  Vijay S. Pande,et al.  Folding@Home and Genome@Home: Using distributed computing to tackle previously intractable problem , 2009, 0901.0866.