Metalevel Architectures and Separation of Crosscutting Concerns: Third International Conference, REFLECTION 2001, Kyoto, Japan, September 25-28, 2001 Proceedings

ISBN-13: 9783540426189 / Angielski / Miękka / 2001 / 288 str.

Akinori Yonezawa;Satoshi Matsuoka

Opis

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.

Spis treści

Reflection and SOC in Java.- JAC: A Flexible Solution for Aspect-Oriented Programming in Java.- Reflex — Towards an Open Reflective Extension of Java.- System Checkpointing Using Reflection and Program Analysis.- Software Adaptation Using Reflectionn and SOC Techniques.- Experiments with JavaPod, a Platform Designed for the Adaptation of Non-functional Properties.- DJ: Dynamic Adaptive Programming in Java.- The K-Component Architecture Meta-Model for Self-Adaptive Software.- Reflective Middleware for Distributed Mobile Applications.- Separation of Concerns in Mobile Agent Applications.- Dynamic Adaptability: The MoléNE Experiment.- A simple security–Aware MOP for Java.- Reflective Middleware Solutions for Context-Aware Applications.- Testing and Verification of Reflective and SOC Systems.- Testing MetaObject Protocols Generated by Open Compilers for Safety-Critical Systems.- Supporting Formal Verification of Crosscutting Concerns.- Foundations of Reflection and Separations of Concerns.- A formal definition of crosscuts.- Process-Algebraic Foundations of Aspect-Oriented Programming.- UML Reflections.- Software Methodologies for Separation of Concerns.- A Hybrid Approach to Separation of Concerns: The Story of SADES.- Coping with Crosscutting Software Changes Using Information Transparency.- Poster Session.- Template Metaprogramming an Object Interface to Relational Tables.- Performance and Integrity in the OpenORB Reflective Middleware.- Data Abstraction in AspectJ.- Towards Coping with Role-Binding Anomaly.- Removing Reflection from Java Programs Using Partial Evaluation.- Open Implementation of UML Meta-model(s) Making Meta-modeling and Meta-programming Meet.- JavaCloak: Reflecting on Java Typing for Class Reuse Using Proxies.- Aspects of Exceptions at the Meta-level.