講演名 | 2019-07-31 イベント構造の再合成可能性に関する一考察 伊澤 茉莉花(阪大), 宮本 俊幸(阪大), |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | サービス指向アーキテクチャに基づくシステムの設計問題としてコレオグラフィ実現問題がある.我々は,コレオグラフィが事象の非循環関係の集合によって与えられる場合についてこれまで検討してきた.本論文では,コレオグラフィがイベント構造とよばれる構造で与えられる場合を想定する.コレオグラフィ実現のためにはイベント構造が再合成可能という性質を満たす必要がある.本論文では,イベント構造が再合成可能となる条件を提案する. |
抄録(英) | The choreography realization problem is a design problem of systems based on service-oriented architecture. In our previous studies, we assumed that choreography is given by a set of acyclic relations on the set of events. In this paper, we assume that choreography is given by event structures. In order to realize choreography, an event structure must satisfy a property called reconstructibility. In this paper, we study the condition that an event structure can be reconstructed. |
キーワード(和) | サービス指向アーキテクチャ / モデルベース開発 / イベント構造 / 再合成可能性 / コレオグラフィ実現問題 |
キーワード(英) | SOA / model-based development / event structure / reconstructibility / choreography realization problem |
資料番号 | CAS2019-19,VLD2019-25,SIP2019-35,MSS2019-19 |
発行日 | 2019-07-23 (CAS, VLD, SIP, MSS) |
研究会情報 | |
研究会 | MSS / CAS / SIP / VLD |
---|---|
開催期間 | 2019/7/30(から2日開催) |
開催地(和) | 岩手大学 |
開催地(英) | Iwate Univ. |
テーマ(和) | システムと信号処理および一般 |
テーマ(英) | |
委員長氏名(和) | 髙井 重昌(阪大) / 山脇 大造(日立) / 相川 直幸(東京理科大) / 戸川 望(早大) |
委員長氏名(英) | Shigemasa Takai(Osaka Univ.) / Taizo Yamawaki(Hitachi) / Naoyuki Aikawa(TUS) / Nozomu Togawa(Waseda Univ.) |
副委員長氏名(和) | 尾崎 敦夫(阪工大) / 高島 康裕(北九州市大) / 林 和則(阪市大) / 坂東 幸浩(NTT) / 福田 大輔(富士通研) |
副委員長氏名(英) | Atsuo Ozaki(Osaka Inst. of Tech.) / Yasuhiro Takashima(Univ. of Kitakyushu) / Kazunori Hayashi(Osaka City Univ) / Yukihiro Bandou(NTT) / Daisuke Fukuda(Fujitsu Labs.) |
幹事氏名(和) | 金澤 尚史(阪大) / 小林 孝一(北大) / 中村 洋平(日立) / 佐藤 隆英(山梨大) / 中本 昌由(広島大学) / 小西 克巳(法政大) / 小平 行秀(会津大) / 桜井 祐市(日立) |
幹事氏名(英) | Takahumi Kanazawa(Osaka Univ.) / Koichi Kobayashi(Hokkaido Univ.) / Yohei Nakamura(Hitachi) / Takahide Sato(Yamanashi Univ.) / Masayoshi Nakamoto(Hiroshima Univ.) / Katsumi Konishi(Hosei Univ.) / Yukihide Kohira(Univ. of Aizu) / Yuichi Sakurai(Hitachi) |
幹事補佐氏名(和) | 林 直樹(阪大) / 佐藤 弘樹(ソニーLSIデザイン) / 山口 基(ルネサスエレクトロニクス) / / 池田 一樹(日立) |
幹事補佐氏名(英) | Naoki Hayashi(Osaka Univ.) / Hiroki Sato(Sony LSI Design) / Motoi Yamaguchi(Renesas Electronics) / / Kazuki Ikeda(Hitachi) |
講演論文情報詳細 | |
申込み研究会 | Technical Committee on Mathematical Systems Science and its applications / Technical Committee on Circuits and Systems / Technical Committee on Signal Processing / Technical Committee on VLSI Design Technologies |
---|---|
本文の言語 | JPN |
タイトル(和) | イベント構造の再合成可能性に関する一考察 |
サブタイトル(和) | |
タイトル(英) | A Study on Reconstructibility of Event Structures |
サブタイトル(和) | |
キーワード(1)(和/英) | サービス指向アーキテクチャ / SOA |
キーワード(2)(和/英) | モデルベース開発 / model-based development |
キーワード(3)(和/英) | イベント構造 / event structure |
キーワード(4)(和/英) | 再合成可能性 / reconstructibility |
キーワード(5)(和/英) | コレオグラフィ実現問題 / choreography realization problem |
第 1 著者 氏名(和/英) | 伊澤 茉莉花 / Marika Izawa |
第 1 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
第 2 著者 氏名(和/英) | 宮本 俊幸 / Toshiyuki Miyamoto |
第 2 著者 所属(和/英) | 大阪大学(略称:阪大) Osaka University(略称:Osaka Univ.) |
発表年月日 | 2019-07-31 |
資料番号 | CAS2019-19,VLD2019-25,SIP2019-35,MSS2019-19 |
巻番号(vol) | vol.119 |
号番号(no) | CAS-153,VLD-154,SIP-155,MSS-156 |
ページ範囲 | pp.83-88(CAS), pp.83-88(VLD), pp.83-88(SIP), pp.83-88(MSS), |
ページ数 | 6 |
発行日 | 2019-07-23 (CAS, VLD, SIP, MSS) |