{"metadata":{"_oai":{"id":"oai:ipsj.ixsq.nii.ac.jp:00081072","sets":["1164:1384:6715:6716"]},"path":["6716"],"owner":"11","recid":"81072","title":["アスペクト指向状態言語の組込みソフトウェア制約への適用"],"pubdate":{"attribute_name":"公開日","attribute_value":"2012-03-08"},"_buckets":{"deposit":"e216a14a-0f40-4311-b249-7a3a0c0a0bac"},"_deposit":{"id":"81072","pid":{"type":"depid","value":"81072","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":"An Example of Aspect Oriented State Machine Language for Embedded Software Constraints","subitem_title_language":"en"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"形式手法・設計","subitem_subject_scheme":"Other"}]},"item_type_id":"4","publish_date":"2012-03-08","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":"東海大学情報通信学部"}]},"item_4_text_4":{"attribute_name":"著者所属(英)","attribute_value_mlt":[{"subitem_text_value":"Tokai University School of Information and Telecommunication Engineering","subitem_text_language":"en"},{"subitem_text_value":"Tokai University School of Information and Telecommunication Engineering","subitem_text_language":"en"},{"subitem_text_value":"Tokai University School of Information and Telecommunication Engineering","subitem_text_language":"en"},{"subitem_text_value":"Tokai University School of Information and Telecommunication Engineering","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Environmental and Information Studies Tokyo City University","subitem_text_language":"en"},{"subitem_text_value":"Faculty of Environmental and Information Studies Tokyo City University","subitem_text_language":"en"},{"subitem_text_value":"Tokai University School of Information and Telecommunication Engineering","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/81072/files/IPSJ-SE12175006.pdf"},"date":[{"dateType":"Available","dateValue":"2014-03-08"}],"format":"application/pdf","billing":["billing_file"],"filename":"IPSJ-SE12175006.pdf","filesize":[{"value":"828.3 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":"4ebe8101-a170-4c7f-a113-5cc6ddd03ef4","displaytype":"detail","licensetype":"license_note","license_note":"Copyright (c) 2012 by the Information Processing Society of Japan"}]},"item_4_creator_5":{"attribute_name":"著者名","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"川村, 峰大"},{"creatorName":"安倍, 昌輝"},{"creatorName":"長岡, 拓弥"},{"creatorName":"谷川, 郁太"},{"creatorName":"原, 築良"},{"creatorName":"小倉, 信彦"},{"creatorName":"渡辺, 晴美"}],"nameIdentifiers":[{}]}]},"item_4_creator_6":{"attribute_name":"著者名(英)","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"Takahiro, Kawamura","creatorNameLang":"en"},{"creatorName":"Masaki, Anbai","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_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":"組込みソフトウェアの複雑さは，時間，メモリ，環境などの制約に起因することが多い．制約によるソフトウェアの複雑さの問題に対し，我々はアスペクト指向状態遷移言語を提案してきた．本稿では，これまで提案してきた言語を拡張し，タイムスライス毎に状態遷移モデルを割り当てることでタイミング管理を可能にする．タイミング管理を，ポートの競合，ダイナミック点灯の遅延に関する制約問題に適用する．","subitem_description_type":"Other"}]},"item_4_description_8":{"attribute_name":"論文抄録(英)","attribute_value_mlt":[{"subitem_description":"Complications of embedded software development commonly arise out ofconstraint on time, memory, and environment. We have addressed the problem by an aspect oriented language with state transition syntax. In this article, we extend, to handle time constraint, the language by assigning state transition models to each time slice. We also show an example as an application to resolve port confliction and constraint on timing of LED dynamic drive.","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":"2012-03-08","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicVolumeNumber":"2012-SE-175"}]},"relation_version_is_last":true,"weko_creator_id":"11"},"id":81072,"updated":"2025-01-21T19:30:09.580890+00:00","links":{},"created":"2025-01-18T23:35:23.326229+00:00"}