Formalizing Refactoring by Using Graph Transformation(Metrics, Test, and Maintenance)(<Special Section>Knowledge-Based Software Engineering)

スポンサーリンク

概要

• 論文の詳細を見る

• Refactoring is one of the promising techniques for improving software design by means of behavior-preserving structural transformation, and is widely taken into practice. In particular, it is frequently applied to design models represented with UML such as class diagrams. However, since UML design models includes multiple diagrams which are closely related from various views, to get behavior-preserving property, we should get the other types of design information and should handle with the propagation of the change on a diagram to the other diagrams. For example, to refactor a class diagram, we need behavioral information of methods included in the class and should also refactor diagrams which represent the behavior, such as state diagrams, activity diagrams. In this paper, we introduce refactoring on design models as transformations of a graph described by UML class diagram and action semantics. First, we define basic transformations of design models that preserve the behavior of designed software, and compose them into refactoring operations. We use Object Constraint Language (OCL) to specify when we can apply a refactoring operation. Furthermore we implement our technique on a graph transformation system AGG to support the automation of refactoring, together with evaluation mechanism of OCL expressions. Some illustrations are presented to show its effectiveness. The work is the first step to handle with refactoring on UML design models in integrated way.

• 社団法人電子情報通信学会の論文
• 2004-04-01

著者

• SAEKI Motoshi

  Dept. of Computer Science, Tokyo Institute of Technology

• Saeki Motoshi

  Dept. Of Computer Science Tokyo Institute Of Technology

• KOBAYASHI Takashi

  Dept. Biol. Earth Sci., Ehime Univ.

• Takaishi Minoru

  Dept. Of Computer Science Tokyo Institute Of Technology

• KAZATO Hiroshi

  Dept. of Computer Science, Tokyo Institute of Technology

• Kazato Hiroshi

  Dept. Of Computer Science Tokyo Institute Of Technology:(present Address)ntt Data Corporation

• Kobayashi Takashi

  Dept. Biol. Earth Sci. Ehime Univ.

関連論文

• Attributed Goal-Oriented Analysis Method for Selecting Alternatives of Software Requirements
• EFFECTS OF A SIMULATED MICROGRAVITY CONDITION AND PHYTOHORMONES ON CELL GROWTH IN LETTUCE AND AZUKI BEAN PLANTS
• Combining Goal-Oriented Analysis and Use Case Analysis(Requirement Engineering)(Knowledge-Based Software Engineering)
• Formalizing Refactoring by Using Graph Transformation(Metrics, Test, and Maintenance)(Knowledge-Based Software Engineering)
• Supporting Application Framework Selection Based on Labeled Transition Systems(Knowledge-Based Software Engineering)
• Meta-Modeling Based Version Control System for Software Diagrams(Knowledge-Based Software Engineering)

スポンサーリンク