In this paper we describe a framework that exploits verified technologies, such as conceptual modeling, data semantics, matching algorithms etc. for the purpose of efficient evolution management of XML system. Using a set of examples we show that our approach enables to perform it efficiently and precisely.