Lecture Notes in Computer Science
Springer
Object-Oriented Technology
Preface
Workshop Reports
Panel Transcripts
Poster Abstracts
Organization
Workshop Selection Committee
Table of Contents
Workshop Reports
Panel Report
Posters
Reflection and Meta-level Architectures: State of the Art and Future Trends
Workshop Objectives
Workshop Topics and Structure
Important References
Workshop Overview: Session by Session
Session on Software Engineering: Summary by Gilad Bracha (Session Chair, Sun Java Software)
Session on Meta-level Architecture: Summary by Pierre Cointe (Session Chair, `Ecole des Mines de Nantes)
Session on Middleware: Session Chair Takuo Watanabe JAIST, Japan.Summary by Walter Cazzola and Shigeru Chiba
Session on Program Transformation: Summary by Satoshi Matsuoka (Session Chair, Tokyo Institute of Technology)
Reflection Trends: The Organizers' Opinion
Summary by Shigeru Chiba (University of Tsukuba)
Middleware
Security
Program Translation
Summary by Walter Cazzola (University of Milano Bicocca)
Software Engineering
Functional and Nonfunctional Requirements
Summary by Thomas Ledoux (´Ecole desMines de Nantes)
Reflection: How and Why?
Composition of Concerns
Final Remarks
Acknowledgements.
Workshop Attendee
References
Exception Handling in Object Oriented Systems
1 Summary of Objectives and Results
2 Participants
3 Summary of the Call-for-Papers
4 List of the Workshop Papers
5 Thematic Classification and Summary of Contributions
5.1 Session 1: Linguistic Issues: Existing Models and New Ideas
5.2 Session 2: Semantics and Implementation
5.3 Session 3: Concurrency, Distribution, and Mobility
5.4 Session 4: Design and Evolution
6 Conclusions
Object-Orientation and Operating Systems
1. Introduction
1.1. ECOOP-OOOSWS Scope and History
1.2. ECOOP-OOOSWS’2000
2. Keynote Speech: Experience with the PerDiS Large-Scale Data-Sharing Middleware
3. Paper Presentations
3.1. Session “Reflection”
3.2 Session “Other Paradigms”
3.3 Session “Configurability”
3.4 Session “Performance”
4. Summary of the Discussions
5. Conclusion
References
Formal Techniques for Java Programs
Introduction
Language Semantics
Bytecode Verification and Type Analysis
Verification I
Specification and Verification II
Language Design and Implementation
Conclusions
Component-Oriented Programming
Presentations
Validation and Refinement
Component Composition
Industrial Approaches
Breakout Session
Components and Architectures
Embedded and Pervasive Systems
Component Evolution
Scalability and Granularity
Variability
Degrees of Encapsulation
Concluding Remarks
Accepted Papers
Tools and Environments for Understanding Object-Oriented Concepts
Introduction
Workshop Organization
Summary of Presentations
Main Results
"Natural'' Concepts vs. Specific Languages and Tools
Scope and Limitations of the Minimalist Approach
Tool Support for (Cooperative)Learning
List of Participants
References
PhDOOS 2000: The 10th Ph.D. Workshop on Object-Oriented Systems
Participants
1 Workshop Aims
2 The Conference Program
2.1 Session 1: Advanced Applications
2.2 Session 2: Theoretical Issues and Formal Approaches
2.3 Session 3: Middleware and Distributed Systems
2.4 Session 4: Software Engineering
2.5 Session 5: Distribution and Synchronization
2.6 Session 6: Testing
3 Workshops
4 Concluding Remarks
Appendix: Workshop Reports
[Report from Workshop 1]
Leading Edge in Object-Orientation: Do We Need Standards for Leading Edge OO Technologies?
1 Introduction
2 When to Standardize?
3 What to Standardize?
4 How to Standardize / How to Improve the Standardization Process?
5 Leading Edge Technology and Standardization in the Context of Some of Our Problems
[Report from Workshop 2] Managing UML
1 Problem Statement
2 Proposed Solutions
3 Application of Solutions
4 Conclusion
References
[Report from Workshop 3]
Performance Issues in Object-Oriented Programming
References
Quantitative Approaches in Object-Oriented Software Engineering
1 Introduction
2 Workshop Organization and Presentation
3 Discussed Topics
3.1 Formal Approaches to Metric Definition
3.1.1 A Formal Approach to Building a Polymorphism Metric in Object-Oriented Systems (Authors: Claudia Pons, Luis Olsina, and Maximo Prieto)
Position Abstract
Position Discussion
3.1.2 Quantitative Assessment of the Significance of Inconsistencies in Object-Oriented Designs (Authors: George Spanoudakis and Hyoseob Kim)
Position Abstract
Position Discussion
3.2 Empirical Studies with Quality Metrics
3.2.1 Class Cohesion Revisited: An Empirical Study on Industrial Systems (Authors: Hind Kabaili, Rudolf F. Keller, François Lustman, and Guy Saint-Denis)
Position Abstract
Position Discussion
3.2.2 Using Fuzzy Threshold Values for Predicting Class Libraries InterfaceEvolution (Authors: Houari A. Sahraoui, Mounir A. Boukadoum, and Hakim Lounis)
Position Abstract
Position Discussion
3.2.3 An Empirical Study with Object-Relational Databases Metrics (Authors:Mario Piattini, Coral Calero, Houari Sahraoui, and Hakim Lounis)
Position Abstract
Position Discussion
3.3 Measurement of OO Analysis Models, Design Models, or Conceptual Models
3.3.1 A Sizing Approach for OO-Environments (Author: John Kammelar)
Position Abstract
Position Discussion
3.3.2 On the Measurement of Event-Based Object-Oriented Conceptual Models (Author: Geert Poels)
Position Abstract
Position Discussion
3.3.3 A Cognitive Model for Complexity Metrics (Author: Tom Klemola)
Position Abstract
Position Discussion
3.3.4 Measuring Object-Oriented Software Architectures from UML Diagrams (Authors: Lilli Nenonen, Juha Gustafsson, Jukka Paakki, and A.Inkeri Verkamo)
Position Abstract
Position Discussion
4 Final Discussion Summary
Metadata and Adaptive Object-Models
What Is an Adaptive Object-Model?
Hot Topics in Adaptive Object-Modeling
Comparative Summary of Contributions
Using AOMs for the Description of Types of Phenomenon over a Period of Time
Using AOMs for Building Flow-Independent End-User Programming Systems
AOMs for Building Data Warehouse and Business Intelligence Environments
Support for Adaptive Workflow (CRISTAL Project at CERN, Geneva)
Using AOMs for Content Management Transactions
Summary of Discussions
Conclusions
References
Workshop Participants
Defining Precise Semantics for UML
Introduction
Behavioral Model
Precise Semantics
How Can We Get OMG Interest?
Can We Define a Classification for the Different Approaches?
How Can We Improve the pUML Approach?
Metamodel
What Is the Meta-level for?
Meta-modelling Formalisms
Design Principles for MOF
Conclusion
Acknowledgements
Bibliography
Organizing Committee
Attendees List
Related Links
Objects and Classification A Natural Convergence
Introduction
An Overview of the Contributions
The Meaning of "Classification''
Objectives of Classification
Entities under Classification
Entities
Description Language
Classification Context
Forms of Classifications
Classification Structures
Links between Classes and Instances
Techniques and Strategies
Conclusion
List of Participants
Position Papers
References
Object-Oriented Architectural Evolution
Introduction
A Comparative Summary of the Contributions
A Summary of the Debates
From Domains Can We Reason about Types of Evolution and Software System Evolution?
What Levels of Representation (Granularity) Are Useful in Tracking/Detecting Architectural Evolution?
Architecture Views.
Layered Architecture.
A Pyramid Representation.
Conclusion
Related Work
Guide to Literature
Bibliography and Related Web Sites
5.2 Relevant Web Sites
Workshop Participant's Email Addresses and Webpages
Specification, Implementation, and Validation of Object-Oriented Embedded Systems
Workshop Organizers
Workshop Topics
Workshop Participants
Introduction
Overview of the AIT-WOODDES Project
End User Requirements Synthesis^1
Schneider Electric Point of View (by I. Michard)
AIT-WOODDES Requirements on System Modeling
Additional Needs on Time Modeling Identified by DaimlerChrysler
Mercury Computers Point of View on Needs for High Performance Applications
Conclusion on UML ad Equation with User Needs for Modeling Real-Time Embedded Systems
UML Specialization for Real-Time^2
To the Definition of UML Profiles for Real-Time
A Framework Based Approach for the Development of Real-Time Applications with UML
Protocol State Machine
Evaluation of SDL and UML Based Approaches for SCHNEIDER ELECTRIC Developments
Performance Analysis of Implementation Models
Conclusion
Modeling and Verifying Behavior of Embedded Systems with UML^3
Real-Time Extension of UML State Machine
Integration of Hierarchical Time Automata in UML
Problematic of Formal Verification of UML Models
Test Generation from UML Models
Conclusion
Workshop Conclusions
References and Pointers on Related Works
Quality of Service in Distributed Object Systems
Organizers
Workshop Objective
Classification of QoS Middleware
What Kind of QoS Is Being Handled?
Who Is Responsible for the QoS?
Where Does QoS Adaptability Occur?
What Roles Are Supported?
In What Time Horizons Does Adaptability Occur?
How Is QoS Adaptability Reused?
Summary of Contributions
QoS Support in and below ORBs
QoS Specification
QoS Frameworks above the ORB
QoS Enabled Applications
Conclusions and Recommendations
Lessons Learned by the Organizers
Participants
References
XML and Object Technology
Introduction
XML under Distributed Environments
XML Engineering
OO Models and XML
Final Discussion
Pointers to Related Work
Conclusions
Acknowledgements.
List of Participants1
References
Workshop on Aspects and Dimensions of Concern: Requirements on, and Challenge Problems for, Advanced Separation of Concerns
Introduction
Contributors
Safe Composition
Problem Overview
Challenge Problems and Requirements
Generic, Reusable, and “Jumping” Aspects and Concerns
Problem Overview
Challenge Problems and Requirements
Modularization and Evolution Using Advanced Separation of Concerns
Problem Overview
Challenge Problems and Requirements
Exception Handling and Timing Constraints
Problem Overview
Challenge Problems and Requirements
Multiple Views
Problem Overview
Challenge Problems and Requirements
Context-Dependent Specialization of Existing Behavior
Problem Overview
Challenge Problems and Requirements
Distributed Systems and Middleware
Problem Overview
Challenge Problems and Requirements
Conclusions and Future Work
Acknowledgments
References
Mobile Object Systems
Background
The Talks
Agent Systems
Operating System Techniques
Security
Conclusions
New Issues in Object Interoperability
Introduction
The WOI'00 Workshop
Presentations
Keynote Speech: Quality-Aware Interoperability (Mehmet Aksit)
Experiences with Commercial Object Models
Towards Components That Plug AND Play (R. Bastide, O. Sy)
Adding Protocol Information to CORBA IDLs (C. Canal, L.Fuentes, J.M. Troya, A.Vallecillo)
Protocols
An Enhanced Model for Component Interfaces to SupportAutomatic and Dynamic Adaption (Ralf H. Reussner)
On Practical Verification of Processes (Rick van Rein)
Temporal Logic Based Specifications of Component InteractionProtocols (Jun Han)
A Framework for the Specification and Testing theInteroperation Aspects of Components (I. Cho)
Syntactic Interoperability
A Multi-level Approach to Verifiable Correct Design andConstruction of Multi-language Software (A. Kaplan and J.C.Wileden)
Interoperability Oviedo3/COM Objects through Automation(F. Dominguez and J.M. Cueva)
Interaction Frameworks for Object Interoperability
Addressing Interoperability in Multi-organizational Web-BasedSystems (A. Ruiz et al.)
Interaction Framework for Interoperability and BehavioralAnalysis (J. Putman and D. Hybertson)
Final Session
Requirements for Interoperability
Levels of Interoperability
Workshop Conclusions
Concluding Remarks
References
Annex 1: List of Participants
Panel Session: Mobile Code, Internet Security, and E-Commerce
Motivations
Issues
Elena Ferrari. University of Milano. http://homes.dsi.unimi.it/˜ferrarie
Ciaràn Bryce. Centre Universitaire d’Informatique. University of Geneva. http://cui.unige.ch/˜bryce
Doug Lea. State University of New York at Oswego. http://gee.cs.oswego.edu/
Cedric Fournet. Microsoft Research, Cambridge, UK. http://research.microsoft.com/˜fournet
Peter Lee. Carnegie Mellon University. http://www.cs.cmu.edu/˜petel
Questions and Answers
References
Poster Session
Introduction
Behavioral Compatibility in Concurrent Object Constructions
Evaluating Persistence Models
Join Point Aspect: A Solution to Simplify Implementation of Aspect Languages and Dynamic Management of Aspect Programs
Customization of Relationships between Types
Communication Oriented Reflection
The Problem
Our Solution
Revisiting Separation of Concerns with an Aspect-Oriented Framework
Object Persistence: A Framework Based on Design Patterns
The Framework
Cranium: Reducing the Abstraction Penalty with Specifications
Jiazzi: A Java Component System
Interfaces with Skeletal Implementations in Java
An Architectural Pattern for Consistent Observations of Active Systems
Redesigning Distributed Applications to Provide Co-operation
RoleJ: A Role-Based Java Extension
The RoleJ Language
Typehole Model for Objects with Roles in Object Oriented Systems
CyberChair: An Online Paper Submissionand Reviewing System
References
Author Index