• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2007 Fiscal Year Final Research Report Summary

Semantic Refacteting Techniqus for Round-trip development of Web applications

Research Project

Project/Area Number 17300006
Research Category

Grant-in-Aid for Scientific Research (B)

Allocation TypeSingle-year Grants
Section一般
Research Field Software
Research InstitutionNagoya University

Principal Investigator

AGUSA Kiyoshi  Nagoya University, Graduate School Information Science, Professor (90026360)

Co-Investigator(Kenkyū-buntansha) YUEN Shoji  Nagoya University, Graduate School of Information Science, Professor (70230612)
HAMAGUCHI Takeshi  Nagoya University, Graduate School of Information Saence, Assistant Professor (90273284)
YAMAMOTO Shinichiro  Aichi Prefectural University, Department of Information Science, Asscoiate Professor (40240098)
Project Period (FY) 2005 – 2007
KeywordsAdvanced Internet / Web Applications / Refactoring / Software Engineering
Research Abstract

We have investigated a new refactoring technique for web applications aiming at the better reliability and maintainability. Web applications am different from the conventional software system in that (1) they are executed by events over web pages., and (2) they are built as the combination of componets deserted by various languages, which are not necessarily object-oriented As scaled up the web applications or enhanced their functionalities, the reliability and maintainability generally become worm. Web applications are basically captured by the object orient manner as the reactive systems. Thus, we tried to investigate new enhanced refactering techniques for web applications.
To start with, we proposed a refactoring technique for Apache Struts framework with an abstract operational model. However, it is restricted to a certain class of Struts framwork in a small scale. We then needed to investigate appropriate testing methods and devise a semantic model for refactoring, where software is restructured or rewritten to have better properties. By testing behavior, it is ensured that the original properties are preserved. We proposed a testing method for web applications and how to automate the method. And we investigated some semantic models suitable for round-trip refactoring of web applications. During the research period, we have not yet completed the development of refactoring, but through the refactoring of Apache Struts, and the testing method and semantic models, we believe that we now substantially have the results for refactoring web applications.

  • Research Products

    (40 results)

All 2008 2007 2006 2005

