A Development Method for Dependable WebService-ware

2011 Fiscal Year Final Research Report

• Project/Area Number: 20300009
• Research Category: Grant-in-Aid for Scientific Research (B)
• Allocation Type: Single-year Grants
• Section: 一般
• Research Field: Software
• Research Institution: Nagoya University
• Principal Investigator: AGUSA Kiyoshi 名古屋大学, 情報科学研究科, 教授 (90026360)
• Co-Investigator(Kenkyū-buntansha): YUEN Shoji 名古屋大学, 大学院・情報科学研究科, 教授 (70230612) ; KOBAYASHI Takashi 名古屋大学, 大学院・情報科学研究科, 准教授 (50345386) ; HAMAGUCHI Takeshi 名古屋大学, 大学院・情報科学研究科, 助教 (90273284)
• Project Period (FY): 2008 – 2011
• Keywords: Webサービス / コレオグラフィー / プログラム解析

Research Abstract

We have investigated dependable developing method for' WebService-ware' that integrates WebServices over the Internet. We studied behavioral models for WebService-ware via communications with static analysis techniques such as a session type system. We proposed a code mining to reuse program codes for efficient construction of WebService-ware.

Research Products

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