| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2022-03-07 13:40 代数に基づくデータ転送アーキテクチャモデルからのCCSプロセスの導出手法 ○蔭山信二・新田直也（甲南大）  SS2021-47 |
|
| 抄録 | （和） | コンポーネント間のデータ転送を 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 / / / / | |
| 文献情報 | 信学技報, vol. 121, no. 416, SS2021-47, pp. 31-36, 2022年3月. | |
| 資料番号 | SS2021-47 | |
| 発行日 | 2022-02-28 (SS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| 査読に ついて |
本技術報告は査読を経ていない技術報告であり，推敲を加えられていずれかの場に発表されることがあります． | |
| PDFダウンロード | SS2021-47 |
|
| 研究会情報 | |
| 研究会 | SS |
| 開催期間 | 2022-03-07 - 2022-03-08 |
| 開催地（和） | オンライン開催 |
| 開催地（英） | Online |
| テーマ（和） | ソフトウェアサイエンスおよび一般 |
| テーマ（英） | Software Science etc. |
| 講演論文情報の詳細 | |
| 申込み研究会 | SS |
| 会議コード | 2022-03-SS |
| 本文の言語 | 日本語 |
| タイトル（和） | 代数に基づくデータ転送アーキテクチャモデルからの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 |
| キーワード(5)（和/英） | / |
| キーワード(6)（和/英） | / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 蔭山 信二 / Shinji Kageyama / カゲヤマ シンジ |
| 第1著者 所属（和/英） | 甲南大学大学院 (略称： 甲南大) Graduate School of Konan University (略称： Konan Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 新田 直也 / Naoya Nitta / ニッタ ナオヤ |
| 第2著者 所属（和/英） | 甲南大学大学院 (略称： 甲南大) Graduate School of Konan University (略称： Konan Univ.) |
| 講演者 | 第1著者 |
| 発表日時 | 2022-03-07 13:40:00 |
| 発表時間 | 25分 |
| 申込先研究会 | SS |
| 資料番号 | SS2021-47 |
| 巻番号（vol） | vol.121 |
| 号番号（no） | no.416 |
| ページ範囲 | pp.31-36 |
| ページ数 | 6 |
| 発行日 | 2022-02-28 (SS) |
[研究会発表申込システムのトップページに戻る]