ログイン
言語:

WEKO3

  • トップ
  • ランキング
To
lat lon distance
To

Field does not validate



インデックスリンク

インデックスツリー

メールアドレスを入力してください。

WEKO

One fine body…

WEKO

One fine body…

アイテム

{"_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": ["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", "download_preview_message": "", "file_order": 0, "filename": "j80-d1_6_474.pdf", "filesize": [{"value": "794.4 kB"}], "format": "application/pdf", "future_date_message": "", "is_thumbnail": false, "licensetype": "license_note", "mimetype": "application/pdf", "size": 794400.0, "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"], "permalink_uri": "http://hdl.handle.net/2237/12739", "pubdate": {"attribute_name": "PubDate", "attribute_value": "2010-02-23"}, "publish_date": "2010-02-23", "publish_status": "0", "recid": "10893", "relation": {}, "relation_version_is_last": true, "title": ["正則な実時間通信プロセスに対するテスト擬順序の記号的特性化"], "weko_shared_id": -1}
  1. B200 工学部/工学研究科
  2. B200a 雑誌掲載論文
  3. 学術雑誌

正則な実時間通信プロセスに対するテスト擬順序の記号的特性化

http://hdl.handle.net/2237/12739
http://hdl.handle.net/2237/12739
158e2de5-844f-4f14-9ff5-c2071f2a9a41
名前 / ファイル ライセンス アクション
j80-d1_6_474.pdf j80-d1_6_474.pdf (794.4 kB)
Item type 学術雑誌論文 / Journal Article(1)
公開日 2010-02-23
タイトル
タイトル 正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
言語 ja
その他のタイトル
その他のタイトル Symbolic Alternative Characterizations of Testing Preorders for Regular Real-Time Communicating Processes
言語 en
著者 結縁, 祥治

× 結縁, 祥治

WEKO 32807

ja 結縁, 祥治

Search repository
坂部, 俊樹

× 坂部, 俊樹

WEKO 32808

ja 坂部, 俊樹

Search repository
稲垣, 康善

× 稲垣, 康善

WEKO 32809

ja 稲垣, 康善

Search repository
アクセス権
アクセス権 open access
アクセス権URI http://purl.org/coar/access_right/c_abf2
権利
言語 en
権利情報 Copyright 1997 IEICE
キーワード
主題Scheme Other
主題 通信プロセス
キーワード
主題Scheme Other
主題 実時間処理
キーワード
主題Scheme Other
主題 プロセス代数
キーワード
主題Scheme Other
主題 形式的意味論
抄録
内容記述 本論文では,通信プロセスの体系にタイムアウト演算子を導入することによって時間の概念を導入した実時間通信プロセスの体系において,テスト擬順序を定式化し,十分抽象的な代替特性化を示す.時間は実数領域として導入し,実時間通信プロセスに対するテスト擬順序をDeNicolaとHennessyの体系の自然な拡張として定義する.この意味論に対して,Holmerらの強双模倣関係に対する手法[12]を拡張し,実時間通信プロセスの記述から構文的に得られるタイムアウト情報を用いて,振舞いが変化しない有限な区間ごとに時間を抽象して扱う記号的代替特性化を提案する.この特性化によって,発散しない正則なクラスに対して有限的にテスト擬順序を証明する手法が導かれる.
言語 ja
内容記述タイプ Abstract
出版者
言語 ja
出版者 電子情報通信学会
言語
言語 jpn
資源タイプ
資源タイプresource http://purl.org/coar/resource_type/c_6501
タイプ journal article
出版タイプ
出版タイプ VoR
出版タイプResource http://purl.org/coar/version/c_970fb48d4fbd8a85
関連情報
関連タイプ isVersionOf
識別子タイプ URI
関連識別子 http://www.ieice.org/jpn/trans_online/index.html
ISSN
収録物識別子タイプ PISSN
収録物識別子 0915-1915
書誌情報 ja : 電子情報通信学会論文誌

巻 J80-D-I, 号 6, p. 474-485, 発行日 1997-06-20
フォーマット
application/pdf
著者版フラグ
値 publisher
URI
識別子 http://hdl.handle.net/2237/12739
識別子タイプ HDL
URI
識別子 http://www.ieice.org/jpn/trans_online/index.html
識別子タイプ URI
戻る
0
views
See details
Views

Versions

Ver.1 2021-03-01 19:17:28.171697
Show All versions

Share

Mendeley Twitter Facebook Print Addthis

Cite as

エクスポート

OAI-PMH
  • OAI-PMH JPCOAR
  • OAI-PMH DublinCore
  • OAI-PMH DDI
Other Formats
  • JSON
  • BIBTEX

Confirm


Powered by WEKO3


Powered by WEKO3