Grammar convergence is a lightweight verification method for establishing and maintaining the correspondence between grammar knowledge ingrained in all kinds of software artifacts, e.g., object models, XML schemas, parser descriptions, or language documents. The central idea is to extract grammars from diverse software artifacts, and to transform the grammars until they become syntactically identical. The present paper introduces and illustrates the basics of grammar convergence.
R. Lämmel, V. Zaytsev. An Introduction to Grammar Convergence. In Proceedings of 7th International Conference on Integrated Formal Methods (iFM 2009), LNCS 5423, pages 246–260. Springer, February 2009.

The process of grammar convergence (involving grammar extraction and transformation for structural equivalence) contains a range of technical challenges. These need to be addressed in order for the method to deliver useful results. The paper describes a DSL and the infrastructure behind it that automates the convergence process, hides negligible backend details, aids development/debugging and enables application of grammar convergence technology to large scale projects. The necessity of having a strong framework is explained by listing case studies. Domain elements such as extractors and transformation operators are described to illustrate the issues we successfully addressed.
V. Zaytsev. Language Convergence Infrastructure. In João Miguel Fernandes, Ralf Lämmel, Joost Visser, João Saraiva, editors, Post-proceedings of the 3rd International Summer School on Generative and Transformational Techniques in Software Engineering (GTTSE 2009), LNCS 6491, pages 481–497, Springer-Verlag, January 2011.