An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern

Jin Li, De-chen Zhan, Lanshun Nie, Xiaofei Xu. An Approach for Validating Semantic Consistency of Model Transformation Based on Pattern. In Marten van Sinderen, Pontus Johnson, Xiaofei Xu, Guy Doumeingts, editors, Enterprise Interoperability - 4th International IFIP Working Conference, IWEI 2012, Harbin, China, September 6-7, 2012. Proceedings. Volume 122 of Lecture Notes in Business Information Processing, pages 161-171, Springer, 2012. [doi]