The DisCo Home Page

Example: Building a Distributed Application using DisCo and Corba

The example is covered in more depth in a conference paper currently under submission.

The application level DisCo specification is given in three layers:

• reservation describes the functionality in terms of seats,
• client_server introduces clients and servers, and
• partition describes how seats are distributed to servers.

The two-way communication details between clients, servers, and seats are given as separate refinements:

• client_server_implementation,
• server_remote_server_implementation, and
• server_seat_implementation.

These layers have been instantiated from templates using the all-powerful sed Unix command, but a paper describing how such instantiation can be done more formally has been submitted for publication.

Corba IDL interfaces derived from the DisCo specification are:

• Seat,
• Server, and
• Refined_server.

We have derived C++ source code for the free Corba implementation Mico version 2.2.5. The interesting source code files are:

• seat_impl.cc that contains an implementation of seats,
• refined_server_impl.cc that contains an implementation of servers, and
• client.cc that contains a simple client.