@inproceedings{b6e3e7f0b1164c4b870d1bb3607092a7,
title = "Meta-modeling approach to tool support for model transformation to validate dynamic behavior of systems",
abstract = "This paper describes a meta-modeling approach to the transformation of the UML-based system model to its corresponding CPN model. The relationships between the UML and CPN models are uniformly modeled using the class model of UML notation at the level of meta-model instead of at the level of the model of the system. The transformation rules between the UML and CPN model are derived from the relationships modeled in the metamodels. On the basis of the transformation rules, the UML model can be mapped to the CPN model, which is used to validate the runtime properties of the system modeled using UML notation, such as functional correctness and deadlock. In order to validate our approach, the transformation rules are implemented to develop a prototype tool, which supports the transformation of the UML model to the CPN model. The prototype tool is applied to the Stop-and-Wait system and the gas station system to illustrate feasibility of our approach.",
keywords = "Meta-modeling, Model transformation, Tool support, Validation",
author = "Shin, {Michel E.} and Calderon, {Marta E.}",
year = "2005",
language = "English",
isbn = "9781932415490",
series = "Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05",
pages = "316--322",
booktitle = "Proceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05",
note = "null ; Conference date: 27-06-2005 Through 30-06-2005",
}