| 講演名 | 2018-07-18 時間付き可逆プロセス計算 山本 暁(名大), 結縁 祥治(名大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本研究では、並行動作する実時間システムに対して、可逆性を付与した効率的なデバッグのモデルとして、並行計算の形式的体系の1つであるプロセス計算を拡張して、離散時間遷移と可逆性を付与したTimed RCCS(Timed Reversible Calculus of Communicating Systems)を提案する。Timed RCCSの構文と意味論を定義し、Timed RCCSの代数的な基本的性質を示す。さらに、例に基づいてTimed RCCSに基づくデバッグ手法について考察する。 |
| 抄録(英) | In this research, we propose a timed extension of RCCS, called Timed RCCS, equipped with forward and backward discrete time transitions as a model for efficient reversible debugging of concurrent realtime systems. We present the syntax and semantics of Timed RCCS and show the algebraic basic behavioural properties. Furthermore, we show an example the illustrate a debugging method based on Timed RCCS. |
| キーワード(和) | 可逆性 / 離散時間遷移 / プロセス計算 |
| キーワード(英) | Reversibility / Discrete time transitions / Process calculus |
| 資料番号 | SS2018-5,KBSE2018-15 |
| 発行日 | 2018-07-11 (SS, KBSE) |
| 研究会情報 | |
| 研究会 | KBSE / SS / IPSJ-SE |
|---|---|
| 開催期間 | 2018/7/18(から3日開催) |
| 開催地（和） | 北海道・帯広市 とかちプラザ 視聴覚室／大集会室 |
| 開催地（英） | |
| テーマ（和） | 知能ソフトウェア工学全般／ソフトウェアサイエンス全般／ソフトウェア工学全般 |
| テーマ（英） | |
| 委員長氏名（和） | 粂野 文洋(日本工大) / 中田 明夫(広島市大) / 丸山 勝久(立命館大学) |
| 委員長氏名（英） | Fumihiro Kumeno(Nippon Inst. of Tech.) / Akio Nakata(Hiroshima City Univ.) / Katsuhisa Maruyama(Ritsumeikan Univ.) |
| 副委員長氏名（和） | 中川 博之(阪大) / 小林 隆志(東工大) |
| 副委員長氏名（英） | Hiroyuki Nakagawa(Osaka Univ.) / Takashi Kobayashi(Tokyo Inst. of Tech.) |
| 幹事氏名（和） | 猿渡 卓也(NTT) / 木村 功作(富士通研) / 肥後 芳樹(阪大) / 島 和之(広島市大) / 石尾 隆(NAIST) / 位野木 万里(工学院大学) / 丹野 治門(NTT) / 吉田 則裕(名古屋大学) / 吉村 健太郎(日立製作所) / 鷲崎 弘宜(早稲田大学) |
| 幹事氏名（英） | Takuya Saruwatari(NTT) / Kosaku Kimura(Fujitsu labs.) / Yoshiki Higo(Osaka Univ.) / Kazuyuki Shima(Hiroshima City Univ.) / Takashi Ishio(NAIST) / Mari Inoki(Kogakuin Univ.) / Haruto Tanno(NTT) / Norihiro Yoshida(Nagoya Univ.) / Kentaro Yoshimura(Hitachi) / Hironori Washizaki(Waseda Univ.) |
| 幹事補佐氏名（和） | 高橋 竜一(茨城大) / 田辺 良則(鶴見大) / 林 晋平(東工大) |
| 幹事補佐氏名（英） | Ryuichi Takahashi(Ibaraki Univ.) / Yoshinori Tanabe(Tsurumi Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Knowledge-Based Software Engineering / Technical Committee on Software Science / Special Interest Group on Software Engineering |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 時間付き可逆プロセス計算 |
| サブタイトル（和） | |
| タイトル（英） | Reversible Communicating Systems with Time |
| サブタイトル（和） | |
| キーワード(1)（和/英） | 可逆性 / Reversibility |
| キーワード(2)（和/英） | 離散時間遷移 / Discrete time transitions |
| キーワード(3)（和/英） | プロセス計算 / Process calculus |
| 第 1 著者 氏名（和/英） | 山本 暁 / Satoru Yamamoto |
| 第 1 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 第 2 著者 氏名（和/英） | 結縁 祥治 / Shoji Yuen |
| 第 2 著者 所属（和/英） | 名古屋大学(略称：名大) Nagoya University(略称：Nagoya Univ.) |
| 発表年月日 | 2018-07-18 |
| 資料番号 | SS2018-5,KBSE2018-15 |
| 巻番号（vol） | vol.118 |
| 号番号（no） | SS-137,KBSE-138 |
| ページ範囲 | pp.25-30(SS), pp.25-30(KBSE), |
| ページ数 | 6 |
| 発行日 | 2018-07-11 (SS, KBSE) |