@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00216193,
 author = {Takumi, Ichida and Nobuhiko, Ogura and Takumi, Ichida and Nobuhiko, Ogura},
 book = {Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform},
 month = {Jan},
 note = {This article discusses the issues in the model transformation for a model refactoring supporting tool. As a basis of this discussion, the article shows examples of the model transformation to a state machine model described by state transition model description language stmc and provides a model-to-model transformation program for the stmc model. In the field of model refactoring, numerous approaches to describe the model and model transformations have been introduced. Although, the ambiguity of semantics in the modeling language makes it difficult to describe software models and model transformations and to preserve model behaviors before and after model transformations. In this article, to avoid such ambiguity, we focus on the state transition model description language stmc which can define the state machine model using clear and informal semantics., This article discusses the issues in the model transformation for a model refactoring supporting tool. As a basis of this discussion, the article shows examples of the model transformation to a state machine model described by state transition model description language stmc and provides a model-to-model transformation program for the stmc model. In the field of model refactoring, numerous approaches to describe the model and model transformations have been introduced. Although, the ambiguity of semantics in the modeling language makes it difficult to describe software models and model transformations and to preserve model behaviors before and after model transformations. In this article, to avoid such ambiguity, we focus on the state transition model description language stmc which can define the state machine model using clear and informal semantics.},
 pages = {90--91},
 publisher = {情報処理学会},
 title = {Requirements on Model Transformation for Model Refactoring in State Transition Model Description Language stmc},
 volume = {2021},
 year = {2022}
}