高信頼Webサービスウェアの効率的な開発手法

2011 年度 研究成果報告書

• 研究課題/領域番号: 20300009
• 研究種目: 基盤研究(B)
• 配分区分: 補助金
• 応募区分: 一般
• 研究分野: ソフトウエア
• 研究機関: 名古屋大学
• 研究代表者: 阿草 清滋 名古屋大学, 情報科学研究科, 教授 (90026360)
• 研究分担者: 結縁 祥治 名古屋大学, 大学院・情報科学研究科, 教授 (70230612) ; 小林 隆志 名古屋大学, 大学院・情報科学研究科, 准教授 (50345386) ; 濱ロ 毅 名古屋大学, 大学院・情報科学研究科, 助教 (90273284)
• 研究期間 (年度): 2008 – 2011
• キーワード: Webサービス / コレオグラフィー / プログラム解析

研究概要

Webサービスウェアは,ネットワーク上で分散実行されるWebサービスを統合するソフトウェアシステムである.本課題では, Webサービスウェアの効率的な開発技法の確立を目指した.振舞モデルの定義に対してセッション型などの静的解析を適用する抽象的なモデル開発アプローチと、具体的プログラム記述からWebサービス統合として整合した再利用コードを発見する再利用アプローチを実施し,高信頼のサービスウェア構築を目指して研究を行った.

研究成果

• [雑誌論文] Reticella : An Execution Trace Slicing and Visualization Tool based on a Behavior Model (2012)
  • 著者名/発表者名: Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Motoshi Saeki, Kiyoshi Agusa
  • 雑誌名: IEICE Transactions on Information and Systems 巻: Vol.E95-D, No.4 ページ: 959-969
  • 査読あり
• [雑誌論文] CX-Checker :柔軟にカスタマイズ可能なC言語プログラムのコーディングチェッカ (2012)
  • 著者名/発表者名: 大須賀俊憲, 小林隆志, 渥美紀寿, 間瀬順一, 山本晋一郎, 鈴村延保, 阿草清滋
  • 雑誌名: 情報処理学会論文誌 巻: Vol.53 No.2 ページ: 590-600
  • 査読あり
• [雑誌論文] Session Type Inference in Haskell (2011)
  • 著者名/発表者名: Keigo Imai, Shoji Yuen, and Kiyoshi Agusa
  • 雑誌名: Electronic Proceedings in Theoretical Computer Science 巻: Vol.69 ページ: 74-91
  • 査読あり
• [雑誌論文] 例外処理を持つ関数型プログラムの停止性・非停止性証明法 (2011)
  • 著者名/発表者名: 濱口毅, 酒井正彦, 馬場正貴, 阿草清滋
  • 雑誌名: 情報処理学会論文誌(トランザクション)プログラミング 巻: Vol.4 No.1 ページ: 13-30
  • 査読あり
• [雑誌論文] データマイニング技術を応用したソフトウェア構築・保守支援の研究動向 (2010)
  • 著者名/発表者名: 小林隆志, 林晋平
  • 雑誌名: コンピュータソフトウェア 巻: Vol.27 No.3 ページ: 13-23
  • 査読あり
• [雑誌論文] JavaScriptソースコードリポジトリを用いた代替コード発見 (2010)
  • 著者名/発表者名: 蛭牟田英治, 小林隆志, 末次亮, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • 雑誌名: コンピュータソフトウェア 巻: Vol.27 No.2 ページ: 129-134
  • 査読あり
• [雑誌論文] 多粒度な可視化によるソフトウェア理解支援 (2010)
  • 著者名/発表者名: 上原伸介, 小林隆志, 大須賀俊憲, 山本晋一郎, 阿草清滋
  • 雑誌名: コンピュータソフトウェア 巻: Vol.27 No.2 ページ: 116-121
  • 査読あり
• [雑誌論文] On the Job Learning :産学連携による新しいソフトウェア工学教育手法 (2010)
  • 著者名/発表者名: 小林隆志, 沢田篤史, 山本晋一郎, 野呂昌満, 阿草清滋
  • 雑誌名: 情報システム学会誌 巻: Vol.5 No.2 ページ: 32-45
  • 査読あり
• [雑誌論文] テスト実行に基づくコンポーネント検索 (2008)
  • 著者名/発表者名: 安藤恭平, 金子伸幸, 山本晋一郎, 阿草清滋
  • 雑誌名: コンピュータソフトウェア 巻: vol.25 No.3 ページ: 194-207
  • 査読あり
• [雑誌論文] A session type system with subject reduction
  • 著者名/発表者名: Keigo Imai, Syoji Yuen, Kiyoshi. Agusa
  • 雑誌名: IEICE Transaction
  • 査読あり
