{"updated":"2025-01-19T14:56:54.297803+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00219035","sets":["1164:1384:10896:10984"]},"path":["10984"],"owner":"44499","recid":"219035","title":["Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-07-21"},"_buckets":{"deposit":"3fd1bb10-9f0f-43be-b578-2a3d20b22ce6"},"_deposit":{"id":"219035","pid":{"type":"depid","value":"219035","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications","author_link":["570850","570846","570847","570851","570849","570848"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications"},{"subitem_title":"Semi-automatic Transformation of Ecore Metamodels to SOFL Based Specifications","subitem_title_language":"en"}]},"item_type_id":"4","publish_date":"2022-07-21","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Computer and Information Sciences, Hosei University"},{"subitem_text_value":"Graduate School of Computer and Information Sciences, Hosei University"},{"subitem_text_value":"Graduate School of Advanced Science and Engineering, Hiroshima University"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate School of Computer and Information Sciences, Hosei University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Computer and Information Sciences, Hosei University","subitem_text_language":"en"},{"subitem_text_value":"Graduate School of Advanced Science and Engineering, Hiroshima University","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_publisher":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"情報処理学会","subitem_publisher_language":"ja"}]},"publish_status":"0","weko_shared_id":-1,"item_file_price":{"attribute_name":"Billing file","attribute_type":"file","attribute_value_mlt":[{"url":{"url":"https://ipsj.ixsq.nii.ac.jp/record/219035/files/IPSJ-SE22211009.pdf","label":"IPSJ-SE22211009.pdf"},"date":[{"dateType":"Available","dateValue":"2024-07-21"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE22211009.pdf","filesize":[{"value":"912.6 kB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"0","billingrole":"12"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"e0797c8f-b4d5-4a5c-81ef-12649316b0a7","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2022 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Busalire, Emeka"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Soichiro, Hidaka"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shaoying, Liu"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Busalire, Emeka","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Soichiro, Hidaka","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shaoying, Liu","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_4_source_id_9":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AN10112981","subitem_source_identifier_type":"NCID"}]},"item_4_textarea_12":{"attribute_name":"Notice","attribute_value_mlt":[{"subitem_textarea_value":"SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc."}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_18gh","resourcetype":"technical report"}]},"item_4_source_id_11":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"2188-8825","subitem_source_identifier_type":"ISSN"}]},"item_4_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"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.","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"6","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2022-07-21","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"9","bibliographicVolumeNumber":"2022-SE-211"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"created":"2025-01-19T01:19:22.194583+00:00","id":219035,"links":{}}