Requirements on Model Transformation for Model Refactoring in State Transition Model Description Language stmc

• Item type: Symposium(1)
• 公開日: 2022-01-28
• タイトル: Requirements on Model Transformation for Model Refactoring in State Transition Model Description Language stmc
• タイトル / 言語: en
• タイトル: Requirements on Model Transformation for Model Refactoring in State Transition Model Description Language stmc
• 言語: eng
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_5794
• 資源タイプ: conference paper
• 著者所属: Tokyo City University
• 著者所属: Tokyo City University
• 著者所属(英): en
• 著者所属(英): Tokyo City University
• 著者所属(英): en
• 著者所属(英): Tokyo City University
• 著者名: Takumi, Ichida; Nobuhiko, Ogura
• 著者名(英): Takumi, Ichida; Nobuhiko, Ogura
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 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.
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: 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.
• 書誌情報: Proceedings of Asia Pacific Conference on Robot IoT System Development and Platform; 巻 2021, p. 90-91, 発行日 2022-01-28
• 出版者 / 言語: ja
• 出版者: 情報処理学会