An integrated tool for development of overlay services

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.

REFERENCES

• 1: Didier Benza , Michel Cosnard , Luigi Liquori , Marc Vesin, Arigatoni: A Simple Programmable Overlay Network, Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, p.82-91, October 03-06, 2006 [doi>10.1109/JVA.2006.7]
• 2: Ludmila Cherkasova , Vadim E. Kotov , Tomas Rokicki, On Net Modeling of Industrial Size Concurrent Systems, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, p.552-561, June 21-25, 1993
• 3: J. de Figueiredo and L. Kristensen. Using coloured Petri nets to investigate behavioural and performance issues of TCP protocols. In Proc. of 2nd Workshop on Practical Use of Coloured Petri Nets and Design/CPN, pages 21--40, 1999.
• 4: Hartmann J. Genrich , Kurt Lautenbach, The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets, Proceedings of the International Sympoisum on Semantics of Concurrent Computation, p.123-147, July 02-04, 1979
• 5: H. J. Genrich and K. Lautenbach. System modeling with high-level Petri nets. Theoretical Computer Science, 13(1):109--136, 1981.
• 6: Xiaohui Gu , Klara Nahrstedt , Bin Yu, SpiderNet: An Integrated Peer-to-Peer Service Composition Framework, Proceedings of the 13th IEEE International Symposium on High Performance Distributed Computing, p.110-119, June 04-06, 2004 [doi>10.1109/HPDC.2004.32]
• 7: P. Huber and V. Pinci. A formal executable specification of the ISDN basic rate interface. In Proc. of 12th Int. Conf. on Application and Theory of Petri Nets, pages 1--21, 1991.
• 8: Kurt Jensen, Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3, Springer-Verlag New York, Inc., New York, NY, 1997
• 9: Dan Werthimer , Jeff Cobb , Matt Lebofsky , David Anderson , Eric Korpela, SETI@HOME—massively distributed computing for SETI, Computing in Science and Engineering, v.3 n.1, p.78-83, January 1, 2001 [doi>10.1109/5992.895191]
• 10: S. M. Larson, C. D. Snow, M. R. Shirts, and V. S. Pande. Folding@home and genome@home: Using distributed computing to tackle previously intractable problems in computational biology. Computational Genomics, 2002.
• 11: Baochun Li , Jiang Guo , Mea Wang, iOverlay: a lightweight middleware infrastructure for overlay application implementations, Proceedings of the 5th ACM/IFIP/USENIX international conference on Middleware, October 18-22, 2004, Toronto, Canada
• 12: Boon Thau Loo , Tyson Condie , Joseph M. Hellerstein , Petros Maniatis , Timothy Roscoe , Ion Stoica, Implementing declarative overlays, ACM SIGOPS Operating Systems Review, v.39 n.5, December 2005
• 13: Jens Linneberg Rasmussen , Mejar Singh, Designing a Security System by Means of Coloured Petri Nets, Proceedings of the 17th International Conference on Application and Theory of Petri Nets, p.400-419, June 24-28, 1996
• 14: A. Ratzer, L. Wells, H. Lassen, M. Laursen, J. Qvortrup, M. Stissing, M. Westergaard, S. Christensen, and K. Jensen. CPN Tools for editing, simulating, and analyzing coloured Petri nets. In Proc. of 24th Int. Conf. on Application and Theory of Petri Nets, 2003.
• 15: Adolfo Rodriguez , Charles Killian , Sooraj Bhat , Dejan Kostić , Amin Vahdat, MACEDON: methodology for automatically creating, evaluating, and designing overlay networks, Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation, p.20-20, March 29-31, 2004, San Francisco, California
• 16: Kazuyuki Shudo , Yoshio Tanaka , Satoshi Sekiguchi, Overlay Weaver: An overlay construction toolkit, Computer Communications, v.31 n.2, p.402-412, February, 2008 [doi>10.1016/j.comcom.2007.08.002]
• 17: Mea Wang , Baochun Li , Zongpeng Li, sFlow: Towards Resource-Efficient and Agile Service Federation in Service Overlay Networks, Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04), p.628-635, March 24-26, 2004
• 18: D. Xu and K. Nahrstedt. Finding service paths in an overlay media service proxy network. In Proc. of Int. Conf. on Multimedia Computing and Networking 2002 (MMCN2002), 2002.
• 19: Hirozumi Yamaguchi , Khaled El-Fakih , Akihito Hiromori , Teruo Higashino, A formal approach to design optimized multimedia service overlay, Proceedings of the international workshop on Network and operating systems support for digital audio and video, June 13-14, 2005, Stevenson, Washington, USA [doi>10.1145/1065983.1065998]
• 20: Hirozumi Yamaguchi , Khaled El-Fakih , Gregor V. Bochmann , Teruo Higashino, Deriving protocol specifications from service specifications written as predicate/transition-nets, Computer Networks: The International Journal of Computer and Telecommunications Networking, v.51 n.1, p.258-284, 17 January 2007 [doi>10.1016/j.comnet.2006.03.011]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.2 COMPUTER-COMMUNICATION NETWORKS
      C.2.4 Distributed Systems
          Subjects: Distributed applications

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.2 Design Tools and Techniques
          Subjects: Petri nets

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.7 Simulation Support Systems
          Subjects: Environments

Keywords:
distributed systems, overlay networks, petri nets simulation, simulation tools