{"created":"2021-03-01T06:17:45.069875+00:00","id":10893,"links":{},"metadata":{"_buckets":{"deposit":"0c5cf73c-a66b-482e-ac56-0e31b668154f"},"_deposit":{"id":"10893","owners":[],"pid":{"revision_id":0,"type":"depid","value":"10893"},"status":"published"},"_oai":{"id":"oai:nagoya.repo.nii.ac.jp:00010893","sets":["320:321:322"]},"author_link":["32807","32808","32809"],"item_10_alternative_title_19":{"attribute_name":"その他のタイトル","attribute_value_mlt":[{"subitem_alternative_title":"Symbolic Alternative Characterizations of Testing Preorders for Regular Real-Time Communicating Processes","subitem_alternative_title_language":"en"}]},"item_10_biblio_info_6":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"1997-06-20","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"6","bibliographicPageEnd":"485","bibliographicPageStart":"474","bibliographicVolumeNumber":"J80-D-I","bibliographic_titles":[{"bibliographic_title":"電子情報通信学会論文誌","bibliographic_titleLang":"ja"}]}]},"item_10_description_4":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"本論文では，通信プロセスの体系にタイムアウト演算子を導入することによって時間の概念を導入した実時間通信プロセスの体系において，テスト擬順序を定式化し，十分抽象的な代替特性化を示す．時間は実数領域として導入し，実時間通信プロセスに対するテスト擬順序をDeNicolaとHennessyの体系の自然な拡張として定義する．この意味論に対して，Holmerらの強双模倣関係に対する手法［12］を拡張し，実時間通信プロセスの記述から構文的に得られるタイムアウト情報を用いて，振舞いが変化しない有限な区間ごとに時間を抽象して扱う記号的代替特性化を提案する．この特性化によって，発散しない正則なクラスに対して有限的にテスト擬順序を証明する手法が導かれる．","subitem_description_language":"ja","subitem_description_type":"Abstract"}]},"item_10_identifier_60":{"attribute_name":"URI","attribute_value_mlt":[{"subitem_identifier_type":"HDL","subitem_identifier_uri":"http://hdl.handle.net/2237/12739"},{"subitem_identifier_type":"URI","subitem_identifier_uri":"http://www.ieice.org/jpn/trans_online/index.html"}]},"item_10_publisher_32":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"電子情報通信学会","subitem_publisher_language":"ja"}]},"item_10_relation_43":{"attribute_name":"関連情報","attribute_value_mlt":[{"subitem_relation_type":"isVersionOf","subitem_relation_type_id":{"subitem_relation_type_id_text":"http://www.ieice.org/jpn/trans_online/index.html","subitem_relation_type_select":"URI"}}]},"item_10_rights_12":{"attribute_name":"権利","attribute_value_mlt":[{"subitem_rights":"Copyright 1997 IEICE","subitem_rights_language":"en"}]},"item_10_select_15":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_select_item":"publisher"}]},"item_10_source_id_7":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"0915-1915","subitem_source_identifier_type":"PISSN"}]},"item_10_text_14":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_text_value":"application/pdf"}]},"item_1615787544753":{"attribute_name":"出版タイプ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_access_right":{"attribute_name":"アクセス権","attribute_value_mlt":[{"subitem_access_right":"open access","subitem_access_right_uri":"http://purl.org/coar/access_right/c_abf2"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"結縁, 祥治","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"32807","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"坂部, 俊樹","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"32808","nameIdentifierScheme":"WEKO"}]},{"creatorNames":[{"creatorName":"稲垣, 康善","creatorNameLang":"ja"}],"nameIdentifiers":[{"nameIdentifier":"32809","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2018-02-20"}],"displaytype":"detail","filename":"j80-d1_6_474.pdf","filesize":[{"value":"794.4 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"j80-d1_6_474.pdf","objectType":"fulltext","url":"https://nagoya.repo.nii.ac.jp/record/10893/files/j80-d1_6_474.pdf"},"version_id":"e81ba6ab-6637-41d9-97ae-8cb0e2fdce31"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"通信プロセス","subitem_subject_scheme":"Other"},{"subitem_subject":"実時間処理","subitem_subject_scheme":"Other"},{"subitem_subject":"プロセス代数","subitem_subject_scheme":"Other"},{"subitem_subject":"形式的意味論","subitem_subject_scheme":"Other"}]},"item_language":{"attribute_name":"言語","attribute_value_mlt":[{"subitem_language":"jpn"}]},"item_resource_type":{"attribute_name":"資源タイプ","attribute_value_mlt":[{"resourcetype":"journal article","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"正則な実時間通信プロセスに対するテスト擬順序の記号的特性化","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"正則な実時間通信プロセスに対するテスト擬順序の記号的特性化","subitem_title_language":"ja"}]},"item_type_id":"10","owner":"1","path":["322"],"pubdate":{"attribute_name":"PubDate","attribute_value":"2010-02-23"},"publish_date":"2010-02-23","publish_status":"0","recid":"10893","relation_version_is_last":true,"title":["正則な実時間通信プロセスに対するテスト擬順序の記号的特性化"],"weko_creator_id":"1","weko_shared_id":-1},"updated":"2023-01-16T03:56:50.809728+00:00"}