講演名 | 2011/11/10 SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般) 長谷川 泰央, 新村 勇人, 宮本 俊幸, |
---|---|
PDFダウンロードページ | PDFダウンロードページへ |
抄録(和) | 短期間で情報システムを構築可能なアーキテクチャとしてSOAが注目されている.SOAに基づくシステム開発の効率化のためには設計から検証までシームレスに利用可能な数理的な表現法が必要である.そこで本論文ではコミュニケーション図と状態機械を含むUMLのサブセットを提案する.これにより,同期・非同期通信が混在するコレオグラフィや,サービスの振る舞いモデルを統一的に記述することができるようになる. |
抄録(英) | SOA has received attension as an architecture which enables developping information systems in a short time. For efficient development of systems based on SOA, a formal expressive framework is needed to integrate seamlessly design and verification. In this paper, we propose a subset of UML including communication diagrams and state machine diagrams. It enables us to uniformly describe choreography where synchronous and asynchronous communications coexist and behavioral model of services. |
キーワード(和) | SOA / UML / コミュニケーション図 / 状態機械 / 同期・非同期 / 振る舞いモデル |
キーワード(英) | SOA / UML / communication diagram / state machine diagram / synchronous and asynchronous / behavior model |
資料番号 | MSS2011-48,CAS2011-79 |
発行日 |
研究会情報 | |
研究会 | MSS |
---|---|
開催期間 | 2011/11/10(から1日開催) |
開催地(和) | |
開催地(英) | |
テーマ(和) | |
テーマ(英) | |
委員長氏名(和) | |
委員長氏名(英) | |
副委員長氏名(和) | |
副委員長氏名(英) | |
幹事氏名(和) | |
幹事氏名(英) | |
幹事補佐氏名(和) | |
幹事補佐氏名(英) |
講演論文情報詳細 | |
申込み研究会 | Mathematical Systems Science and its applications(MSS) |
---|---|
本文の言語 | JPN |
タイトル(和) | SOAに基づくシステムの設計検証のためのUMLサブセット(グラフ,ペトリネット,ニューラルネット,及び一般) |
サブタイトル(和) | |
タイトル(英) | A UML Subset for Design and Verification of Systems Based on SOA |
サブタイトル(和) | |
キーワード(1)(和/英) | SOA / SOA |
キーワード(2)(和/英) | UML / UML |
キーワード(3)(和/英) | コミュニケーション図 / communication diagram |
キーワード(4)(和/英) | 状態機械 / state machine diagram |
キーワード(5)(和/英) | 同期・非同期 / synchronous and asynchronous |
キーワード(6)(和/英) | 振る舞いモデル / behavior model |
第 1 著者 氏名(和/英) | 長谷川 泰央 / Yasuwo HASEGAWA |
第 1 著者 所属(和/英) | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
第 2 著者 氏名(和/英) | 新村 勇人 / Hayato NIIMURA |
第 2 著者 所属(和/英) | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
第 3 著者 氏名(和/英) | 宮本 俊幸 / Toshiyuki MIYAMOTO |
第 3 著者 所属(和/英) | 大阪大学大学院工学研究科 Graduate School of Engineering, Osaka University |
発表年月日 | 2011/11/10 |
資料番号 | MSS2011-48,CAS2011-79 |
巻番号(vol) | vol.111 |
号番号(no) | 294 |
ページ範囲 | pp.- |
ページ数 | 6 |
発行日 |