research-article

Addressing common crosscutting problems with Arcum

Authors:

Macneil Shonle,

William G. Griswold,

Sorin LernerAuthors Info & Claims

PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

Pages 64 - 69

https://doi.org/10.1145/1512475.1512489

Published: 09 November 2008 Publication History

Abstract

Crosscutting is an inherent part of software development and can typically be managed through modularization: A module's stable properties are defined in an interface while its likely-to-change properties are encapsulated within the module [19]. The crosscutting of the stable properties, such as class and method names, can be mitigated with automated refactoring tools that allow, for example, the interface's elements to be renamed [9, 18]. However, often the crosscutting from design idioms (such as design patterns and coding styles) are so specific to the program's domain that their crosscutting would not likely have been anticipated by the developers of an automated refactoring system.

The Arcum plug-in for Eclipse enables programmers to describe the implementation of a crosscutting design idiom as a set of syntactic patterns and semantic constraints. Arcum can process declarations of related implementations and infer the refactoring steps necessary to transform a program from using one implementation to its alternatives. As a result, automating refactoring for domain-specific crosscutting design idioms can be easy and practical. This paper presents a case study of how Arcum was used to mitigate four classic software engineering problems that are exacerbated by crosscutting: library migration, debugging, programmer-defined semantic checking, and architectural enforcement.

References

[1]

I. Balaban, F. Tip, and R. Fuhrer. Refactoring support for class library migration. In OOPSLA '05: Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 265--279, New York, NY, USA, 2005. ACM Press.

Digital Library

[2]

I. D. Baxter, C. Pidgeon, and M. Mehlich. Dms: Program transformations for practical scalable software evolution. In ICSE '04: Proceedings of the 26th International Conference on Software Engineering, pages 625--634, Washington, DC, USA, 2004. IEEE Computer Society.

Digital Library

[3]

M. Boshernitsan. Program manipulation via interactive transformations. PhD thesis, University of California at Berkeley, Berkeley, CA, USA, 2006. Adviser-Susan L. Graham.

Digital Library

[4]

M. Boshernitsan and S. L. Graham. ixj: interactive source-to-source transformations for java. In OOPSLA '04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 212--213, New York, NY, USA, 2004. ACM.

Digital Library

[5]

A. Bryant, A. Catton, K. D. Volder, and G. C. Murphy. Explicit programming. In AOSD '02: Proceedings of the 1st international conference on Aspect-oriented software development, pages 10--18, New York, NY, USA, 2002. ACM.

Digital Library

[6]

A. D. Eisenberg and G. Kiczales. Expressive programs through presentation extension. In AOSD '07: Proceedings of the 6th international conference on Aspect-oriented software development, pages 73--84, New York, NY, USA, 2007. ACM Press.

Digital Library

[7]

E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, 1995.

Digital Library

[8]

Google. Google collections library 0.5 (alpha). http://code.google.com/p/google-collections/, October 2007.

[9]

W. G. Griswold. Program Restructuring as an Aid to Software Maintenance. PhD thesis, Department of Computer Science and Engineering, University of Washington, July 1991.

Digital Library

[10]

J. Hannemann and G. Kiczales. Design pattern implementation in java and aspectj. In OOPSLA '02: Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 161--173, New York, NY, USA, 2002. ACM Press.

Digital Library

[11]

J. Hannemann, G. C. Murphy, and G. Kiczales. Role-based refactoring of crosscutting concerns. In AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development, pages 135--146, New York, NY, USA, 2005. ACM Press.

Digital Library

[12]

D. Hovemeyer and W. Pugh. Finding bugs is easy. SIGPLAN Not., 39(12):92--106, 2004.

Digital Library

[13]

G. Kotik and L. Markosian. Automating software analysis and testing using a program transformation system. In TAV3: Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, pages 75--84, New York, NY, USA, 1989. ACM Press.

Digital Library

[14]

W. Kozaczynski, J. Ning, and A. Engberts. Program concept recognition and transformation. IEEE Trans. Softw. Eng., 18(12):1065--1075, 1992.

Digital Library

[15]

J. Liu, D. Batory, and C. Lengauer. Feature oriented refactoring of legacy applications. In ICSE '06: Proceeding of the 28th international conference on Software engineering, pages 112--121, New York, NY, USA, 2006. ACM Press.

Digital Library

[16]

M. Martin, B. Livshits, and M. S. Lam. Finding application errors and security flaws using pql: a program query language. SIGPLAN Not., 40(10):365--383, 2005.

Digital Library

[17]

O. d. Moor, M. Verbaere, E. Hajiyev, P. Avgustinov, T. Ekman, N. Ongkingco, D. Sereni, and J. Tibble. Keynote address: ql for source code analysis. Source Code Analysis and Manipulation, 2007. SCAM 2007. Seventh IEEE International Working Conference on, pages 3--16, 2007.

Digital Library

[18]

