文章基本信息

标题：Toward Automated Verification of Model Transformations: A Case Study of Analysis of Refactoring Business Process Models
本地全文：下载
作者：Márk Asztalos ; László Lengyel ; Tihamér Levendovszky 等
期刊名称：Electronic Communications of the EASST
电子版ISSN：1863-2122
出版年度：2009
卷号：21
语种：English
出版社：European Association of Software Science and Technology (EASST)
摘要：Verification of the transformations is a fundamental issue for applying them in real world solutions. We have previously proposed a formalization to declaratively describe model transformations and proposed an approach for the verification. Our approach consists of a reasoning system that works on the formal transformation description and deduction rules for the system. The reasoning system can automatically generate the proof of some properties. In this paper, we present a case study, to demonstrate our approach of automated verification of model transformations in a multi-paradigm environment.