Beyond refactoring: a framework for modular maintenance of crosscutting design idioms

ABSTRACT

Despite the automated refactoring support provided by today's IDEs many program transformations that are easy to conceptualize--such as improving the implementation of a design pattern--are not supported and are hence hard to perform. We propose an extension to the refactoring paradigm that provides for the modular maintenance of crosscutting design idioms, supporting both substitutability of design idiom implementations and the checking of essential constraints. We evaluate this new approach through the design and use of Arcum, an IDE-based mechanism for declaring, checking, and evolving crosscutting design idioms.

REFERENCES

• 1: Ittai Balaban , Frank Tip , Robert Fuhrer, Refactoring support for class library migration, Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, October 16-20, 2005, San Diego, CA, USA
• 2: Thomas Ball , Rupak Majumdar , Todd Millstein , Sriram K. Rajamani, Automatic predicate abstraction of C programs, Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, p.203-213, June 2001, Snowbird, Utah, United States
• 3: Ira D. Baxter , Christopher Pidgeon , Michael Mehlich, DMS®: Program Transformations for Practical Scalable Software Evolution, Proceedings of the 26th International Conference on Software Engineering, p.625-634, May 23-28, 2004
• 4: Kent Beck , Cynthia Andres, Extreme Programming Explained: Embrace Change (2nd Edition), Addison-Wesley Professional, 2004
• 5: A. P. Black and M. P. Jones. The case for multiple views. In Workshop on Directions in Software Engineering Environments, ICSE 2004.
• 6: Alex Blewitt , Alan Bundy , Ian Stark, Automatic verification of design patterns in Java, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering, November 07-11, 2005, Long Beach, CA, USA [doi>10.1145/1101908.1101943]
• 7: D. C. Dennett. Consciousness Explained. Back Bay Books, 1992.
• 8: Andrew D. Eisenberg , Gregor Kiczales, Expressive programs through presentation extension, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218573]
• 9: William G. Griswold, Coping with Crosscutting Software Changes Using Information Transparency, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.250-265, September 25-28, 2001
• 10: Jan Hannemann , Gregor Kiczales, Design pattern implementation in Java and aspectJ, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 11: Jan Hannemann , Gail C. Murphy , Gregor Kiczales, Role-based refactoring of crosscutting concerns, Proceedings of the 4th international conference on Aspect-oriented software development, p.135-146, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052910]
• 12: G. Kiczales. Aspect-oriented programming: The fun has just begun. In Software Design and Productivity Coordinating Group -- Workshop on New Visions for Software Design and Productivity: Research and Applications, Nashville, Tennessee, Dec. 2001.
• 13: Gregor Kiczales , Erik Hilsdale , Jim Hugunin , Mik Kersten , Jeffrey Palm , William G. Griswold, An Overview of AspectJ, Proceedings of the 15th European Conference on Object-Oriented Programming, p.327-353, June 18-22, 2001
• 14: G. Kotik , L. Markosian, Automating software analysis and testing using a program transformation system, Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, p.75-84, December 13-15, 1989, Key West, Florida, United States
• 15: Wojtek Kozaczynski , Jim Ning , Andre Engberts, Program Concept Recognition and Transformation, IEEE Transactions on Software Engineering, v.18 n.12, p.1065-1075, December 1992 [doi>10.1109/32.184761]
• 16: Jia Liu , Don Batory , Christian Lengauer, Feature oriented refactoring of legacy applications, Proceedings of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China [doi>10.1145/1134285.1134303]
• 17: Marius Marin , Leon Moonen , Arie van Deursen, An approach to aspect refactoring based on crosscutting concern types, Proceedings of the 2005 workshop on Modeling and analysis of concerns in software, p.1-5, May 16-16, 2005, St. Louis, Missouri
• 18: Kim Mens , Tom Mens , Michel Wermelinger, Maintaining software through intentional source-code views, Proceedings of the 14th international conference on Software engineering and knowledge engineering, July 15-19, 2002, Ischia, Italy [doi>10.1145/568760.568812]
• 19: Clint Morgan , Kris De Volder , Eric Wohlstadter, A static aspect language for checking design rules, Proceedings of the 6th international conference on Aspect-oriented software development, March 12-16, 2007, Vancouver, British Columbia, Canada [doi>10.1145/1218563.1218571]
• 20: N. Nystrom, M. Clarkson, and A. Myers. Polyglot: An extensible compiler framework for java, 2003.
• 21: Doug Orleans , Karl J. Lieberherr, DJ: Dynamic Adaptive Programming in Java, Proceedings of the Third International Conference on Metalevel Architectures and Separation of Crosscutting Concerns, p.73-80, September 25-28, 2001
• 22: David J. Pearce , James Noble, Relationship aspects, Proceedings of the 5th international conference on Aspect-oriented software development, March 20-24, 2006, Bonn, Germany [doi>10.1145/1119655.1119668]
• 23: Nick Rutar , Christian B. Almazan , Jeffrey S. Foster, A Comparison of Bug Finding Tools for Java, Proceedings of the 15th International Symposium on Software Reliability Engineering, p.245-256, November 02-05, 2004 [doi>10.1109/ISSRE.2004.1]
• 24: Macneil Shonle, Modular-Like Transformations and Style Checking for Crosscutting Programming Concepts, Companion to the proceedings of the 29th International Conference on Software Engineering, p.95-96, May 20-26, 2007 [doi>10.1109/ICSECOMPANION.2007.55]
• 25: C. Simonyi. The death of computer languages, the birth of intentional programming, 1995.

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Domain-specific architectures

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Patterns (e.g., client/server, pipeline, blackboard); Languages (e.g., description, interconnection, definition)

General Terms:
Design, Languages

Keywords:
design patterns, refactoring