Simulación del comportamiento en entornos de cooperación de objetos activos mediante Maude.