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.
Specifying the Corba replication service in Trio+
Debacker, C. (Auteur), Pizzolante, F. (Auteur). 1998
Student thesis: Master types › Master en sciences informatiques