| 講演名 | 2015-12-05 UPPAALによるGAEの性能評価 西田 紗知(龍谷大), 新川 芳行(龍谷大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 近年，Google App Engine (GAE) などの PAAS 型クラウドが，企業情報システム実行基盤の選択肢となりつつある．PaaS はトランザクション処理などの基幹業務を経済的に開発・運用が可能で，アプリケーションの自由度も高いという優れた特性を持つが，内部構造が隠蔽され，必要な性能関連データが公開されないことから，開発段階での性能予測が難しいという問題がある．また BASE と呼ばれる，従来よりも弱いデータ整合性維持の原則により，データ整合性評価が困難という問題もある．本論文は，GAE デーストアという NoSQL 型データベース処理トランザクションの性能予測を，モデル検査ツール UPPAAL により行う手法を提案する．性能評価モデル構築にあたり，システム内部構造ではなく GAE により提供されるアプリケーションプログラミングインタフェース（API）に着目し，その処理機構という形態を採用した．また，各 API の処理時間は Java による測定プログラムにより求め，平均値や分散などの統計的データも収集してモデルに組み入れた． |
| 抄録(英) | Recently, PaaS type cloud services like Google App Engine (GAE) are becoming a candidate for the systemprocessing platform of enterprise information systems. PaaS has excellent properties for developing and operating backbonesystems cost-effectively, along with the flexibility of application forms. However we often face with the problemsregarding performance prediction during development, since PaaS system structure is hidden and virtualize and requiredperformance related information is not opened for general public. In addition, the more relaxed data integrity principlecalled BASE makes the data integrity evaluation difficult. This paper proposes a process and relevant techniques to predictthe performance of transaction systems for GAE datastore database, which is one of the NoSQL databases, usingthe model checking tool UPPAAL. In order to create the prediction model, we focus on the Application ProgrammingInterfaces (APIs) instead of system structures, and regard the system as a mechanism to process these APIs. Moreover, we write Java programs to measure the processing time of each API, and incorporate the statistical properties like meanand variance into the model. |
| キーワード(和) | トランザクション処理 / クラウドコンピューティング / Google App Engine / UPPAAL / 性能予測 |
| キーワード(英) | Transaction Processing / Cloud Computing / Google App Engine / UPPAAL / Performance Prediction |
| 資料番号 | SWIM2015-15 |
| 発行日 | 2015-11-28 (SWIM) |
| 研究会情報 | |
| 研究会 | SWIM |
|---|---|
| 開催期間 | 2015/12/5(から1日開催) |
| 開催地（和） | 東京工芸大学 中野キャンパス |
| 開催地（英） | Tokyo polytechnic Univ. |
| テーマ（和） | モデリングの実装、一般 （ワークショップ） |
| テーマ（英） | Model implementation, etc. (Work Shop) |
| 委員長氏名（和） | 須栗 裕樹(宮城大) |
| 委員長氏名（英） | Hiroki Suguri(Miyagi Univ.) |
| 副委員長氏名（和） | 宇田川 佳久(東京工芸大) |
| 副委員長氏名（英） | Yoshihisa Udagawa(Tokyo Polytechnic Univ.) |
| 幹事氏名（和） | 荻野 正(沖縄高専) / 結城 修(キヤノン) |
| 幹事氏名（英） | Tadashi Ogino(Okinawa National College of Tech.) / Osamu Yuki(Canon) |
| 幹事補佐氏名（和） | 丸山 文宏(富士通研) / 永吉 実武(早大) |
| 幹事補佐氏名（英） | Fumihiro Maruyama(Fujitsu Labs.) / Sanetake Nagayoshi(Waseda Univ.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Software Interprise Modeling |
|---|---|
| 本文の言語 | JPN |
| タイトル（和） | UPPAALによるGAEの性能評価 |
| サブタイトル（和） | |
| タイトル（英） | Performance Prediction for GAE Using the UPPAAL |
| サブタイトル（和） | |
| キーワード(1)（和/英） | トランザクション処理 / Transaction Processing |
| キーワード(2)（和/英） | クラウドコンピューティング / Cloud Computing |
| キーワード(3)（和/英） | Google App Engine / Google App Engine |
| キーワード(4)（和/英） | UPPAAL / UPPAAL |
| キーワード(5)（和/英） | 性能予測 / Performance Prediction |
| 第 1 著者 氏名（和/英） | 西田 紗知 / Sachi Nishida |
| 第 1 著者 所属（和/英） | 龍谷大学(略称：龍谷大) Ryukoku University(略称：Ryukoku Univ.) |
| 第 2 著者 氏名（和/英） | 新川 芳行 / Yoshiyuki Shinkawa |
| 第 2 著者 所属（和/英） | 龍谷大学(略称：龍谷大) Ryukoku University(略称：Ryukoku Univ.) |
| 発表年月日 | 2015-12-05 |
| 資料番号 | SWIM2015-15 |
| 巻番号（vol） | vol.115 |
| 号番号（no） | SWIM-353 |
| ページ範囲 | pp.19-24(SWIM), |
| ページ数 | 6 |
| 発行日 | 2015-11-28 (SWIM) |