| 講演名 | 2022-03-07 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法 蔭山 信二(甲南大), 新田 直也(甲南大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | コンポーネント間のデータ転送を PUSH 型で行うか PULL 型で行うかの選択は, システム全体の構造と最終的に得られる性能の両方に大きな影響を及ぼす. そこで本研究では, 開発初期の段階における適切なデータ転送方式の選択の支援を目的に, データ転送アーキテクチャモデルの提案を行っている. 具体的には, アーキテクチャ設計をデータ転送方式に依存する部分と依存しない部分に分離し, 依存しない部分を代数的に記述可能にする. 本稿では, 提案アーキテクチャモデルによる記述とユーザによって選択されたデータ転送方式を元に, CCS プロセスを自動生成する手法を示し, 生成された CCS プロセスが元のアーキテクチャモデルと等価となることおよび, 等価性を保ちながらデータ転送方式を変更するための十分条件を示す. |
| 抄録(英) | Deciding in which style, push or pull, the data should be transferred between software components generally has great impacts on both the overall system structure and the resulting system performance. Therefore, in this research, we present an algebraic architecture model to support selection of suitable data transfer methods in an earlier stage of the development. More concretely, we divide architecture designs into two parts; the dependent and independent parts of data transfer methods, and formalize the independent part based on resources using algebra. In this paper, we present a method to generate a CCS process from an architecture model and data transfer methods selected by an user, prove the equivalence between the architecture model and the generated CCS process, and show a sufficient condition to change data transfer methods safely. |
| キーワード(和) | アーキテクチャ記述言語 / プロセス代数 / CCS / データ転送アーキテクチャ |
| キーワード(英) | architecture description language / process algebra / CCS / data transfer architecture |
| 資料番号 | SS2021-47 |
| 発行日 | 2022-02-28 (SS) |
| 研究会情報 | |
| 研究会 | SS |
|---|---|
| 開催期間 | 2022/3/7(から2日開催) |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | ソフトウェアサイエンスおよび一般 |
| テーマ（英） | Software Science etc. |
| 委員長氏名（和） | 小林 隆志(東工大) |
| 委員長氏名（英） | Takashi Kobayashi(Tokyo Inst. of Tech.) |
| 副委員長氏名（和） | 岡野 浩三(信州大) |
| 副委員長氏名（英） | Kozo Okano(Shinshu Univ.) |
| 幹事氏名（和） | 島 和之(広島市大) / 林 晋平(東工大) |
| 幹事氏名（英） | Kazuyuki Shima(Hiroshima City Univ.) / Shinpei Hayashi(Tokyo Inst. of Tech.) |
| 幹事補佐氏名（和） | 小形 真平(信州大) |
| 幹事補佐氏名（英） | Shinpei Ogata(Shinshu Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Science |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法 |
| サブタイトル（和） | |
| タイトル（英） | A Method to Generate a CCS Process from Algebraic Data Transfer Architecture Model |
| サブタイトル（和） | |
| キーワード(1)（和/英） | アーキテクチャ記述言語 / architecture description language |
| キーワード(2)（和/英） | プロセス代数 / process algebra |
| キーワード(3)（和/英） | CCS / CCS |
| キーワード(4)（和/英） | データ転送アーキテクチャ / data transfer architecture |
| 第 1 著者 氏名（和/英） | 蔭山 信二 / Shinji Kageyama |
| 第 1 著者 所属（和/英） | 甲南大学大学院(略称：甲南大) Graduate School of Konan University(略称：Konan Univ.) |
| 第 2 著者 氏名（和/英） | 新田 直也 / Naoya Nitta |
| 第 2 著者 所属（和/英） | 甲南大学大学院(略称：甲南大) Graduate School of Konan University(略称：Konan Univ.) |
| 発表年月日 | 2022-03-07 |
| 資料番号 | SS2021-47 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | SS-416 |
| ページ範囲 | pp.31-36(SS), |
| ページ数 | 6 |
| 発行日 | 2022-02-28 (SS) |