Meta-modeling approach to tool support for model transformation to validate dynamic behavior of systems

Michel E. Shin, Marta E. Calderon

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.

Original languageEnglish
Title of host publicationProceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05
Pages316-322
Number of pages7
StatePublished - 2005
Event2005 International Conference on Software Engineering Research and Practice, SERP'05 - Las Vegas, NV, United States
Duration: Jun 27 2005Jun 30 2005

Publication series

NameProceedings of the 2005 International Conference on Software Engineering Research and Practice, SERP'05
Volume1

Conference

Conference2005 International Conference on Software Engineering Research and Practice, SERP'05
CountryUnited States
CityLas Vegas, NV
Period06/27/0506/30/05

Keywords

  • Meta-modeling
  • Model transformation
  • Tool support
  • Validation

Fingerprint Dive into the research topics of 'Meta-modeling approach to tool support for model transformation to validate dynamic behavior of systems'. Together they form a unique fingerprint.

Cite this