Specifying the Corba replication service in Trio+

  • Christophe Debacker
  • Francesco Pizzolante

    Student thesis: Master typesMaster in Computer science

    Abstract

    The present document contains a report of the specification of a Replication Service intended to be added to a CORBA distributed architecture. This service, also known as Group Communication Service, will add fault tolerance and availability to CORBA abjects by managing group of abjects. This work of specification has been carried out using TRIO+, an abject oriented specification language for real-time systems. This work is intended to take part in the project OpenDREAMS in collaboration with the Dipartimento di Elettronica e Informazione of the Politecnico di Milano, Italy.
    Date of Award1998
    Original languageEnglish
    SupervisorPierre Yves Schobbens (Supervisor)

    Cite this

    '