This volume constitutes the proceedings of REFLECTION 2001, the Third Int- national Conference on Metalevel Architectures and Separation of Crosscutting Concerns, which was held in Kyoto, September 25-28, 2001. Metalevel architectures and re?ection have drawn the attention of researchers and practitioners throughout computer science. Re?ective and metalevel te- niques are being used to address real-world problems in such areas as: progr- ming languages, operating systems, databases, distributed computing, expert systems and web computing. Separation of concerns has been a guiding principle of software engineering for nearly 30 years, but its known bene?ts are seldom fully achieved in practice. This is primarily because traditional mechanisms are not powerful enough to handle many kinds of concerns that occur in practice. Over the last 10 years, to overcome the limitations of traditional frameworks, many researchers, including several from the re?ection community, have proposed new approaches. For the ?rst time, papers on advanced approaches to separation of concerns were explicitly solicited. Following the success of previous conferences such as IMSA’92 in Tokyo, Re?ection’96 in San Francisco, and Re?ection’99 in Saint Malo, we hope that the conference provided an excellent forum for researchers with a broad range of interests in metalevel architectures, re?ective techniques, and separation of concerns in general.
Author(s): Renaud Pawlak, Laurence Duchien, Gérard Florin, Lionel Seinturier (auth.), Akinori Yonezawa, Satoshi Matsuoka (eds.)
Series: Lecture Notes in Computer Science 2192
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 288
Tags: Programming Languages, Compilers, Interpreters; Operating Systems; Computer Communication Networks; Logics and Meanings of Programs; Software Engineering; Programming Techniques
JAC: A Flexible Solution for Aspect-Oriented Programming in Java....Pages 1-24
Reflex — Towards an Open Reflective Extension of Java....Pages 25-43
System Checkpointing Using Reflection and Program Analysis....Pages 44-51
Experiments with JavaPod, a Platform Designed for the Adaptation of Non-functional Properties....Pages 52-72
DJ: Dynamic Adaptive Programming in Java....Pages 73-80
The K-Component Architecture Meta-Model for Self-Adaptive Software....Pages 81-88
Separation of Concerns in Mobile Agent Applications....Pages 89-109
Dynamic Adaptability: The MoléNE Experiment....Pages 110-117
A simple security–Aware MOP for Java....Pages 118-125
Reflective Middleware Solutions for Context-Aware Applications....Pages 126-133
Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems....Pages 134-152
Supporting Formal Verification of Crosscutting Concerns....Pages 153-169
A formal definition of crosscuts....Pages 170-186
Process-Algebraic Foundations of Aspect-Oriented Programming....Pages 187-209
UML Reflections....Pages 210-230
A Hybrid Approach to Separation of Concerns: The Story of SADES....Pages 231-249
Coping with Crosscutting Software Changes Using Information Transparency....Pages 250-265
Template Metaprogramming an Object Interface to Relational Tables....Pages 266-267
Performance and Integrity in the OpenORB Reflective Middleware....Pages 268-269
Data Abstraction in AspectJ....Pages 270-271
Towards Coping with Role-Binding Anomaly ....Pages 272-273
Removing Reflection from Java Programs Using Partial Evaluation....Pages 274-275
Open Implementation of UML Meta-model(s) Making Meta-modeling and Meta-programming Meet....Pages 276-277
JavaCloak: Reflecting on Java Typing for Class Reuse Using Proxies....Pages 278-279
Aspects of Exceptions at the Meta-level....Pages 280-281
