{"created":"2025-01-18T23:33:35.562626+00:00","updated":"2025-01-21T20:36:52.522394+00:00","metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00078187","sets":["6164:6165:6561:6562"]},"path":["6562"],"owner":"11","recid":"78187","title":["組込みソフトウェアのためのアスペクト指向による状態遷移言語の提案"],"pubdate":{"attribute_name":"公開日","attribute_value":"2011-10-12"},"_buckets":{"deposit":"381ae74b-6791-4526-951e-300b5484f8f7"},"_deposit":{"id":"78187","pid":{"type":"depid","value":"78187","revision_id":0},"owners":[11],"status":"published","created_by":11},"item_title":"組込みソフトウェアのためのアスペクト指向による状態遷移言語の提案","author_link":["0","0"],"item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"組込みソフトウェアのためのアスペクト指向による状態遷移言語の提案"},{"subitem_title":"A State Transition Machine Language Based on Aspect-Oriented Concept for Embedded Software","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"組込み開発環境","subitem_subject_scheme":"Other"}]},"item_type_id":"18","publish_date":"2011-10-12","item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_18_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":"東海大学情報通信学部"}]},"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/78187/files/IPSJ-ESS2011021.pdf"},"date":[{"dateType":"Available","dateValue":"2013-10-12"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-ESS2011021.pdf","filesize":[{"value":"1.3 MB"}],"mimetype":"application/pdf","priceinfo":[{"tax":["include_tax"],"price":"660","billingrole":"5"},{"tax":["include_tax"],"price":"330","billingrole":"6"},{"tax":["include_tax"],"price":"330","billingrole":"42"},{"tax":["include_tax"],"price":"0","billingrole":"44"}],"accessrole":"open_date","version_id":"54e66363-ee7b-4935-9c3b-9f945cad64a5","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2011 by the Information Processing Society of Japan"}]},"item_18_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"安倍, 昌輝"},{"creatorName":"川村, 峰大"},{"creatorName":"長岡, 拓弥"},{"creatorName":"谷川, 郁太"},{"creatorName":"原, 築良"},{"creatorName":"小倉, 信彦"},{"creatorName":"渡辺, 晴美"}],"nameIdentifiers":[{}]}]},"item_18_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Masaki, Anbai","creatorNameLang":"en"},{"creatorName":"Takahiro, Kawamura","creatorNameLang":"en"},{"creatorName":"Takuya, Nagaoka","creatorNameLang":"en"},{"creatorName":"Ikuta, Tanigawa","creatorNameLang":"en"},{"creatorName":"Chikura, Hara","creatorNameLang":"en"},{"creatorName":"Nobuhiko, Ogura","creatorNameLang":"en"},{"creatorName":"Harumi, Watanabe","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":"組込みソフトウェアのモデルは,システムの本来の役割を表す正常系の処理に加え,膨大な非正常系の処理が表されるため複雑になることが多い.実装に近い下流のモデルは,組込みソフトウェア特有の制約により,さらに複雑になる.制約は多くの場合,横断的関心事となることから,このような問題を解決するために,アスペクト指向技術が期待されている.本論文では,アスペクト指向状態遷移言語を提案する.本言語は,組込みソフトウェア特有の制約を状態遷移モデル上でアスペクトとして扱うことが可能で,状態遷移モデルを周期タスクへ割り当てる機能を有する.また,ET ソフトウェアロボットコンテストの NXT ロボットに適用し,その効果を評価する.","subitem_description_type":"Other"}]},"item_18_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Models of Embedded software are generally complicated, by many kind of irregular behavior. The complexity makes it difficult to understand the regular behavior which is essential role of the system. Additionally, many constraints of embedded software make more complicated the model. As some constraints often become crosscutting concerns, aspect oriented technologies are expected to solve these problems. In this paper, we propose an aspect oriented state transition machine language, which provides composition and decomposition of state transition models and also has a periodic task assignment mechanism to cope with the timing constraint. For evaluation of our work, we will apply the language to NXT robots software for ET Software Design Robot Contest.","subitem_description_type":"Other"}]},"item_18_biblio_info_10":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicPageEnd":"21-10","bibliographic_titles":[{"bibliographic_title":"組込みシステムシンポジウム2011論文集"}],"bibliographicPageStart":"21-1","bibliographicIssueDates":{"bibliographicIssueDate":"2011-10-12","bibliographicIssueDateType":"Issued"},"bibliographicVolumeNumber":"2011"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":78187,"links":{}}