ACM Home Page
Please provide us with feedback. Feedback
Aspect-oriented programming and modular reasoning
Full text PdfPdf (113 KB)
Source International Conference on Software Engineering archive
Proceedings of the 27th international conference on Software engineering table of contents
St. Louis, MO, USA
SESSION: Aspect-oriented software development table of contents
Pages: 49 - 58  
Year of Publication: 2005
ISBN:1-59593-963-2
Authors
Gregor Kiczales  University of British Columbia, Vancouver, BC, Canada
Mira Mezini  Technische Universität Darmstadt, Darmstadt, Germany
Sponsors
ACM: Association for Computing Machinery
SIGSOFT: ACM Special Interest Group on Software Engineering
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 61,   Downloads (12 Months): 340,   Citation Count: 43
Additional Information:

abstract   references   cited by   index terms   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/1062455.1062482
What is a DOI?

ABSTRACT

Aspects cut new interfaces through the primary decomposition of a system. This implies that in the presence of aspects, the complete interface of a module can only be determined once the complete configuration of modules in the system is known. While this may seem anti-modular, it is an inherent property of crosscutting concerns, and using aspect-oriented programming enables modular reasoning in the presence of such concerns.


REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Aldrich, J., Open Modules: A Proposal for Modular Reasoning in Aspect-Oriented Programming, Carnegie Mellon Technical Report CMU-ISRI-04-108, 2004 (Earlier version appeared in Workshop on Foundations of Aspect-Oriented Languages.)
 
2
Bloch, J. A Metadata Facility for the Java Programming Language, 2002.
3
 
4
Boner, J., AspectWerkz http://aspectwerkz.codehaus.org/.
5
 
6
Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M. and Poll, E., An overview of JML tools and applications. Workshop on Formal Methods for Industrial Critical Systems (FMICS), 2003.
7
 
8
Clifton, C. and Leavens, G., Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy, Iowa State University Technical Report, TR 03-15.
 
9
Clifton, C. and Leavens, G., Observers and assistants: A proposal for modular aspect-oriented reasoning. Workshop on Foundations of Aspect-Oriented Languages (FOAL), 2002.
 
10
DeLine, R. and Fähndrich, M., Typestates for Objects. European Conference on Object-Oriented Programming (ECOOP), 2004.
 
11
Deng, X., Dwyer, M., Hatcliff, J. and Mizuno, M., SyncGen: An aspect-oriented framework for synchronization. Int'l Conference Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2004, 158--162.
 
12
Eichberg, M., Mezini, M. and Ostermann, K., First-Class Pointcuts as Queries. Asian Symposium on Programming Languages and Systems (APLAS), 2004, Springer Lecture Notes on Computer Science, to appear.
 
13
 
14
Furfaro, A., Nigro, L. and Pupo, F. Multimedia synchronization based on aspect oriented programming. Microprocessors and Microsystems, 8 (2). 47--56.
 
15
 
16
17
18
19
 
20
 
21
 
22
Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J. and Irwin, J., Aspect-oriented programming. European Conference on Object-Oriented Programming (ECOOP), 1997, 220--242.
 
23
 
24
Krakauer, D.C. Robustness in Biological Systems: a provisional taxonomy. in Complex Systems Science in Biomedicine, Kluwer, 2004.
25
 
26
 
27
Leavens, G., Cheon, Y., Clifton, C., Ruby, C. and Cok, D. How the design of JML accommodates both runtime assertion checking and formal verification. FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2852. 262--284.
 
28
29
30
 
31
Masuhara, H. and Kawauchi, K., Dataflow Pointcut in Aspect-Oriented Programming. Asian Symposium on Programming Languages and Systems (APLAS), 2003, 105--121.
 
32
Masuhara, H. and Kiczales, G., Modeling crosscutting in aspect-oriented mechanisms. European Conference on Object-Oriented Programming (ECOOP), 2003, Springer, 2--28.
33
34
 
35
36
37
38
 
39
Zhao, J. and Rinard, M., Pipa: A behavioral interface specification language for AspectJ. Fundamental Approaches to Software Engineering (FASE), 2003, Springer, 150--165.

CITED BY  43

Collaborative Colleagues:
Gregor Kiczales: colleagues
Mira Mezini: colleagues