This work is a revision of the doctoral dissertation of Eduardo Mena pre- sented to the Department of Computer Science and System Engineering at the University of Zaragoza (Spain) in November 1998 [Mena 98]. The OBSERVER system was developed as a result o