Semantic reasoning about feature composition via multiple aspect-weavings

Proceedings of the 5th International Conference on Generative Programming and Component Engineering, GPCE'06

Volumn , Issue , 2006, Pages 237-242

  Prehofer, Christian ^a  

^a NOKIA RESEARCH CENTER   (United States)

Author keywords

Aspect weaving; Aspect oriented programming; Feature composition; Feature interaction; Feature oriented programming; Modular reasoning; Semantic reasoning and refinement

Indexed keywords

ASPECT WEAVING; ASPECT-ORIENTED PROGRAMMING; FEATURE COMPOSITION; FEATURE INTERACTION; FEATURE-ORIENTED PROGRAMMING; MODULAR REASONING; SEMANTIC REASONING AND REFINEMENT;

ASPECT RATIO; CONTEXT SENSITIVE GRAMMARS; DATA STRUCTURES; DIFFERENTIATION (CALCULUS); FEATURE EXTRACTION; INTERACTIVE COMPUTER GRAPHICS;

SEMANTICS;

EID: 34547493480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1173706.1173742     Document Type: Conference Paper

References (16)

1. J. Liu, D. Batory, and C. Lengauer, "Feature Oriented Refactoring of Legacy Applications," International Conference on Software Engineering 2006, Shanghai, China.
2. J. Liu, D. Batory, and S. Nedunuri, "Modeling Interactions in Feature Oriented Designs," International Conference on Feature Interactions (ICFI), June 2005.
3. D. Batory, "Feature-Oriented Programming and the AHEAD Tool Suite," International Conference on Software Engineering (ICSE), Edinburgh, Scotland, 2004.
4. R. Lopez-Herrejon, D. Batory, and C. Lengauer, "A Disciplined Approach to Aspect Composition," ACM SIGPLAN 2006 Symposium on Partial Evaluation and Program Manipulation (PEPM '06), Charleston, SC, January 2006.
5. C. Prehofer, Feature-Oriented Programming: A Fresh Look at Objects, ECOOP '97 - Object-Oriented Programming, Springer LNCS 1241, 1997.
6. C. Prehofer, Flexible Construction of Software Components: A Feature-Oriented Approach, Habilitation Thesis, Technical University of Munich, 1999.
7. C. Prehofer, Feature-Oriented Programming: A New Way of Object Composition, Concurrency and Computation. Vol. 13, no. 6, pp. 465-501. May 2001.
8. C. Prehofer, Plug-and-Play Composition of Features and Feature Interactions with Statechart Diagrams, Journal on Software & System Modeling, Springer-Verlag, 2004.
9. J. Bosch, Design and use of software architectures: adopting and evolving a product-line approach, ACM Press/Addison-Wesley, New York, NY, 2000
10. AspectJ, version 1.2.1, eclipse.org/aspectj/.
11. G. Kiczales, M. Mezini, Aspect-oriented programming and modular reasoning, ICSE'05
12. C. Clifton, G. T. Leavens. "Obliviousness, Modular Reasoning, and the Behavioral Subtyping Analogy". SPLAT 2003.
13. M. Wand, et al., "A Semantics for Advice and Dynamic Join Points in Aspect Oriented Programming," TOPLAS 2004.
14. G. Castagna, A. Frisch, A gentle introduction to semantic subtyping, International Conference on Principles and Practice of Declarative Programming, Lisbon, Portugal 2005
15. J. Aldrich, Open Modules: Modular Reasoning about Advice, European Conference on Object-Oriented Programming, 2005
16. D. S. Dantas, David Walker, Harmless Advice, ACM SIGPLAN Notices, 2006