| Item type |
SIG Technical Reports(1) |
| 公開日 |
2022-07-21 |
| タイトル |
|
|
タイトル |
Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications |
| タイトル |
|
|
言語 |
en |
|
タイトル |
Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications |
| 言語 |
|
|
言語 |
eng |
| 資源タイプ |
|
|
資源タイプ識別子 |
http://purl.org/coar/resource_type/c_18gh |
|
資源タイプ |
technical report |
| 著者所属 |
|
|
|
Graduate School of Computer and Information Sciences, Hosei University |
| 著者所属 |
|
|
|
Graduate School of Computer and Information Sciences, Hosei University |
| 著者所属 |
|
|
|
Graduate School of Advanced Science and Engineering, Hiroshima University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Computer and Information Sciences, Hosei University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Computer and Information Sciences, Hosei University |
| 著者所属(英) |
|
|
|
en |
|
|
Graduate School of Advanced Science and Engineering, Hiroshima University |
| 著者名 |
Busalire, Emeka
Soichiro, Hidaka
Shaoying, Liu
|
| 著者名(英) |
Busalire, Emeka
Soichiro, Hidaka
Shaoying, Liu
|
| 論文抄録 |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Formal languages have provided a strong foundation for most activities in computer science, offering a set of syntax and semantics to describe data or specify behaviour of data that model a software. Model Driven Engineering (MDE) has encouraged adoption of graphical methods to model software. There exist MDE techniques with formal languages integration which provide support for model to text transformations as well as analysis, verification and validation of the generated text to verify if the model satisfy target requirements and guarantee certain properties are satisfied. However, there is still a challenge imposed by the complexity of formal language notations compared to more intuitive graphical notations or natural language representations of graphical models. In this paper, we present some generic formal approach for model to text transformations into its equivalent SOFL formal specifications thereby addressing the formal languages notations complexity overhead on model to text transformation that offer a formal language integration. We adopt SOFL as our formal language of choice due to its rich support for both structured and object oriented concepts which are also widely supported by MDE techniques. We show how a source model conforming to an Ecore metamodel can be transformed into its textual equivalent in SOFL formal language, and show case some representative examples to illustrate this approach. |
| 論文抄録(英) |
|
|
内容記述タイプ |
Other |
|
内容記述 |
Formal languages have provided a strong foundation for most activities in computer science, offering a set of syntax and semantics to describe data or specify behaviour of data that model a software. Model Driven Engineering (MDE) has encouraged adoption of graphical methods to model software. There exist MDE techniques with formal languages integration which provide support for model to text transformations as well as analysis, verification and validation of the generated text to verify if the model satisfy target requirements and guarantee certain properties are satisfied. However, there is still a challenge imposed by the complexity of formal language notations compared to more intuitive graphical notations or natural language representations of graphical models. In this paper, we present some generic formal approach for model to text transformations into its equivalent SOFL formal specifications thereby addressing the formal languages notations complexity overhead on model to text transformation that offer a formal language integration. We adopt SOFL as our formal language of choice due to its rich support for both structured and object oriented concepts which are also widely supported by MDE techniques. We show how a source model conforming to an Ecore metamodel can be transformed into its textual equivalent in SOFL formal language, and show case some representative examples to illustrate this approach. |
| 書誌レコードID |
|
|
収録物識別子タイプ |
NCID |
|
収録物識別子 |
AN10112981 |
| 書誌情報 |
研究報告ソフトウェア工学（SE）
巻 2022-SE-211,
号 9,
p. 1-6,
発行日 2022-07-21
|
| ISSN |
|
|
収録物識別子タイプ |
ISSN |
|
収録物識別子 |
2188-8825 |
| Notice |
|
|
|
SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. |
| 出版者 |
|
|
言語 |
ja |
|
出版者 |
情報処理学会 |
IPSJ-SE22211009.pdf (912.6 kB)
