Meta-Level Architectures and Reflection: Second International Conference, Reflection'99 Saint-Malo, France, July 19-21, 1999 Proceedings (Lecture Notes in Computer Science, 1616)

This Book Constitutes The Refereed Proceedings Of The Second International Conference On Meta-level Architectures And Reflection, Reflection'99, Held In St. Malo, France In July 1999. The 13 Revised Full Papers Presented Were Carefully Selected From 44 Submissions. Also Included Are Six Short Papers And The Abstracts Of Three Invited Talks. The Papers Are Organized In Sections On Programming Languages, Meta Object Protocols, Middleware/multi-media, Work In Progress, Applications, And Meta-programming. The Volume Covers All Current Issues Arising In The Design And Analysis Of Reflective Systems And Demontrates Their Practical Applications. Invited Talk 1 -- Reflection In Real-time Systems -- Programming Languages -- From Dalang To Kava - The Evolution Of A Reflective Java Extension -- Jumping To The Meta Level -- The Oberon-2 Reflection Model And Its Applications -- Meta Object Protocols (mops) -- Designing Persistence Libraries In Reflective Models With Intercession Property For A Client-server Environment -- Non-functional Policies -- Invited Talk 2 -- On The Reflective Structure Of Information Networks -- Middleware/multi Media -- Reflective Media Space Management Using Rascal -- The Design Of A Resource-aware Reflective Middleware Architecture -- Work In Progress (short Papers) -- A Formal Analysis Of Smithsonian Computational Reflection -- Reflection For Dynamic Adaptability: A Linguistic Approach Using Lead++ -- Networking And Reflection: A Strong Combination -- Towards Systematic Synthesis Of Reflective Middleware -- An Automatic Aspect Weaver With A Reflective Programming Language -- Using Compile-time Reflection For Objects’state Capture -- Invited Talk 3 -- Past, Present, And Future Of Aperios -- Applications (experience Papers) -- Reflecting Java Into Scheme -- Jcontractor: A Reflective Java Library To Support Design By Contract -- Opencorba: A Reflective Open Broker -- Ompc++ — A Portable High-performance Implementation Of Dsm Using Openc++ Reflection -- Meta-programming -- Metaprogramming Domain Specific Metaprograms -- Aspect-oriented Logic Meta Programming. Pierre Cointe (ed.). Includes Bibliographical References And Index. Meta-Level Architectures and Reflection Preface Organization Additional Referees Table of Contents Invited Talk 1 Reflection in Real-Time Systems From Dalang to Kava - the Evolution of a Reflective Java Extension 1 Introduction 2 Review of Reflective Java Implementations 3 Overview of Implementing Reflection Using Wrappers 3.1 The Basic Idea 4 Evaluation of Class Wrapper Approach 4.1 Wrappers 4.2 Inheritance 4.3 Security Considerations of Applying Metaobjects 4.4 Class Loaders 5 Transparency and Reflection 5.1 Recursive Reflection 5.2 Exception Handling 5.3 Composability 6 Byte Code Transformation 6.1 General Approach 6.2 Standard Transformations 6.3 Example 6.4 Reflective Aspects of Java Object Model 7 Current Work 8 Example Applications of Kava 9 Conclusions 10 Acknowledgements References Jumping to the Meta Level 1 Introduction 2 Implementation of behavioral reflection 2.1 Costs 2.2 Functionality 2.3 Transparency 3 Implementation techniques 3.1 The preprocessor approach 3.2 The classloader approach 3.3 The proxy approach 3.4 The VM approach 4 Java VM implementations 5 Passing information to the meta level 6 How it is done in metaXa 6.1 Shadow classes 6.2 Attaching metaobjects to references 6.3 Creating jump code using a bytecode generator 7 Integration into the JIT compiler 7.1 Inlining of meta-level methods 7.2 Experiments 7.3 Performance results 7.4 Analysis 8 Summary 9 References The Oberon-2 Reflection Model and its Applications 1. Introduction 2. The Oberon-2 Reflection Model 2.1 Metainformation 2.2 Navigation 2.3 Examples 3. Applications 3.1 A Generic Output Function 3.2 An Object Inspector 3.3 Embedded SQL 3.4 An Exception Handling Mechanism 4. Discussion 4.1 Security 4.2 Interference with Optimizing Compilers 4.3 Performance 5. Summary Acknowledgements References Designing Persistence Libraries in Reflective Models with Intercession Property for a Client-Server Environment 1 Introduction 2 The Opening Property: a Key for Persistence Control 2.1 Homogeneous Client and Server Formalisms 2.2 Heterogeneous Client and Server Formalisms 2.3 Choosing an Architecture 2.4 Limits of Related Works 3 Designing a Persistence Metaobject Protocol 3.1 Adding Persistence by Object-Oriented Modeling 3.2 Designing Persistence as an Open Library 4 A Binding between Power Classes and ObjectDriver 4.1 An Overview of Involved Tools 4.2 Object Model 4.3 Protocols 5 Conclusion References Non-Functional Policies 1 Introduction 2 Problem Description 3 Examples 3.1 Load balancing 3.2 Secure execution 4 Application Policies 5 Defining Policies 5.1 Load balancing 5.2 Secure execution 5.3 Definition 5.4 Conclusion 6 Interpreting Policies 6.1 Representing templates 6.2 Representing policies 7 Application in Correlate 8 Discussion 9 Conclusion Acknowledgements References Appendix A: Grammars Appendix B: Translating policies to classes Invited Talk 2 On the Reflective Structure of Information Networks Introduction Information Network Architectural Principles References Reflective Media Space Management Using RASCAL 1 Introduction 2 A Media Space and Its Management 2.1 Characterizing Media Space Behaviours 2.2 Extending the Media Space 3 Facilitating Management Through Design 3.1 Responsibility-Driven Organization 3.2 Employing a Pattern-Based Architecture 4 The RASCAL Collaborative Infrastructure 4.1 The RASCAL Media Space Topology 4.2 Applying the Meta-Level Approach 5 Telelearning: An Example Media Space 6 MSpace: The RASCAL Media Space Prototype 7 Summary and Conclusion References The Design of a Resource-Aware Reflective Middleware Architecture 1. Introduction 2. Open ORB Architecture 2.1. Overall Approach 2.2. The Design of Meta-space 2.2.1. Supporting Structural Reflection 2.2.2. Supporting Behavioural Reflection 2.2.3. The Associated Component Library 2.3. Management of Consistency 3. Resource Meta-Model 3.1. The Resource Framework 3.1.1. The Overall Approach 3.1.2. Factories and Binders 3.2. Application to Processing Resources 3.2.1. A Resource Framework for Processing 3.2.2. The Major Objects Revisited 3.3. Incorporation into Open ORB 4. Explanatory Examples 4.1. Introspection and Fine-grained Adaptation 4.2. Coarse-grained Adaptation 4.3. Multi-faceted Adaptation 5. Related Work 5.1. Reflective Architectures 5.2. Reflective Resource Management 6. Concluding Remarks Acknowledgements References A Formal Analysis of Smithsonian Computational Reflection Computational Processes Reflection Hypothesis Applied Meta-Circular Processes Reflective Processes Future Research References Reflection for Dynamic Adaptability: A Linguistic Approach using LEAD++ References Networking and Reflection: A Strong Combination 1 Introduction 2 Protocol stacks at the meta-level 3 Discussion References Towards Systematic Synthesis of Reflective Middleware 1 Introduction 2 Systematic Middleware Synthesis 3 Dynamic Reflection 4 Conclusion References An Automatic Aspect Weaver with a Reflective Programming Language Introduction 1 A Wrapper-Based Composition Model 2 From Composition to Automatic Composition Conclusion References Using Compile-Time Reflection for Objects' State Capture1 1 Motivations 2 Approach Overview 3 Current Implementation Status 4 Conclusion References Invited Talk 3 Past, Present, and Future of Aperios Reflecting Java into Scheme 1 Introduction 1.1 Java Reflection 1.2 Scheme 2 SILK’s Access to Java 2.1 Primitive Access to Java is Easy 2.2 But, Procedures Aren’t Generic Enough 2.3 (import) Lifts Java Classes into SILK Wholesale 2.4 Here’s an Example of Using (import) 3 The Generic Function Protocol 3.1 Choosing the Applicable Method 3.2 Use Only The Most General Method 3.3 A Few Discriminator States Are Adequate 3.4 Scheme Methods 4 Creating New Code From Old 5 Related Work 5.1 Other Scheme Implementations 5.2 Generic Function Dispatch 6 Conclusion Acknowledgments References jContractor: A Reflective Java Library to Support Design by Contract 1 Introduction 2 jContractor Library and Contract Patterns 2.1 Enabling Contracts During Method Invocation 2.2 Naming Conventions for Preconditions, Postconditions and Class Invariants 2.3 Exception Handling 2.4 Supporting Old Values and Recovery 2.5 Separate Contract Classes 2.6 Contract Specifications for Interfaces 3 Design and Implementation of jContractor 3.1 Method Instrumentation 3.2 Instrumentation of OLD References 3.3 Instrumentation of RESULT References 3.4 Use of Reflection 4 Discussion 4.1 Interaction Of Contracts With Inheritance And Polymorphism 4.2 Factory Style Instrumentation Issues 5 Related Work 6 Conclusion References OpenCorba: A Reflective Open Broker 1 Introduction 2 Reflective Foundations for Building Open Systems 2.1 Metaclasses and Separation of Concerns 2.2 Dynamic Change of Metaclass 3 OpenCorba 3.1 Introduction 3.2 The OpenCorba Proxy 3.3 IDL Type Checking on the Server Classes 3.4 Interface Repository and Error Handling 3.5 Implementation and Performance Issues 4 Related Work 4.1 Reflective Adaptive Middleware 4.2 Reflection in Distributed Systems 4.3 Programming with Aspects 5 Work in Progress 5.1 Metaclass Composition 5.2 Towards Specifications of a Reflective Middleware 6 Conclusion Acknowledgements References OMPC++ — A Portable High-Perfomance Implementation of DSM using OpenC++ Reflection 1 Introduction 2 Implementation of a Portable, High-Performance Software DSM 2.1 Overview of the OMPC++ system 2.2 Underlying `Building-Blocks' 3 Implementation of Software DSM in OMPC++ 3.1 Program Transformation 3.2 Program Transformation Metaclasses 3.3 Distributed Shared Memory 4 Performance Evaluation 4.1 Evaluation Environment 4.2 Basic Performance 4.3 CG (Conjugate Gradient Solver Kernel) 4.4 SPLASH2 FFT and LU 5 Related Work 6 Conclusion and Future Work Acknowledgment References Metaprogramming Domain Specific Metaprograms 1 Introduction 2 Metaprogramming in games and planning domains 3 Programs that write programs that write programs 3.1 Metaprogramming impossibility metarules 3.2 Metaprogramming simplifying metarules 3.3 Metaprogramming ordering metarules 4 Results 4.1 Metaprogramming impossibility metarules 4.2 Metaprogramming ordering metarules 5 Conclusion 6 References Aspect-Oriented Logic Meta Programming 1 Introduction 2 TyRuBa and Logic Meta Programming 2.1 The TyRuBa core language 2.2 Logic Meta Programming 3 The Synchronization Problem and AOP 3.1 The Synchronization Problem 3.2 Synchronization-aspect Declarations 4 Aspect-Oriented Meta Programming 4.1 Example: Self-exclusive and Mutually-exclusive Lists 4.2 Example: Modi es and Inspects Declarations 5 AOLMP and Weaver implementation 5.1 Layers of Code-to-code Transformations 5.2 Synchronization-aspect Code 6 Related Work 6.1 Logic Meta Programming 6.2 AspectJ 6.3 Reflection 6.4 Synchronization 6.5 The Transformational Approach to AOP 7 Conclusion 7.1 About the generality of the conclusions 8 Acknowledgments References Author Index