W. F. Opdyke. Refactoring object-oriented frameworks. PhD thesis, University of Illinois at Urbana-Champaign, Champaign, IL, USA, 1992.

Digital Library

[19]

D. L. Parnas. On the criteria to be used in decomposing systems into modules. Commun. ACM, 15(12):1053--1058, 1972.

Digital Library

[20]

N. Rutar, C. B. Almazan, and J. S. Foster. A comparison of bug finding tools for java. In ISSRE '04: Proceedings of the 15th International Symposium on Software Reliability Engineering (ISSRE'04), pages 245--256, Washington, DC, USA, 2004. IEEE Computer Society.

Digital Library

[21]

M. Shonle, W. G. Griswold, and S. Lerner. Beyond refactoring: a framework for modular maintenance of crosscutting design idioms. In ESEC-FSE '07: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, pages 175--184, New York, NY, USA, 2007. ACM.

Digital Library

[22]

C. Simonyi. The death of computer languages, the birth of intentional programming, 1995.

[23]

E. Tilevich and G. Back. "Program, enhance thyself!" -- demand-driven pattern-oriented program enhancement,". In AOSD '08: Proceedings of the 7th international conference on Aspect-oriented software development, April 2008.

Digital Library

[24]

F. Tip, A. Kiezun, and D. Bäumer. Refactoring for generalization using type constraints. In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 13--26, New York, NY, USA, 2003. ACM.

Digital Library

[25]

M. Verbaere, R. Ettinger, and O. de Moor. Jungl: a scripting language for refactoring. In ICSE '06: Proceedings of the 28th international conference on Software engineering, pages 172--181, New York, NY, USA, 2006. ACM.

Digital Library

[26]

D. von Dincklage. Making patterns explicit with metaprogramming. In GPCE '03: Proceedings of the 2nd international conference on Generative programming and component engineering, pages 287--306, New York, NY, USA, 2003. Springer-Verlag New York, Inc.

Digital Library

Cited By

Shonle MGriswold WLerner S(2012)A framework for the checking and refactoring of crosscutting conceptsACM Transactions on Software Engineering and Methodology10.1145/2211616.221161821:3(1-47)Online publication date: 3-Jul-2012
https://dl.acm.org/doi/10.1145/2211616.2211618
Shonle MGriswold WLerner SAnslow CMarkstrum SMurphy-Hill E(2011)Using metaphors from natural discussion to improve the design of arcumProceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools10.1145/2089155.2089165(39-44)Online publication date: 24-Oct-2011
https://dl.acm.org/doi/10.1145/2089155.2089165

Index Terms

Addressing common crosscutting problems with Arcum
1. Software and its engineering
  1. Software notations and tools
  2. Software organization and properties
    1. Software system structures
      1. Distributed systems organizing principles
        Client-server architectures
      2. Software architectures

Recommendations

Role-based refactoring of crosscutting concerns
AOSD '05: Proceedings of the 4th international conference on Aspect-oriented software development

Improving the structure of code can help developers work with a software system more efficiently and more consistently. To aid developers in re-structuring the implementation of crosscutting concerns using aspect-oriented programming, we introduce a ...
Refactoring of Crosscutting Concerns with Metaphor-Based Heuristics

It has been advocated that Aspect-Oriented Programming (AOP) is an effective technique to improve software maintainability through explicit support for modularising crosscutting concerns. However, in order to take the advantages of AOP, there is a need ...
Aspect-Oriented Refactoring of Legacy Applications: An Evaluation

The primary claimed benefits of aspect-oriented programming (AOP) are that it improves the understandability and maintainability of software applications by modularizing crosscutting concerns. Before there is widespread adoption of AOP, developers need ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

PASTE '08: Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering

November 2008

92 pages

ISBN:9781605583822

DOI:10.1145/1512475

Program Chairs:
Shriram Krishnamurthi
Brown University
,
Michal Young
University of Oregon

Copyright © 2008 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 09 November 2008

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Funding Sources

Division of Computing and Communication Foundations

Conference

PASTE08

Sponsor:

PASTE08: PASTE '08 - ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering

November 9 - 10, 2008

Georgia, Atlanta

Acceptance Rates

Overall Acceptance Rate 57 of 159 submissions, 36%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
100
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Shonle MGriswold WLerner S(2012)A framework for the checking and refactoring of crosscutting conceptsACM Transactions on Software Engineering and Methodology10.1145/2211616.221161821:3(1-47)Online publication date: 3-Jul-2012
https://dl.acm.org/doi/10.1145/2211616.2211618
Shonle MGriswold WLerner SAnslow CMarkstrum SMurphy-Hill E(2011)Using metaphors from natural discussion to improve the design of arcumProceedings of the 3rd ACM SIGPLAN workshop on Evaluation and usability of programming languages and tools10.1145/2089155.2089165(39-44)Online publication date: 24-Oct-2011
https://dl.acm.org/doi/10.1145/2089155.2089165

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents