Object-Oriented Technology ECOOP'97 Workshop Reader: ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings (Lecture Notes in Computer Science)

Jan Bosch Stuart Mitchell University of Karlskrona/Ronneby University of York Dept of Computer Science Dept of Computer Science SoftCenter, S-372 25, Ronneby, Sweden York, United Kingdom Jan.Bosch@ide.hk-r.se Stuart@minster.cs.york.ac.uk 1 Introduction Although becoming more accepted in software industry, object-oriented technology still is an active ?eld of research with many issues remaining to be addressed. This workshop reader, in a way, presents the width of the ongoing research activities in object-orientation. However, we feel one can classify these activities into three cate- ries: • Domain-speci?c: Several activities focus on a single application, e.g. telec- munication, or computer-science, e.g. real-time and mobility, domain. Research tries to address the domain-speci?c problems of object-oriented technology. • Design issues: Object-oriented design has been an issue for at least a decade, but one can identify an increasing focus on formal approaches and on the evo- tion and re-engineering of existing object-oriented software. • Beyond object-orientation: The object-oriented paradigm will, at some point, be replaced by a subsequent paradigm and several research efforts investigate alternative or extended approaches. Examples are extended language expr- siveness for, e.g. design patterns and frameworks, component-oriented p- gramming and aspect-oriented programming. 2 Contents The remainder of this book is a selection and re-iteration of the contributions to 12 workshops (of a total of 15) held during the ECOOP’97 conference. The workshops generally relate to one of the above categories.

Workshop 1: Object Oriented Technology for Telecommunications Services Engineering.- Telecommunications Services Engineering: Principles, Architectures and Tools.- Difficulties with mapping OMT specifications into GDMO.- Towards a “Good” Functional and Executable Behavior Model.- The Formalization and Simulation of a Network Management Model.- OST - An Object-Oriented Computer Networks System Specification Tool.- Experiences in Telecommunications Protocols with an OO Based Implementation Framework.- Rapid Network Management Application Development.- Real-time Object Oriented Distributed Processing with COREMO.- Reflective Real-Time Object-Oriented Programming and Systems.- Reflective ORBs: Supporting Robust, Time-critical Distribution.- Weak Protection for Reflective Operating Systems.- Implementing Real-Time Actors with MetaJava.- Adaptive Scheduling using Reflection.- Adaptive Fault-Tolerant Systems and Reflective Architectures.- Workshop on Language Support for Design Patterns and Frameworks (LSDF’97).- Implementing GoF Design Patterns in BETA.- Message Passing Abstractions as Elementary Bricks for Design Pattern Implementation: an Experiment.- Patterns of the Agenda.- Design Patterns as Program Extracts.- Design Patterns vs. Language Design.- Multi-level patterns.- Architectural Abstractions for Frameworks.- A Framework for Processors of Visual Languages.- Type Oriented Programming.- A Framework Registration Language.- Tool Support for Framework-Specific Language Extensions.- Design Patterns & Frameworks: On the Issue of Language Support.- Language Support for Design Patterns Using Attribute Extension.- A Language Implementation Framework in Java.- Precise Semantics for Object-Oriented Modeling Techniques.- Ontology-based Layered Semantics for Precise OA&D Modeling.- Formalising Object-Oriented Models in the Object Calculus.- Set Theory as a Semantic Framework for Object Oriented Modeling.- Unification of the Models for Types, Classes and State Machines.- Integration of -Based Semantics of OO-Notations.- Integrated Informal Object-Oriented and Formal Modeling Techniques.- Semantics through Pictures.- Business rules: from business specification to design.- Liberating Object-Oriented Modeling from Programming-Level Abstractions.- Discovering, Displaying and Agreeing Semantics in an Environment of Conflicts.- Towards a Precise Semantics for Object-Oriented Modeling Techniques.- Formal Definition and Refinement of UML’s Module/Package Concept.- Experience with Formal Specification of CMM and UML.- Models, Formalisms and Methods for Object-Oriented Distributed Computing.- FAMOOS Workshop on Object-Oriented Software Evolution and Re-Engineering.- On Implementation and Extension Complexities.- Analyzing Dependencies to Solve Low-Level Problems.- Adding Architecture to Design.- Analysis of Object-Oriented Programs Using Graphs.- Extracting State Diagrams from Legacy Systems.- Combining Software Descriptions.- Re-Engineering with UML.- Evolution of Telecommunication Software Using OO : Organisational and Technical Issues.- Design Pattern Restructuring.- Similarity Measures for the Object Model.- Modeling Software Processes and Artifacts.- Revised PMLs and PSEEs for Industrial SPI.- Applying Fuzzy Logic Techniques in Object-Oriented Software Development.- Towards a Dedicated Object Oriented Software Process Modelling Language.- The Object Model for a Product Based Development Process.- Active Software Artifacts.- General Software Process Organization in the OSMOSIS project.- Object-Oriented Modelling of Software Processes and Artifacts: Promises and Challenges.- Object-Oriented Model for Representing Software Production Processes.- 2nd Workshop on Component-Oriented Programming (WCOP’97).- Toward Automatic, Run-time Fault Management for Component-Based Applications.- Formal Methods for Component Software: The Refinement Calculus Perspective.- Reuse Contracts As Component Interface Descriptions.- A Control Model for the Dynamic Selection and Configuration of Software Components.- Design and Evaluation of Distributed Component-Oriented Software Systems.- The Fragile Base Class Problem and Its Impact on Component Systems.- The Challenge of the Global Software Process.- Coupling of Workflow and Component—Oriented Systems.- A Generator for Composition Interpreters.- On the Addition of Properties to Components.- Adapting Object-Oriented Components.- Inheritance Using Contracts & Object Composition.- The 7th Workshop for PhD Students in Object-Oriented Systems.- Object-Oriented Real-Time Systems: Workshop Report.- Formalising Real-time System Design.- Object-Oriented Real-Time Software in the European Space Agency.- Scheduling Mechanisms for Efficient Implementation of Real-Time Objects.- An Object Communication Architecture For Real Time Distributed Process Control.- RT-Objects based on Temporal Causal Consistency: A New Approach for Fieldbus Systems.- Configuring Realtime CORBA Systems for Telecom Applications.- New Complexities in the Embedded World — the OTI Approach.- Aspect-Oriented Programming Workshop Report.- Workshop on Object Orientation and Operating Systems.- Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.- MetaJava — A Platform for Adaptable Operating-System Mechanisms.- A Reflective Architecture for an Adaptable Object-Oriented Operating System Based on C++.- Configuration and Adaptation Management for Object-Oriented Operating Systems.- An Approach For Managing Highly Configurable Operating Systems.- An Object-Oriented Abstract Machine as the Substrate for an Object-Oriented Operating System.- Objects in Different Execution Environments.