Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation

  title={Analyzing Dynamic Behavior Of Large-Scale Systems Through Model Transformation},
  author={Michael Eonsuk Shin and Alexander H. Levis and Lee W. Wagenhals and Dae-Sik Kim},
  journal={International Journal of Software Engineering and Knowledge Engineering},
This paper describes model transformation for analyzing dynamic behavior of large-scale systems. The Unified Modeling Language (UML) based system model is transformed into the Colored Petri Nets (CPN) model, which is used for analyzing the scenarios of the use cases of a system and checking freedom of system deadlock at an early stage of software development. The CPN model that is executable is hierarchically structured on the basis of the functional decomposition of a large-scale system. The… CONTINUE READING