WEKO3
アイテム
正則な実時間通信プロセスに対するテスト擬順序の記号的特性化
http://hdl.handle.net/2237/12739
http://hdl.handle.net/2237/12739158e2de5-844f-4f14-9ff5-c2071f2a9a41
名前 / ファイル | ライセンス | アクション |
---|---|---|
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 | |||||
著者 |
結縁, 祥治
× 結縁, 祥治× 坂部, 俊樹× 稲垣, 康善 |
|||||
アクセス権 | ||||||
アクセス権 | open access | |||||
アクセス権URI | http://purl.org/coar/access_right/c_abf2 | |||||
権利 | ||||||
言語 | en | |||||
権利情報 | Copyright 1997 IEICE | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 通信プロセス | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 実時間処理 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | プロセス代数 | |||||
キーワード | ||||||
主題Scheme | Other | |||||
主題 | 形式的意味論 | |||||
抄録 | ||||||
内容記述タイプ | Abstract | |||||
内容記述 | 本論文では,通信プロセスの体系にタイムアウト演算子を導入することによって時間の概念を導入した実時間通信プロセスの体系において,テスト擬順序を定式化し,十分抽象的な代替特性化を示す.時間は実数領域として導入し,実時間通信プロセスに対するテスト擬順序をDeNicolaとHennessyの体系の自然な拡張として定義する.この意味論に対して,Holmerらの強双模倣関係に対する手法[12]を拡張し,実時間通信プロセスの記述から構文的に得られるタイムアウト情報を用いて,振舞いが変化しない有限な区間ごとに時間を抽象して扱う記号的代替特性化を提案する.この特性化によって,発散しない正則なクラスに対して有限的にテスト擬順序を証明する手法が導かれる. | |||||
言語 | ja | |||||
出版者 | ||||||
出版者 | 電子情報通信学会 | |||||
言語 | ja | |||||
言語 | ||||||
言語 | jpn | |||||
資源タイプ | ||||||
資源タイプ識別子 | 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 |