Specifying the Corba replication service in Trio+

  • Christophe Debacker
  • Francesco Pizzolante

    Student thesis: Master typesMaster en sciences informatiques


    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.
    la date de réponse1998
    langue originaleAnglais
    SuperviseurPIERRE-YVES SCHOBBENS (Promoteur)

    Contient cette citation