All Journal Article (8 results) (of which Peer Reviewed: 4 results) Presentation (32 results)

  • [Journal Article] 高信頼Webアプリケーションのためのページ生成プログラムのテスト手法2007

    • Author(s)
      渥美紀寿, 桑原寛明, 金子伸幸, 山本晋一郎, 阿草清滋
    • Journal Title

      コンピュータソフトウェア 24

      Pages: 153-164

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] 通信プロセスモデルによるAIBO OPEN-Rプログラムのデッドロックフリー解析手法2007

    • Author(s)
      末次亮、結縁祥治、阿草清滋
    • Journal Title

      情報処理学会論文誌 48

      Pages: 2915-2924

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] A Testing Medthod of Page Generators for Dependable Web Application2007

    • Author(s)
      Noritoshi, Atsumi, Hiroaki, Kuwabara, Kiyoshi, Agusa, Shinichiro, Yamamoto
    • Journal Title

      Computer Software Vol.24

      Pages: 153-164

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] A Deadlock free analysis for AIBO OPEN-R Programs based on Communicating Processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      IPSJ Journal Vol.48

      Pages: 2915-2924

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] Supporting Quality Assurance of Client Web Applications: Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf Aun, Shoji Yuen, Kiyoshi Agusa
    • Journal Title

      Journal of Web Engineering 4

      Pages: 144-164

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] ラウンドトリップエンジニアリングを目指したWebアプリケーションのための意味モデル2005

    • Author(s)
      松塚貴英、阿草清滋、山本晋一郎
    • Journal Title

      情報処理学会論文誌 46

      Pages: 1145-1154

    • Description
      「研究成果報告書概要(和文)」より
    • Peer Reviewed
  • [Journal Article] Supporting Quality Assurance of Client Web Applications : Identifying and Addressing the Challenges2005

    • Author(s)
      Md. Sharaf, Aun, Shoji, Yuen, Kiyoshi, Agusa
    • Journal Title

      Journal of Web Engineering Vol.4

      Pages: 144-164

    • Description
      「研究成果報告書概要(欧文)」より
  • [Journal Article] A Semantic Model for Round-trip Engineering of Web Applications2005

    • Author(s)
      Takahide, Matsuzuka, Kiyoshi, Agusa, Shinirhiro, Yamamoto
    • Journal Title

      IPSJ Journal Vol.45

      Pages: 1145-1154

    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] π計算に基づくGUIプログラムの構築および検証2008

    • Author(s)
      下村翔, 今井敬吾, 結縁祥治, 小笠原啓
    • Organizer
      第10回プログラミング及びプログラミング言語ワークショップPPL2008
    • Place of Presentation
      仙台市太白区秋保
    • Year and Date
      2008-03-05
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Development and verification of GUI programs based on the pi-calculus2008

    • Author(s)
      Sho, Shimomura, Keigo, Imai, Shoji, Yuen, Hiroshi, Ogasawara
    • Organizer
      10th workshop on programming and programming language(PPL2008)
    • Place of Presentation
      Akiu-onsen(Sendai)
    • Year and Date
      2008-03-05
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] アマゾンバグ防止フレームワークのためのWebアプリケーション双実行モデル2008

    • Author(s)
      水野良太, 今井敬吾, 末次亮, 金子伸幸, 山本晋一郎, 阿草清滋
    • Organizer
      電気電子情報通信学会ソフトウェアサイエンス研究会
    • Place of Presentation
      長崎県佐世保市
    • Year and Date
      2008-03-04
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A Web application bi-execution model for a framework preventing Amazon-bug2008

    • Author(s)
      Ryota, Mizuno, Keigo, Imai, Ryo, Suetsugu, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IEICE SIG-SS
    • Place of Presentation
      Sasebo(Nagasaki)
    • Year and Date
      2008-03-04
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-Rprograms based on communicating processes2007

    • Author(s)
      Ryo Suetsugu, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      14th Asia-Pacific software engineering conference APSEC2007, pages 366-373(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A synchronization flow analysis of concurrent objects in AIBO OPEN-11 programs based on communicating processes2007

    • Author(s)
      Ryo, Suetsugu, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      14th Asia Pacific Sofeware Engineering(APSEC2007, pp.366-373)
    • Place of Presentation
      Midland Hall
    • Year and Date
      2007-12-06
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura Bhandari, Shoji Yuen, Kiyoshi Agusa
    • Organizer
      Workshop on Service Oriented Architecture, APSEC2007, pages 8-15(査読有)
    • Place of Presentation
      名古屋ミッドランドホール
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Communication Centered Programming of Integrated Services with Priority in Home Appliance Network2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Workshop on Service Oriented Architecture collocated at APSEC2007(pp.8-15)
    • Place of Presentation
      Midland-hall(Nagoya)
    • Year and Date
      2007-12-04
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Plog:プログラミング経験の抽出を目的とした作業収集システム2007

    • Author(s)
      谷聡貴、金子伸幸、山本晋一郎、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2007, pages161-166(査読有)
    • Place of Presentation
      下関第一ホテル
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] ソフトウェア統合検索を利用した再利用支援システム2007

    • Author(s)
      大須賀俊憲、金子伸幸、山本晋一郎、小林隆志、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2007, pages 203-208(査読有)
    • Place of Presentation
      下関第一ホテル
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] plog : Programming activity recording system aiming at extraction of Programming experience2007

    • Author(s)
      Tani, Toshiki, Nobuyuki Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering(FOSE2007, pp.161-166)
    • Place of Presentation
      Shimonoseki
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Reuse support system based on software integral search2007

    • Author(s)
      Osuka, Toshinori, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering (FOSE2007,pp.203-208)
    • Place of Presentation
      Shimonoseki
    • Year and Date
      2007-11-09
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] StrutsLint:Webアプリケーションコーディングチェッカ2007

    • Author(s)
      金子 伸幸, 桑原 寛明, 山本 晋一郎, 阿草 清滋
    • Organizer
      日本ソフトウェア科学会24回大会
    • Place of Presentation
      奈良先端科学技術大学院大学
    • Year and Date
      2007-09-12
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] StrutsLint : A code checker of Web applications2007

    • Author(s)
      Nobuyuki, Kaneko, Hiroaki, Kuwabara, Shinnichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      24th JSSST taikai
    • Place of Presentation
      Nara
    • Year and Date
      2007-09-12
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] 分散環境における家電機器の連携動作の記述手法2007

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages35-44(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A description for integrated operation of network appliance in Distributed control environment2007

    • Author(s)
      Sakura, Bhandari, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System Workshop(DSW07 pp. 35-44)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-04
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] セッション型に基づく高信頼ネットワークプログラムのHaskell言語による実装2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第5回ディペンダブルソフトウェアワークショプ, pages95-105(査読無)
    • Place of Presentation
      函館大沼公園
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Dependable network programming with Haskell based on session types2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      5th Dependable System' Workshop(DSW07 pp.95-105)
    • Place of Presentation
      Hakodate
    • Year and Date
      2007-07-03
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] π計算におけるセッションの構造化2007

    • Author(s)
      今井敬吾、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第9回プログラミングおよびプログラミング言語ワークショップ, pages140-154(査読有)
    • Place of Presentation
      山代温泉(福井県)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Structured sessions in the pi-calculus2007

    • Author(s)
      Keigo, Imai, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      9th Workshop on Programming and Programing Languages(PPL2007 pp.140-154)
    • Place of Presentation
      Yamashiro-onsen(Fukui)
    • Year and Date
      2007-03-09
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Webフレームワークを使った開発における単体テスト自動化手法2006

    • Author(s)
      並河英二、森川和明、山本晋一郎、阿草清滋
    • Organizer
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages21-30(査読無)
    • Place of Presentation
      東京大学
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] コレオグラフィー記述言語を用いた家電機器の連携動作の通信指向プログラミング2006

    • Author(s)
      バンダリさくら、結縁祥治、阿草清滋
    • Organizer
      日本ソフトウェア科学会第4回ディペンダブルソフトウェアワークショプ, pages11-20(査読無)
    • Place of Presentation
      東京大学
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] An automated technique of unit-tests in the Web framework development2006

    • Author(s)
      Eiji, Nabika, Kazuaki, Morikawa, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Dependable Software Workshop(DSW06-2)
    • Place of Presentation
      University of Tokyo
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Communication Centered Programming for Integrated Services of Home Appliances using Choreography Description Language2006

    • Author(s)
      Sakura, Bhandari, Shoij, Yuen, Kiyoshi, Agusa
    • Organizer
      4th Dependable Software Workshop(DSW06-2)
    • Place of Presentation
      University of Tokyo
    • Year and Date
      2006-12-20
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] 関心の分離に基づくコンテンツ制御フレームワーク2006

    • Author(s)
      飯田恵大、金子伸幸、山本晋一郎、結縁祥治、阿草清滋
    • Organizer
      ソフトウェア工学の基礎ワークショップFOSE2006, pages147-156(査読有)
    • Place of Presentation
      ウエルサンピア立山
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A Content Control Framework based on Separation of Concern2006

    • Author(s)
      Shigehiro, Iida, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Shoji, Yuen, Kiyoshi, Agusa
    • Organizer
      Foundation of Software Engineering 2006
    • Place of Presentation
      Welsampia-Tateyama
    • Year and Date
      2006-11-10
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Web2.0時代のプログラミングスタイル2006

    • Author(s)
      金子伸幸、末次亮、山本晋一郎、阿草清滋
    • Organizer
      Workshop on Leveraging Web2.0 Technologies in Software Development Environment, pages1-2(査読有)
    • Place of Presentation
      学術総合センター
    • Year and Date
      2006-09-19
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A Programming style in Web 2.0 Environment2006

    • Author(s)
      Nobuyuki, Kaneko, Ryo, Suetsugu, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      Japanese Workshop on Leveraging Web 2.0 Technologies in Software Development Environment(pp.1-2)
    • Place of Presentation
      NH(Tokyo)
    • Year and Date
      2006-09-19
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Javaプログラム理解支援のための不変量解析2006

    • Author(s)
      水野良太、桑原寛明、山本晋一郎、阿草清滋
    • Organizer
      情報処理学会研究会報告2006-SE-152, pages33-40(査読無)
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2006-05-17
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] Immutability Analysis for Java Program Understanding2006

    • Author(s)
      Ryota, Mizuno, Hiroaki, Kuwabara, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IPSJ SIG-SE-152(pp.33-40)
    • Place of Presentation
      Kagaku-kaikan
    • Year and Date
      2006-05-17
    • Description
      「研究成果報告書概要(欧文)」より
  • [Presentation] Web抽象プログラムを用いたリファクタリング2006

    • Author(s)
      伊藤崇、金子伸幸、山本晋一郎、阿草清滋
    • Organizer
      情報処理学会研究会報告2006-SE-151, pages97-104(査読無)
    • Place of Presentation
      化学会館(東京都千代田区)
    • Year and Date
      2006-03-24
    • Description
      「研究成果報告書概要(和文)」より
  • [Presentation] A Refactoring Method Using Web Abstract Program2006

    • Author(s)
      Takashi, Ito, Nobuyuki, Kaneko, Shinichiro, Yamamoto, Kiyoshi, Agusa
    • Organizer
      IPSJ SIG-SE-151(pp.97-104)
    • Place of Presentation
      Kagaku-kaikan
    • Year and Date
      2006-03-24
    • Description
      「研究成果報告書概要(欧文)」より

URL: 

Published: 2010-02-04  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi