Exploiting Local and Global Invariants for the Management of Large Scale Information Systems