• [学会発表] Software Metrics based on Coding Standards Violations (2011)
  • 著者名/発表者名: Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
  • 学会等名: the Joint Conference of the 21th International Workshop on Software Measurement and the 6th International Conference on Software Process and Product Measurement(IWSM/MENSURA2011)
  • 発表場所: Nara, Japan
  • 年月日: 20111103-04
• [学会発表] An XML Representation of Preprocessed Code for Static Analysis (2011)
  • 著者名/発表者名: Noritoshi Atsumi, Mitsuaki Oba, Takashi Kobayashi, Shinichiro Yamamoto and Kiyoshi Agusa
  • 学会等名: IEEE 22nd annual International Symposium on Software Reliability Engineering(ISSRE 2011)
  • 発表場所: Hiroshima, Japan
  • 年月日: 20111102-1200
• [学会発表] Alloyによるタスクスケジューリング解析 (2011)
  • 著者名/発表者名: 中堂園貴幸,結縁祥治
  • 学会等名: 組込みシステムシンポジウム2011
  • 発表場所: 東京
  • 年月日: 20111019-21
• [学会発表] Supporting Design Model Refactoring for Improving Class Responsibility Assignment (2011)
  • 著者名/発表者名: Motohiro Akiyama, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
  • 学会等名: ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems(MODELS 2011)
  • 発表場所: Wellington, New Zealand
  • 年月日: 20111016-21
• [学会発表] An XML C Source Code Interchange Format for CASE Tools (2011)
  • 著者名/発表者名: Noritoshi Atsumi, Shinichiro Yamamoto, Takashi Kobayashi, Kiyoshi Agusa
  • 学会等名: the IEEE Signature Conference on Computers 2011, Software, and ApplicationsMunich
  • 発表場所: Germany
  • 年月日: 20110718-21
• [学会発表] Preliminary Assessment of Software Metrics based on Coding Standards Violations (2011)
  • 著者名/発表者名: Yasunari Takai, Takashi Kobayashi, Kiyoshi Agusa
  • 学会等名: Joint Workshop on Software Science and Engineering(IEICE Technical Report No.IEICE-SS2011-12)
  • 発表場所: Seoul, Korea
  • 年月日: 20110630-0701
• [学会発表] An Extension of DynAlloy with Concurrency (2011)
  • 著者名/発表者名: Takuya Iwatsuka, Shoji Yuen
  • 学会等名: IEICE SIGSS(Joint Workshop on Software Science and Engineering)(IEICE Technical Report No.IEICE-SS2011-1)
  • 発表場所: Seoul, Korea
  • 年月日: 20110630-0701
• [学会発表] ファイルアクセス履歴から抽出した参照関係に基づくファイル検索手法 (2011)
  • 著者名/発表者名: 山下訓昭,小林隆志,横田治夫,阿草清滋
  • 学会等名: 第4回Webとデータベースに関するフォーラム
  • 発表場所: 東京
  • 年月日: 2011-11-04
• [学会発表] 並行処理記述のためのDynAlloyの拡張 (2011)
  • 著者名/発表者名: 岩塚卓弥,結縁祥治
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道
  • 年月日: 2011-03-10
• [学会発表] 名前渡しプロセス計算における優先度ガード (2011)
  • 著者名/発表者名: 結縁祥治,太田正悟
  • 学会等名: 第13回プログラミングおよびプログラミング言語ワークショップ
  • 発表場所: 北海道
  • 年月日: 2011-03-10
• [学会発表] データマイニング技術を応用したソフトウェア構築・保守支援 (2010)
  • 著者名/発表者名: 小林隆志,林晋平
  • 学会等名: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • 発表場所: 新潟
  • 年月日: 2010-11-17
• [学会発表] トレースに基づくデバッグにおける欠陥箇所発見支援手法 (2010)
  • 著者名/発表者名: 上原伸介,小林隆志,渥美紀寿,山本晋一郎,阿草清滋
  • 学会等名: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • 発表場所: 新潟
  • 年月日: 2010-11-17
• [学会発表] 組込みソフトウェア製品ファミリにおけるコンパイルスイッチによる構成管理手法 (2010)
  • 著者名/発表者名: 渥美紀寿,谷聡貴,大塚直也,小林隆志,山本晋一郎,阿草清滋
  • 学会等名: 第17回ソフトウェア工学の基礎ワークショップFOSE2010
  • 発表場所: 新潟
  • 年月日: 2010-11-17
• [学会発表] CASEツール・プラットフォームのためのCソースプログラムのXML表現とその応用 (2010)
  • 著者名/発表者名: 渥美紀寿,山本晋一郎,小林隆志,阿草清滋
  • 学会等名: ソフトウェアシンポジウム2010
  • 発表場所: 東京
  • 年月日: 2010-09-01
