{"created":"2025-01-18T23:49:52.415504+00:00","updated":"2025-01-21T09:30:42.747873+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00106476","sets":["1164:1384:7508:7723"]},"path":["7723"],"owner":"11","recid":"106476","title":["通信キャリア向けサービス制御ノードの開発における形式仕様策定"],"pubdate":{"attribute_name":"公開日","attribute_value":"2014-11-06"},"_buckets":{"deposit":"41dc3c52-b2e8-4f30-8a64-04c9a4a17470"},"_deposit":{"id":"106476","pid":{"type":"depid","value":"106476","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"通信キャリア向けサービス制御ノードの開発における形式仕様策定","author_link":["11836","11837","11835","11842","11841","11834","11843","11838","11839","11840"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"通信キャリア向けサービス制御ノードの開発における形式仕様策定"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"モデル","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2014-11-06","item_4_text_3":{"attribute_name":"著者所属","attribute_value_mlt":[{"subitem_text_value":"九州大学大学院システム情報科学府"},{"subitem_text_value":"九州大学大学院システム情報科学研究院"},{"subitem_text_value":"九州大学大学院システム情報科学研究院"},{"subitem_text_value":"九州大学大学院システム情報科学研究院"},{"subitem_text_value":"九州大学大学院システム情報科学研究院"},{"subitem_text_value":"富士通九州ネットワークテクノロジーズ株式会社"},{"subitem_text_value":"富士通九州ネットワークテクノロジーズ株式会社"},{"subitem_text_value":"富士通九州ネットワークテクノロジーズ株式会社"},{"subitem_text_value":"富士通九州ネットワークテクノロジーズ株式会社"},{"subitem_text_value":"富士通九州ネットワークテクノロジーズ株式会社"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Graduate Schoold of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Information Science and Electrical Engineering, Kyushu University","subitem_text_language":"en"},{"subitem_text_value":"FUJITSU Kyushu Network Technologies Limited","subitem_text_language":"en"},{"subitem_text_value":"FUJITSU Kyushu Network Technologies Limited","subitem_text_language":"en"},{"subitem_text_value":"FUJITSU Kyushu Network Technologies Limited","subitem_text_language":"en"},{"subitem_text_value":"FUJITSU Kyushu Network Technologies Limited","subitem_text_language":"en"},{"subitem_text_value":"FUJITSU Kyushu Network Technologies Limited","subitem_text_language":"en"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"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/106476/files/IPSJ-SE14186014.pdf"},"date":[{"dateType":"Available","dateValue":"2016-11-06"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE14186014.pdf","filesize":[{"value":"1.7 MB"}],"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":"4584c54c-0027-4769-93a7-3aa3399da3e5","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2014 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"馬庚元"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"林信宏"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"大森洋一"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"日下部茂"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"荒木啓二郎"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"吉武浩"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"古賀昭男"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"原田英治"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"杜翔"}],"nameIdentifiers":[{}]},{"creatorNames":[{"creatorName":"井上康生"}],"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_description_7":{"attribute_name":"論文抄録","attribute_value_mlt":[{"subitem_description":"本稿では、情報処理推進機構 (IPA) がリリースした形式手法適用手順 (VDM++ 編) に基づいて通信キャリア向けサービス制御ノードの開発における要求から形式仕様 (VDM++ モデル) の策定まで行うべき手順や中間生産物を検討し，形式仕様策定法を提案する．この策定法を適用する対象として，簡単化した SBC(Session Border Controller) の要求を使って形式仕様策定の試行を行い，結果を報告する．","subitem_description_type":"Other"}]},"item_4_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"8","bibliographic_titles":[{"bibliographic_title":"研究報告ソフトウェア工学（SE）"}],"bibliographicPageStart":"1","bibliographicIssueDates":{"bibliographicIssueDate":"2014-11-06","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"14","bibliographicVolumeNumber":"2014-SE-186"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":106476,"links":{}}