{"created":"2023-05-15T14:44:53.148394+00:00","id":4198,"links":{},"metadata":{"_buckets":{"deposit":"56a72b08-37e2-4a82-a316-171cab53c765"},"_deposit":{"created_by":3,"id":"4198","owners":[3],"pid":{"revision_id":0,"type":"depid","value":"4198"},"status":"published"},"_oai":{"id":"oai:konan-u.repo.nii.ac.jp:00004198","sets":["10:180:576:597"]},"author_link":["2220","7572"],"item_10002_biblio_info_7":{"attribute_name":"書誌情報","attribute_value_mlt":[{"bibliographicIssueDates":{"bibliographicIssueDate":"2022-02-01","bibliographicIssueDateType":"Issued"},"bibliographicIssueNumber":"2","bibliographicPageEnd":"179","bibliographicPageStart":"149","bibliographicVolumeNumber":"14","bibliographic_titles":[{"bibliographic_title":"甲南大学紀要. 知能情報学編"},{"bibliographic_title":"Memoirs of Konan University. Intelligence & Informatics Series","bibliographic_titleLang":"en"}]}]},"item_10002_description_19":{"attribute_name":"フォーマット","attribute_value_mlt":[{"subitem_description":"application/pdf","subitem_description_type":"Other"}]},"item_10002_description_5":{"attribute_name":"抄録","attribute_value_mlt":[{"subitem_description":"近年, システムの高分散化に伴い, ソフトウェアアーキテクチャを構成する上で, コンポーネント間のデータ転送方式の選択の重要性が高まってきている. データの転送方式は大きくPUSH型とPULL型に分けることができるが, いずれのデータ転送方式を採用するかが, システム全体の最終的な性能に大きな影響を及ぼす. そのため, 開発の初期の段階で適切にデータ転送方式を評価できることが望まれる.\n一般にアーキテクチャ設計を正しく評価するためには, アーキテクチャの設計内容を厳密に定義できる体系が必要となる. そのため, アーキテクチャモデル及びアーキテクチャ記述言語の研究が広く行われてきた. 本研究室では, データ転送方式の選択および評価の支援を目的とした代数的アーキテクチャモデルの提案を行っている. 提案アーキテクチャモデルは, 制御の流れに関する情報を捨象することによって, プロセス代数などのプロセスに基づく他の記述体系よりも抽象度の高い情報を記述することを可能にしている. そのため, 提案アーキテクチャモデルによって記述されたアーキテクチャ情報は, データ転送方式の選択の影響を受けないという特徴を持つ.\n本論文では, 既存の記述体系としてプロセス代数CCS を選び, 提案アーキテクチャモデルの記述から, データ転送方式の選択に応じてCCS による実装を自動生成できることを示し, 生成されたCCS 実装が元のアーキテクチャモデルと等価となることを証明する. また, 等価性を保ちながらデータ転送方式を変更するための十分条件を示す. これらによって, 提案アーキテクチャモデルに基づいてデータ転送方式をリファクタリングするための理論的な基盤の構築が可能となる.","subitem_description_type":"Abstract"}]},"item_10002_identifier_registration":{"attribute_name":"ID登録","attribute_value_mlt":[{"subitem_identifier_reg_text":"10.14990/00004168","subitem_identifier_reg_type":"JaLC"}]},"item_10002_publisher_8":{"attribute_name":"出版者","attribute_value_mlt":[{"subitem_publisher":"甲南大学"}]},"item_10002_source_id_11":{"attribute_name":"書誌レコードID","attribute_value_mlt":[{"subitem_source_identifier":"AA12335282","subitem_source_identifier_type":"NCID"}]},"item_10002_source_id_9":{"attribute_name":"ISSN","attribute_value_mlt":[{"subitem_source_identifier":"18830161","subitem_source_identifier_type":"ISSN"}]},"item_10002_version_type_20":{"attribute_name":"著者版フラグ","attribute_value_mlt":[{"subitem_version_resource":"http://purl.org/coar/version/c_970fb48d4fbd8a85","subitem_version_type":"VoR"}]},"item_creator":{"attribute_name":"著者","attribute_type":"creator","attribute_value_mlt":[{"creatorNames":[{"creatorName":"新田, 直也"},{"creatorName":"ニッタ, ナオヤ","creatorNameLang":"ja-Kana"},{"creatorName":"NITTA, Naoya","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"2220","nameIdentifierScheme":"WEKO"},{"nameIdentifier":"20346307","nameIdentifierScheme":"e-Rad","nameIdentifierURI":"https://kaken.nii.ac.jp/ja/search/?qm=20346307"}]},{"creatorNames":[{"creatorName":"蔭山, 信二"},{"creatorName":"カゲヤマ, シンジ","creatorNameLang":"ja-Kana"},{"creatorName":"KAGEYAMA, Shinji","creatorNameLang":"en"}],"nameIdentifiers":[{"nameIdentifier":"7572","nameIdentifierScheme":"WEKO"}]}]},"item_files":{"attribute_name":"ファイル情報","attribute_type":"file","attribute_value_mlt":[{"accessrole":"open_date","date":[{"dateType":"Available","dateValue":"2022-04-08"}],"displaytype":"detail","filename":"K03964.pdf","filesize":[{"value":"713.7 kB"}],"format":"application/pdf","licensetype":"license_note","mimetype":"application/pdf","url":{"label":"K03964.pdf","url":"https://konan-u.repo.nii.ac.jp/record/4198/files/K03964.pdf"},"version_id":"2d27814f-9df3-4351-aac2-0b0a4f229fe3"}]},"item_keyword":{"attribute_name":"キーワード","attribute_value_mlt":[{"subitem_subject":"アーキテクチャ記述言語","subitem_subject_scheme":"Other"},{"subitem_subject":"プロセス代数","subitem_subject_scheme":"Other"},{"subitem_subject":"CCS","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":"departmental bulletin paper","resourceuri":"http://purl.org/coar/resource_type/c_6501"}]},"item_title":"リソースに基づく代数的アーキテクチャモデルのプロセス代数CCSによる実装について","item_titles":{"attribute_name":"タイトル","attribute_value_mlt":[{"subitem_title":"リソースに基づく代数的アーキテクチャモデルのプロセス代数CCSによる実装について"}]},"item_type_id":"10002","owner":"3","path":["597"],"pubdate":{"attribute_name":"公開日","attribute_value":"2022-04-08"},"publish_date":"2022-04-08","publish_status":"0","recid":"4198","relation_version_is_last":true,"title":["リソースに基づく代数的アーキテクチャモデルのプロセス代数CCSによる実装について"],"weko_creator_id":"3","weko_shared_id":3},"updated":"2023-05-15T15:08:05.597830+00:00"}