Semántica formal de asociaciones y agregados para su implementación con reglas activas.