Object-Oriented Technology: ECOOP '97 Workshop Reader : ECOOP'97 Workshops Jyväskylä, Finland, June 9-13, 1997 Proceedings

by Jan Bosch (editor)

Workshop 1: Object Oriented Technology for Telecommunications Services Engineering.- Telecommunications Services 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 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 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 & 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 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 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 The Refinement Calculus Perspective.- Reuse Contracts As Component Interface Descriptions.- A Control Model for the Dynam

568 pages, Paperback

First published February 1, 1998