{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00212697","sets":["6164:6165:6522:10650"]},"path":["10650"],"owner":"44499","recid":"212697","title":["Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures"],"pubdate":{"attribute_name":"公開日","attribute_value":"2021-08-30"},"_buckets":{"deposit":"7ccc483e-e279-4078-9c13-99b520fa3584"},"_deposit":{"id":"212697","pid":{"type":"depid","value":"212697","revision_id":0},"owners":[44499],"status":"published","created_by":44499},"item_title":"Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures","author_link":["543042","543044","543041","543040","543043","543045"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures"},{"subitem_title":"Building SOFL-to-Java Traceability Links using Multi-dimensional Similarity Measures","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2021-08-30","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"eng"}]},"item_18_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"Hiroshima University"},{"subitem_text_value":"Hiroshima University"},{"subitem_text_value":"Hosei University"}]},"item_18_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Hiroshima University","subitem_text_language":"en"},{"subitem_text_value":"Hiroshima University","subitem_text_language":"en"},{"subitem_text_value":"Hosei University","subitem_text_language":"en"}]},"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/212697/files/IPSJ-SES2021024.pdf","label":"IPSJ-SES2021024.pdf"},"date":[{"dateType":"Available","dateValue":"2023-08-30"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SES2021024.pdf","filesize":[{"value":"663.1 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":"69d2888d-434f-49d1-92df-fb8fd89e4f81","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2021 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Jiandong, Li"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shaoying, Liu"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Runhe, Huang"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Jiandong, Li","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Shaoying, Liu","creatorNameLang":"en"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"Runhe, Huang","creatorNameLang":"en"}],"nameIdentifiers":[{}]}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourceuri":"http://purl.org/coar/resource_type/c_5794","resourcetype":"conference paper"}]},"item_18_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"To achieve an automatic formal specification-based program fault detection, the open problem of how to automatically link the components in the formal specification to the corresponding ones in the implemented code must be addressed. To reduce the manpower and time cost, some automated techniques have already been developed but their effectiveness is limited mainly due to the over dependency of textual similarity. In this paper, we present an automatic method for constructing the traceability links between SOFL formal specifications and Java program code. Unlike the existing work, our method not only considers the semantic similarity, but also structural, functional, and relational similarities as the measurement dimensions. It also operates at multiple levels of a specification, such as data flows, processes, and modules, to establish fine-grained link relationships between artifacts. Further, we conduct a comprehensive empirical evaluation of the proposed method using selected two modules of a critical ATM system's SOFL formal specification and its Java implementation with the size of 951 code of lines and 36 traceability links. The result shows that we can establish SOFL-to-Java links with the precision of 97.2% which is close to highest accuracy of existing naming convention technique in the situation of consistent identifier and the precision of 88.8% illustrating high performance in precision and generality in the situation of inconsistent identifier.","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"To achieve an automatic formal specification-based program fault detection, the open problem of how to automatically link the components in the formal specification to the corresponding ones in the implemented code must be addressed. To reduce the manpower and time cost, some automated techniques have already been developed but their effectiveness is limited mainly due to the over dependency of textual similarity. In this paper, we present an automatic method for constructing the traceability links between SOFL formal specifications and Java program code. Unlike the existing work, our method not only considers the semantic similarity, but also structural, functional, and relational similarities as the measurement dimensions. It also operates at multiple levels of a specification, such as data flows, processes, and modules, to establish fine-grained link relationships between artifacts. Further, we conduct a comprehensive empirical evaluation of the proposed method using selected two modules of a critical ATM system's SOFL formal specification and its Java implementation with the size of 951 code of lines and 36 traceability links. The result shows that we can establish SOFL-to-Java links with the precision of 97.2% which is close to highest accuracy of existing naming convention technique in the situation of consistent identifier and the precision of 88.8% illustrating high performance in precision and generality in the situation of inconsistent identifier.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"150","bibliographic_titles":[{"bibliographic_title":"ソフトウェアエンジニアリングシンポジウム2021論文集"}],"bibliographicPageStart":"143","bibliographicIssueDates":{"bibliographicIssueDate":"2021-08-30","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2021"}]},"relation_version_is_last":true,"weko_creator_id":"44499"},"id":212697,"updated":"2025-01-19T17:24:48.693449+00:00","links":{},"created":"2025-01-19T01:13:37.832438+00:00"}