• [学会発表] Searching Keyword-lacking Files Based on Latent Interfile Relationships (2010)
  • 著者名/発表者名: Tetsutaro Watanabe, Takashi Kobayashi, Haruo Yokota
  • 学会等名: 5th International Conference on Software and Data Technologies(ICSOFT2010)
  • 発表場所: アテネ・ギリシャ
  • 年月日: 2010-07-18
• [学会発表] Modeling and Analysis of Real-Time Systems with Mutex Components (2010)
  • 著者名/発表者名: Guoqiang Li, Xiaojuan Cai, Shoji Yuen
  • 学会等名: 12th Advances in Parallel and Distributed Computing Models
  • 発表場所: Atlanta, USA
  • 年月日: 2010-04-19
• [学会発表] Session Type Inference in Haskell (2010)
  • 著者名/発表者名: Keigo Imai, Shoji Yuen, Kiyoshi Agusa
  • 学会等名: PLACES' 10 : Programming Language Approaches to Concurrency and Communication-cEntric Software
  • 発表場所: Paphos, Cyprus
  • 年月日: 2010-03-21
• [学会発表] 極性をもたないセッション型システム (2010)
  • 著者名/発表者名: 今井敬吾,結縁祥治,阿草清滋
  • 学会等名: 第12回プログラミングおよびプログラミング言語ワークショップPPL2010
  • 発表場所: 香川
  • 年月日: 2010-03-03
• [学会発表] Finding Alternate Javascript Codes with a Code Repository (2010)
  • 著者名/発表者名: Eiji HIrumuta, Takashi Kobayashi, Noritoshi Atsumi, Kiyoshi Agusa
  • 学会等名: the IASTED International Conference on Software Engineering 2010
  • 発表場所: Innsburk, Austria
  • 年月日: 2010-02-17
• [学会発表] Sequence Diagram Slicing (2009)
  • 著者名/発表者名: Kunihiro Noda, Takashi Kobayashi, Shinichiro Yamamoto, Kiyoshi Agusa
  • 学会等名: Asia-Pacific Software Engineering Conference(APSEC) 2009
  • 発表場所: Penang, Malaysia
  • 年月日: 2009-12-01
• [学会発表] スタックトレース情報を用いた問題解決経験の検索 (2009)
  • 著者名/発表者名: 谷聡貴,小林隆志,山本晋一郎,阿草清滋
  • 学会等名: ソフトウェア工学の基礎ワークショップFOSE2008
  • 発表場所: 兵庫
  • 年月日: 2009-11-14
• [学会発表] JavaScriptソースコードリポジトリを用いた代替コード発見 (2009)
  • 著者名/発表者名: 蛭牟田英治,末次亮,大須賀俊憲,小林隆志,山本晋一郎,阿草清滋
  • 学会等名: ソフトウェア工学の基礎ワークショップ2009
  • 発表場所: 箱根
  • 年月日: 2009-11-13
• [学会発表] Model-View-Controller Architecture Specific Model Transformation (2009)
  • 著者名/発表者名: Hiroshi Kazato, Rafael Weis, Shinpei Hayashi, Takashi Kobayashi, Motoshi Saeki
  • 学会等名: 9th OOPSLA Workshop on Domain-Specific Modeling(DSM09)
  • 発表場所: Orlando, USA
  • 年月日: 2009-10-25
• [学会発表] 多粒度な可視化によるソフトウェア理解支援 (2009)
  • 著者名/発表者名: 上原伸介,小林隆志,大須賀俊憲,山本晋一郎,阿草清滋
  • 学会等名: ソフトウェアエンジニアリングシンポジウム
  • 発表場所: 東京
  • 年月日: 2009-09-08
• [学会発表] CX-Checker : C言語プログラムのためのカスタマイズ可能なコーディングチェッカ (2009)
  • 著者名/発表者名: 大須賀俊憲,小林隆志,間瀬順一,渥美紀寿,山本晋一郎,鈴村延保,阿草清滋
  • 学会等名: ソフトウェアエンジニアリングシンポジウム
  • 発表場所: 東京
  • 年月日: 2009-09-08
• [学会発表] Environmental Simulation of Real-Time Systemswith Nested Interrupts (2009)
  • 著者名/発表者名: Guoqiang Li, Shoji Yuen, Masakazu Adachi
  • 学会等名: 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering(TASE2009)
  • 発表場所: Tianjin, China
  • 年月日: 2009-07-29
• [学会発表] A Full Implementation of Session Types (2009)
  • 著者名/発表者名: 今井敬吾,結縁祥治,阿草清滋
  • 学会等名: 第11回プログラミングおよびプログラミング言語ワークショップPPL2009
  • 発表場所: 岐阜
  • 年月日: 2009-03-10