期刊名称：Indian Journal of Computer Science and Engineering
印刷版ISSN：2231-3850
电子版ISSN：0976-5166
出版年度：2016
卷号：7
期号：4
页码：147-152
出版社：Engg Journals Publications
摘要：The verification of model transformations is gaining significant attention recent years. Thispaper presents an approach for verifying the behavioral preservance property of UML behavioral modelsthat have been subjected to a model refactoring process. Graph based models have been proposed formodel verification to analyze the behavior preservation property of the models that have been refactored.
