@techreport{oai:ipsj.ixsq.nii.ac.jp:00219035,
 author = {Busalire, Emeka and Soichiro, Hidaka and Shaoying, Liu and Busalire, Emeka and Soichiro, Hidaka and Shaoying, Liu},
 issue = {9},
 month = {Jul},
 note = {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., 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.},
 title = {Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications},
 year = {2022}
}