Goal: The Internet Programming WorkBench (iBench) Initiative in the Computer Science Department of Boston University has as its central goal the development of a rigorous discipline for the specification, programming, and maintenance of distributed applications and services over the Internet.
 

Motivation: The recent metamorphosis of the Internet---from a mere best-effort transport medium to an open communication and computation infrastructure---necessitates the development of robust abstractions that facilitate its use to support a constantly increasing number of applications, in compliance with widely-accepted correctness standards that ensure a verifiably safe, fair, secure, and efficient access of Internet resources. Today, and to a large extent, programming distributed applications over the Internet suffers from the same lack of organizing principles as did programming of stand-alone computers some thirty years ago. Primeval programming languages were expressive but unwieldy; software engineering technology improved not only through better understanding of useful abstractions, but also by automating the process of verification of safety properties both at compile time (e.g., type checking) and run times (e.g., memory bound checks). We believe that the same kinds of improvements could find their way into the programming of distributed Internet services.
 

Approach: iBench takes the position that recognizing network flows as the central abstraction around which to develop a programming system for the Internet is perhaps the most important organizing principle. Specifically, to rapidly experiment with and deploy a wide range of new services within the existing constraints of the Internet infrastructure, it is necessary to adopt a more powerful model for the naming, creation, composition, sharing, and processing of Internet flows.
 

Sponsors: The iBench initiative is supported partially by a National Science Foundation ITR grant entitled Internet Flows as First-Class Values: Support for Dynamic, Flexible Internet Services, and Research Infrastructure grant entitled Research Infrastructure for Managing Spatio-Temporal Objects in Video Sensor Networks.

(C) Copyright 2004. All rights reserved.
Updated last on September 10, 2004