講演抄録/キーワード |
講演名 |
2011-06-17 16:50
CPNによるGoogle App Engineのモデル化と検証 ○國枝秀行・新川芳行(龍谷大) SWIM2011-8 |
抄録 |
(和) |
クラウドコンピューティングは分散システムの規模を拡大させ、従来のリレーショナルデータベース(RDB)では扱えないほどの大容量のデータを高速転送することやクラウド上に独自のVM(仮想マシン)を作成するなど非常に可用性がある技術である。しかしクラウドはその性質上、データベースの完全な整合性やユーザデータの保守、管理などにいくつかの制約があり、実際にクラウドを利用する際には、これらの制約がアプリケーション要件に抵触しないかを事前に検証する必要がある。本論文ではカラーペトリネット(CPN)というモデル化技法を使い、クラウド環境をモデル化する事でこの検証を可能とする。また、モデル化対象のクラウドとしてはGoogle社が提供するGoogleAppEngineを使用した。このモデル化により、GAEを利用するアプリケーションの振る舞いや機能をCPNの支援ツールであるCPN-toolsにより、シミュレーションが可能となるため、このアプリケーションのクラウドへの適合性を評価、検証を行うことが可能となる。 |
(英) |
Cloud computing can easily scale up the capacity of distributed systems, enabling rapid massive data transfer which traditional RDB systems cannot deal with, or providing the unique virtual machines in the cloud, and is regarded as a very effective technology. However, there are several inherent restrictions on data integrity, maintenance, or management, and we need to evaluate them whether they conflict with our requirements. This paper presents an evaluation process for cloud computing using Colored Petri Nets (CPN). Google App Engine (GAE) is used as a cloud computing environment to be modeled. By CPN modeling, we can simulate the behavior and functionality of GAE applications using CPN-tools, in order to validate or evaluate the adaptation of the GAE applications. |
キーワード |
(和) |
CloudComputing / GoogleAppEngine / ColoredPetriNets / / / / / |
(英) |
CloudComputing / GoogleAppEngine / ColoredPetriNets / / / / / |
文献情報 |
信学技報, vol. 111, no. 86, SWIM2011-8, pp. 37-42, 2011年6月. |
資料番号 |
SWIM2011-8 |
発行日 |
2011-06-10 (SWIM) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SWIM2011-8 |
研究会情報 |
研究会 |
SWIM |
開催期間 |
2011-06-17 - 2011-06-17 |
開催地(和) |
機械振興会館 |
開催地(英) |
Kikai-Shinko-Kaikan Bldg. |
テーマ(和) |
提案型エンタプライズモデリング、一般 |
テーマ(英) |
|
講演論文情報の詳細 |
申込み研究会 |
SWIM |
会議コード |
2011-06-SWIM |
本文の言語 |
日本語 |
タイトル(和) |
CPNによるGoogle App Engineのモデル化と検証 |
サブタイトル(和) |
|
タイトル(英) |
Modeling and Verification of Google App Engine by CPN |
サブタイトル(英) |
|
キーワード(1)(和/英) |
CloudComputing / CloudComputing |
キーワード(2)(和/英) |
GoogleAppEngine / GoogleAppEngine |
キーワード(3)(和/英) |
ColoredPetriNets / ColoredPetriNets |
キーワード(4)(和/英) |
/ |
キーワード(5)(和/英) |
/ |
キーワード(6)(和/英) |
/ |
キーワード(7)(和/英) |
/ |
キーワード(8)(和/英) |
/ |
第1著者 氏名(和/英/ヨミ) |
國枝 秀行 / Hideyuki Kunieda / クニエダ ヒデユキ |
第1著者 所属(和/英) |
龍谷大学大学院 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Uni) |
第2著者 氏名(和/英/ヨミ) |
新川 芳行 / Yoshiyuki Shinkawa / |
第2著者 所属(和/英) |
龍谷大学大学院 (略称: 龍谷大)
Ryukoku University (略称: Ryukoku Uni) |
第3著者 氏名(和/英/ヨミ) |
/ / |
第3著者 所属(和/英) |
(略称: )
(略称: ) |
第4著者 氏名(和/英/ヨミ) |
/ / |
第4著者 所属(和/英) |
(略称: )
(略称: ) |
第5著者 氏名(和/英/ヨミ) |
/ / |
第5著者 所属(和/英) |
(略称: )
(略称: ) |
第6著者 氏名(和/英/ヨミ) |
/ / |
第6著者 所属(和/英) |
(略称: )
(略称: ) |
第7著者 氏名(和/英/ヨミ) |
/ / |
第7著者 所属(和/英) |
(略称: )
(略称: ) |
第8著者 氏名(和/英/ヨミ) |
/ / |
第8著者 所属(和/英) |
(略称: )
(略称: ) |
第9著者 氏名(和/英/ヨミ) |
/ / |
第9著者 所属(和/英) |
(略称: )
(略称: ) |
第10著者 氏名(和/英/ヨミ) |
/ / |
第10著者 所属(和/英) |
(略称: )
(略称: ) |
第11著者 氏名(和/英/ヨミ) |
/ / |
第11著者 所属(和/英) |
(略称: )
(略称: ) |
第12著者 氏名(和/英/ヨミ) |
/ / |
第12著者 所属(和/英) |
(略称: )
(略称: ) |
第13著者 氏名(和/英/ヨミ) |
/ / |
第13著者 所属(和/英) |
(略称: )
(略称: ) |
第14著者 氏名(和/英/ヨミ) |
/ / |
第14著者 所属(和/英) |
(略称: )
(略称: ) |
第15著者 氏名(和/英/ヨミ) |
/ / |
第15著者 所属(和/英) |
(略称: )
(略称: ) |
第16著者 氏名(和/英/ヨミ) |
/ / |
第16著者 所属(和/英) |
(略称: )
(略称: ) |
第17著者 氏名(和/英/ヨミ) |
/ / |
第17著者 所属(和/英) |
(略称: )
(略称: ) |
第18著者 氏名(和/英/ヨミ) |
/ / |
第18著者 所属(和/英) |
(略称: )
(略称: ) |
第19著者 氏名(和/英/ヨミ) |
/ / |
第19著者 所属(和/英) |
(略称: )
(略称: ) |
第20著者 氏名(和/英/ヨミ) |
/ / |
第20著者 所属(和/英) |
(略称: )
(略称: ) |
講演者 |
第1著者 |
発表日時 |
2011-06-17 16:50:00 |
発表時間 |
25分 |
申込先研究会 |
SWIM |
資料番号 |
SWIM2011-8 |
巻番号(vol) |
vol.111 |
号番号(no) |
no.86 |
ページ範囲 |
pp.37-42 |
ページ数 |
6 |
発行日 |
2011-06-10 (SWIM) |