Specifying overlaps of heterogeneous models for global consistency checking

Zinovy Diskin, Yingfei Xiong, Krzysztof Czarnecki. Specifying overlaps of heterogeneous models for global consistency checking. In Jean Bézivin, Richard Mark Soley, Antonio Vallecillo, editors, Proceedings of the First International Workshop on Model-Driven Interoperability, MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010. pages 42-51, ACM, 2010. [doi]

Abstract

Abstract is missing.