From: darcyh@glasgow.eiffel.com (Darcy Harrison)
Subject: TOOLS Europe '95 Final Program
Date: 13 Dec 1994 19:09:05 -0800
Date: 1994-12-13T19:09:05-08:00 [thread overview]
Message-ID: <3clnki$9mk@glasgow.eiffel.com> (raw)
TOOLS EUROPE '95
CONFERENCE AND EXHIBITION
(Versailles - FRANCE)
MARCH 6 - MARCH 10, 1995
Program Co-Chairs:
Boris Magnusson (Lund University, Sweden)
Ian Graham (Swiss Bank, London, UK)
Conference Co-Chairs:
Bertrand Meyer (ISE Inc., Santa Barbara)
Jean-Marc Nerson (SOL, Paris)
Welcome to TOOLS EUROPE 95! Held in the royal city of Versailles,
TOOLS is the required meeting place for managers and developers
interested in understanding object technology, its applications and
its implications.
HIGHLIGHTS
o Philippe Kahn's keynote address:
March 7 (13:00 - 14:00)
o Bertrand Meyer's keynote address on why we don't need O-O databases:
March 9 (11:15 - 12:30)
o Robert Marcus's keynote address on objects in the aerospace industry:
March 8 (11:15 - 12:30)
o 20 different tutorials: March 6-7 by Ivar Jacobson, Meilir Page-Jones,
John Daniels, Wolfgang Pree, Bill Premerlani, Paul Jeremaes, Jean
Bezivin, James McKim and many other experts.
o Advanced tutorials: Friday morning, March 10
o Technical program: March 8-9
20 papers on the most up-to-date aspects of object technology.
o Panels with the foremost experts: objects in the financial world;
objects in aerospace; O-O databases; multiple inheritance.
o The Method Debate: March 9 (16:30 - 18:00) - with the authors
of major O-O methods.
o Ada workshop: March 9 and Eiffel workshop: March 8
o Exhibition: March 7-9
TUTORIAL PROGRAM
TUTORIAL TRACKS
1 METHODOLOGY & MODELING
2 DESIGN & PROGRAMMING
3 DEVELOPMENT & STANDARDS
4 ENGINEERING & REUSE
5 CONCURRENCY & DISTRIBUTION
MONDAY 9:00 - 12:30
Kim Walden/Jean-Marc Nerson (MM 1)
SEAMLESS O-O SOFTWARE ARCHITECTURES
Trevor Hopkins (MM 2)
Smalltalk Essentials
Ian Graham (MM 3)
Running an O-O RAD workshop
Nguyen Thuy (MM 4)
Large O-O projects in C++
Rachid Guerraoui (MM 5)
Object-based languages for distributed systems
MONDAY 14:30 - 18:00
Paul Jeremaes (MA 1)
The Fusion method
James McKim (MA 2)
Class interface design and contracts
Francois Bancilhon (MA 3)
The ODMG standard for Object Database Systems
Annie Combelles (MA 4)
The O-O approach: a practical way to improve reuse
Reinhard Budde/Karl-Heinz Sylla (MA 5)
O-O Design for Real-Time Systems
TUESDAY 8:30 - 12:00
Gerald Kristen (TM 1)
Object-Orientation: the KISS Method
Richard Mitchell/Ian Maung (TM 2)
Software contracting: the future
Meilir Page-Jones (TM 3)
From Structured Analysis to O-O development
Wolfgang Pree (TM 4)
Design Patterns for O-O Software Development
Sanjiv Gossain (TM 5)
Object Strategies for Client/Server Systems
TUESDAY 13:00 - 14:00
Keynote address: Philippe Kahn, Borland International
TUESDAY 14:30 - 18:00
Philippe Desfray (TA 1)
Class Relation Method and Hypergenericity
John Daniels (TA 2)
Precise Object Modeling
Herve Lejeune (TA 3)
OMG: the state of art
Ivar Jacobson (TA 4)
O-O software engineering
Peter Loehr (TA 5)
Concurrency
FRIDAY 9:00 - 12:30
Bill Premerlani (FM 1)
Metamodeling
Guido Dedene/Monique Snoeck (FM 2)
Consistent and safe O-O models
Eduardo Casais/Thomas Lindner (FM 3)
Formal O-O Methods
Jean Bezivin (FM 4)
New trends in the O-O life cycle
Peter Ward (FM 5)
Building models of Multimedia Systems
[Note: session codes indicate time and type of each tutorial. For example:
MM1 means Monday Morning, METHODOLOGY & MODELING track
TA5 means Tuesday Afternoon, CONCURRENCY & DISTRIBUTION track]
CONFERENCE PROGRAM
WEDNESDAY MARCH 8
9:00 - 10:30
Session A: Client/server & business process modeling
Session B: Programming techniques and architecture
Eiffel Workshop
11:15 - 12:30
Keynote: Robert Marcus, Large project experience
14:00 - 16:00
Session C: AI and O-O co-existence
Panel session: O-O and databases
Eiffel Workshop
16:30 - 18:00
Panel session: Multiple inheritance issues
Panel session: Objects in the financial community
THURSDAY MARCH 9
9:00 - 10:30
Session D: Concurrency, dynamic modeling and real-time systems
Session E: Managing, measuring and modeling O-O projects
Ada Workshop
11:15 - 12:30
Keynote: Bertrand Meyer, Object Persistence Without O-O Databases
14:00 - 16:00
Session F: Distributed objects and agents
Panel session: O-O and aerospace
Ada Workshop
16:30 - 18:00
The Method Debate
TUTORIAL DESCRIPTIONS
Seamless O-O Software Architectures
Kim Walden & Jean-Marc Nerson
Level: intermediate (MM1)
O-O analysis techniques can be used to create a high-
level architecture for an application, which directly
models the problem domain and allows seamless
transition to implementation in an O-O language. In
contrast to other approaches, no paradigm shift is
involved; the same O-O abstraction principles apply
throughout. The tutorial gives an overview of BON, a
method comprising a set of guidelines and notations
for O-O analysis and design, drawn from practical
experience and directly targeted at reusability.
It also reviews existing O-O techniques and compares
them with BON. A small case study is used to explain
the successive methodological steps.
Kim Walden was on the team developing the DEC Simula
compiler in the early 1970s. He has more than 20 years
of experience with industrial software engineering:
product development, research, consultancy, and
education. Since 1987, Dr Walden has held a position at
Enea Data, Sweden aimed at introducing object
technology to Swedish industry.
Jean-Marc Nerson is Managing Director of Societe des
Outils du Logiciel (Paris). From 1985 to 1991 he was VP
of Engineering with ISE (USA) where he led the
development of O-O tools and environments based on the
Eiffel language. Since 1991, Dr. Nerson has been
consulting on large scale O-O projects worldwide and
managing the development of reusable component
libraries.
Kim Walden and Jean-Marc Nerson co-authored ``Seamless
O-O Software Architecture: Analysis and Design of
Reliable Systems'' (Prentice-Hall, 1995).
Smalltalk Essentials
Trevor Hopkins
Level: intermediate (MM2)
This talk introduces Smalltalk for those already adept
in another object-oriented language. Basic Smalltalk
features are covered fully and rapidly, and more
`advanced' capabilities considered. Smalltalk is
presented as an integrated language and environment,
with a pure O-O language model. The following topics
are covered. Language and library issues: collection
and GUI classes, metaclasses, exception handling,
environment: compiler, workspaces, browser, inspectors,
debugger, Multi-person development. Metaprogramming:
identity-changing primitives, dynamic class-changing
methods. Concurrency: processes and semaphores,
concurrency classes, recursion-safe locking and
concurrency-safe data structures.
Trevor Hopkins is a Senior Lecturer in Computer Science
at the University of Manchester. His research interests
include O-O design quality analysis, automatic design
transformation, language implementation techniques and
concurrent object programming. He has also been
introducing O-O development to many companies.
Running an O-O RAD Workshop
Ian Graham
Level: intermediate (MM3)
This tutorial will explain the SOMA approach to system
development in outline, concentrating on its use of O-O
RAD workshops for requirements capture and business
process reengineering. Participants will learn how to
organize and facilitate such a workshop and have the
chance to walk through a simple example set as an
exercise. Agenda: The basics of O-O analysis and
object modeling using SOMA. Running an O-O RAD.
Requirements capture and the Task Object Model.
Transforming the Task Object Model to a Business Object
Model. Hands on simulation using class cards to debug
the specification. Building an event trace. The non-
procedural life cycle model.
Ian Graham is a specialist in object technology with
Swiss Bank Corporation. He contributes regular columns
to Object Magazine and Report on Object Analysis and
Design. His SOMA (Semantic Object Modeling Approach)
is described in outline in his book ``Object-Oriented
Methods'' and in full in the recently published
``Migrating to Object Technology'' (both Addison-Wesley).
Large O-O projects in C++
Nguyen Thuy
Level: intermediate (MM4)
This tutorial shows how objects can be used in real
life systems to address key software engineering
issues. It will first present some key issues in the
design and the implementation of large object oriented
software systems: tests, maintenance, perenniality of
persistent data, reuse, productivity of development
teams. It will underline some of the dangers of a naive
usage of the object oriented approach with respect to
these issues, and the consequent risks for the success
of large projects. Architectural, design and test
principles addressing these issues will then be
given. Examples in C++ will demonstrate that one of the
real interest of the object oriented approach is to
provide extremely elegant mechanisms for the
implementation of these principles.
Nguyen N.Q. Thuy is a research engineer at the Research
and Development Division of EDF, the French electric
power utility. From 1988 to 1994, he has been a
consultant for software engineering at Matra
Datavision, where he actively participated in the
development of CASCADE. Formerly, he was a member of
the EAST (Eureka Advanced Software Technology) project
team for the specification of advanced CASE
environments.
Object-based languages for distributed systems: Towards a
classification
Rachid Guerraoui
Level: intermediate (MM5)
There has recently been a great interest in using O-O
concepts for distributed systems. One major reason is
the adequation of encapsulation and object invocation
paradigms. Consequently, many object-based languages
have been designed with distribution in mind. For a
better understanding and evaluation of these languages,
this tutorial proposes a classification based on
different aspects such as concurrency expressivity,
concurrency control, handling of failures, and objects
placement. Various design alternatives are presented:
active vs. passive objects, synchronous vs. asynchro-
nous invocations, internal vs. external concurrency
control, independent vs. dependent concurrency control,
atomic vs. non atomic invocations, implicit vs.
explicit objects placement, etc. All the alternatives
are discussed using examples and are evaluated
according to criteria such as flexibility, simplicity
and modularity.
Rachid Guerraoui is member of the Operating Systems Lab
at the Computer Science Department of Ecole
Polytechnique Federale de Lausanne. His research
interests include distributed systems, fault-tolerance,
and object-oriented programming.
The Fusion method
Paul Jeremaes
Level: intermediate (MA1)
This tutorial provides attendees with an introduction
to the Fusion O-O development method. The method builds
on early, first generation, methods (e.g. Booch, OMT,
CRC, and Objectory) and provides a direct route from
requirements definition through to programming language
implementation. Fusion was launched by Hewlett-Packard
in 1992 and is currently being used worldwide by
projects both inside and outside of HP; it is supported
by 3rd party CASE tool vendors.
Paul Jeremaes is a researcher at HP Laboratories. His
research over the past 10 years has focused on the
development of software engineering methods and on
formal specification techniques. Prior to joining HP he
worked in the telecommunications industry as a lecturer
in software engineering. For the past 2 years he has
been a member of the O-O methods research and
consultancy team and is one of the developers of the
Fusion method. He co-authored ``Object-Oriented
Development, The Fusion Method'' (Prentice-Hall, 1994).
Class Interface Design and Programming by Contract
James McKim
Level: intermediate (MA2)
Programming by contract (PBC) is a form of O-O
programming popularized by Bertrand Meyer in his book,
"Object-Oriented Software Construction". The ideas
embodied in PBC result in simpler and shorter code and
is flexible enough to be of great assistance in the
specification, documentation, and verification of
features and classes. The presentation will address
the following questions: What are the goals and benefits
of PBC and what is the effect on class interface design?
Must commands (state changers) be separated from
queries (state accessors) and is there a difference
between the kinds of assertions that may be applied to
commands as opposed to queries? What kind of
information should be contained in an invariant?
What improvements/ additions to PBC will we see in the
next few years? Examples will be taken from several
Eiffel vendors' libraries as well as from working
Eiffel systems.
James C. McKim, Jr. is Professor of Computer Science,
Hartford Graduate Center Dr. McKim has more than 20
years of experience teaching mathematics and computer
science. He has authored, coauthored and reviewed a
number of textbooks and articles in both areas. His
research interests include O-O programming and design
in general, and class interface specification in
particular.
The ODMG Standard for Object Database Systems
Francois Bancilhon
Level: intermediate (MA3)
Object database systems (ODBS) have been available for
more than 4 years and have reached a clear level of
maturity. There is quite an abundant offer mainly
driven by the needs of systems such as CAD, CASE,
Office Information Systems and any system storing and
manipulating complex or multimedia data that can evolve
gracefully, and deliver high-performance in the manipu-
lation of complex structured data. Traditional
business-type applications such as finance and
insurance are now showing interest for this technology.
The tutorial covers the following topics: current
state of database technology and relationship between
database and programming technology. Underlying
concepts: the mandatory rules from the "ODB Manifesto".
ODMG 93, standard proposed by the Object Database
Management Group: data model, ODL data definition
language and OQL query language, language bindings for
C++ and Smalltalk. Benchmarks, market and applications.
Francois Bancilhon is CEO of O2 Technology a company
that develops, maintains and markets the 02 OODBMS
system. Francois Bancilhon has been with INRIA as a
researcher and project leader from 1976 to 1980,
a Professor at the University of Paris XI from 1981 to
1984, a Team Leader at MCC, Austin Texas, from 1984
to 1986 and the Director of the Altair research
consortium from 1986 to 1990.
The O-O approach: a practical way to improve reuse
Annie Kuntzmann-Combelles
Level: introductory (MA4)
O-O programming languages have bought a bunch of new
concepts in software engineering, and somehow one could
consider this as a revolution of culture. With a new
and powerful paradigm, we can expect to solve simple
problems as well as complex projects. The tutorial
explains which OOPL concepts are useful in a general
O-O approach and which ones are more dedicated to
object reuse. Based on real experiences achieved in
various application domains, the presentation illus-
trates the basic principles of how to efficiently make
reuse happen. It includes the description of a measure-
ment framework to analyze the ROI of the reuse policy
and an O-O development process emphasizing reusability.
Annie Kuntzmann-Combelles is Executive Vice-President
of Objectif Technologie and consultant for software
engineering strategies and methods. From 1985 to 1989
she was head of Software Engineering and Applications
Division at CISI Ingenierie. She is chairperson of the
IEEE Software Advisory Board and Member of IFIP WG5.4.
O-O Design for Real-Time Systems
Reinhard Budde & Karl-Heinz Sylla
Level: intermediate (MA5)
Real-time systems embedded into larger applications are
reactive: they are stimulated by signals coming from
the environment and give feedback to that environment.
The basic O-O properties such as encapsulation, inheri-
tance, polymorphism and contracting are needed to hide
hardware/software design decisions, to master the
development of variants, to achieve maintainable, flex-
ible systems architectures, and to prove properties
enabling the compliance to specified reaction times.
After reviewing existing approaches ranging from system
dynamics to reactive O-O systems, a classification of
real-time systems into preemptive and non-preemptive
characteristics is discussed using an O-O framework.
The framework combines perfect synchronizations (as in
Esterel, Argos, or Statecharts) with the O-O paradigm.
It is based on Eiffel-like descriptions. Classes are
augmented by a behavior-description and inheritance is
combined with compatible behavior. The system executes
time-critical objects in parallel. Reaction times are
obtained by worst-case bottom-up calculations and used
for prescheduling the time-critical parts. Medium-sized
industrial control applications demonstrate how the
approach works in practice.
Reinhard Budde is a computer scientist at the German
National Research Center for Computer Science and head
of a project, in which an integration of O-O and syn-
chronous languages for reactive systems is investi-
gated.
Karl-Heinz Sylla is a computer scientist at the German
National Research Center for Computer Science. He has
substantial experience with programming languages and
development systems and has been responsible for the
design and implementation of large scale O-O systems.
Object-Orientation: the KISS Method
Gerald Kristen
Level: intermediate (TM1)
This tutorial addresses the basic principles of the
KISS method for Object Orientation. The modeling
principles of the KISS method are based upon the
grammar of communication with the natural language we
use every day. In the tutorial the attendees will
apply the modeling techniques of the KISS method in a
real world case with the KISS-DOMINO game and will
experience how the different model-types validate each
other with formal rules. Finally the tutorial
demonstrates how the O-O models are transformed
directly into a running information system for any
implementation environment.
Gerald Kristen is general manager of KISS in Veghel
(The Netherlands), a consulting firm specializing in
object orientation. He is the author of ``Object
Orientation, the KISS method. From Information
Architecture to Information System'' (Addison Wesley).
Software contracting: the future
Richard Mitchell & Ian Maung
Level: intermediate (TM2)
Strongly-typed programming languages were a significant
improvement on their predecessors for the engineering
of software-driven systems. Software contracting is set
to provide an equally significant leap along the road
towards reliable software. Eiffel has given the world
an effective programming language that supports
software contracting at the design and programming
levels, and other languages are following suit. Eiffel,
has only started the ball rolling, and there is more to
come. Software contracting can be greatly enhanced,
and support for the enhancements would require
only modest changes to the Eiffel and to its vendors
run-time systems. The aim of this tutorial is to
present the kinds of enhancements that research has
now shown to be possible, and to propose directions for
change in languages that support software contracting.
The enhancements fall into two kinds: those that
deliver better run-time checking of existing contracts,
and those that allow new forms of contract to be
expressed and checked.
Richard Mitchell heads the Software Engineering
Research Group in the Department of Computing at the
University of Brighton. His research interests are in
literate software development and its application
within formal and O-O methods.
Ian Maung is a Research Fellow in the Department of
Computing at the University of Brighton. His research
interests are in the formal aspects of O-O software
development, including the use of formal methods in
software development.
Object-Orientation and Structured Techniques: Where they
overlap; where they conflict.
Meilir Page-Jones
Level: beginner (TM3)
O-O has been termed a revolution. But how much does it
overturn the principles of Software Engineering that
were successful in the 1970s and 1980s? Although some
radicals answer "completely" and some dinosaurs answer
"not at all", the truth probably lies somewhere in
between. How does the structure of an O-O system
differ from that of traditional systems? Is there a
notation for depicting O-O systems that is compatible
with traditional systems? Does O-O allow us to dispense
with analysis and design? Some other issues will be
explored in the tutorial. Partitioning: O-O versus
events. Coupling and cohesion: are they still relevant?
CASE tool requirements. Top-down or bottom-up? Demands
imposed by reusability.
Meilir Page-Jones is president and senior consulting
methodologist at Wayland Systems Inc. (Bellevue, WA).
He is co-author of Wayland Systems' courses on The
Synthesis Method for O-O Systems Development and
Methods for Client/Server Systems Development. Prior,
M. Page-Jones was Head of the Structured Design
Department at Yourdon Inc. (New-York City). Currently,
he carries out training and consulting at many major
corporations. He authored two books: ``The Practical
Guide to Structured Systems Design'' and ``Practical
Project Management''.
Design Patterns for Object-Oriented Software Development
Wolfgang Pree
Level: intermediate (TM4)
Design patterns recently emerged as a glimmer of hope
on the horizon for supporting the development and reuse
of O-O software systems. They represent a complementary
enhancement of existing O-O analysis and design (OOAD)
methods. This tutorial gives a detailed overview of
state-of-the-art design pattern approaches. A case
study exemplifies how they allow to capture and
communicate the design of O-O software systems.
The tutorial discusses the role of design patterns as
means for augmenting existing OOAD methods in order to
significantly improve reusability. Participants should
be familiar with basic concepts of the O-O programming
paradigm.
Wolfgang Pree is vice director of Washington
University's Pen Computer Research Laboratory and guest
scientist at Siemens' Corporate Research division in
Munich. Dr. Pree has been consulting on O-O projects in
Europe and the US. He is the author of ``Design
Patterns for Object-Oriented Software Development''
(Addison-Wesley/ACM-Press, 1994).
Object Strategies for Client/Server Systems
Sanjiv Gossain
Level: intermediate (TM5)
The message-passing paradigm of objects fits in excep-
tionally well with the distributed nature of
client/server systems. However, client/server systems
pose a challenge for existing object development
strategies, especially in their need for concurrency,
distribution, and asynchronous messaging. Current
O-O methods are rich in notation and description, but
weak in process and heuristics. They do not adequately
address the design of systems that must operate in
distributed environments. The tutorial introduces a set
of object development strategies found useful in
developing client/server systems. The discussion
addresses the compatibility between O-O technology and
client/server systems. Techniques for partitioning,
taking advantage of distribution and concurrency,
utilizing asynchronous message passing to the full
are described with examples.
Sanjiv Gossain is an Associate Director of Cambridge
Technology Partners (UK), a global client/server
consulting firm. Dr. Gossain has been involved in the
successful deployment of a number of O-O systems in
a broad range of application areas in the USA and
Europe. He has been involved in object technology
for more than 8 years.
O-O Application Development: Class Relation Method and
Hypergenericity
Philippe Desfray
Level: intermediate (TA1)
The Class-Relation method was specifically designed
for O-O development in 1990. The newly introduced
hypergenericity concept addresses the following
challenges. How to formalize and systemize the
transition from analysis to design, how to implement
and automate the development process from specification
through final coding, and how to set up a technical
expertise thesaurus. The tutorial is aimed at
practitioners of O-O methods such as Booch, OOA, OMT...
It provides solutions to complexity control issues
raised during the development of large-scale software
systems. After an overview presentation of the Class
Relation Method, hypergenericity principles are
discussed, followed by generalization techniques.
Reviewed case studies deal with man/machine
interface modeling, model transformation for client/
server applications, and relational database
implementation of O-O analysis. The control of the
development process is also discussed.
Philippe Desfray is head of research and development at
Softeam a software company dedicated to promoting the
Class Relation methodology and Objecteering, its
supporting O-O CASE tool. He has more than 10 years
of experience in the software engineering field. He
authored ``Object Engineering: the Fourth Dimension''
(Addison Wesley, 1994).
Precise Object Modeling
John Daniels
Level: intermediate (TA2)
Although diagrams are by far the most popular way to
represent the results of analysis and design, they
frequently lack precision and expressive power, and
are often supplemented by natural language annotations.
On the other hand, formal methods based on mathematical
logic convey a precise meaning, but can be hard to
understand. Syntropy is a second-generation object-
oriented analysis and design method which combines the
diagrammatic power of popular first-generation methods,
such as OMT, with the additional rigour and consistency
of formal methods like Z. This tutorial, intended for
practising software developers, will describe how to
use Syntropy to produce precise object models.
John Daniels is Director of Object Designers Ltd, a
UK-based consultancy practice specializing in object-
oriented methods. He has practised object-oriented
software development for many years. He is co-author
with Steve Cook of ``Designing Object Systems: Object-
Oriented Modeling with Syntropy'' (Prentice-Hall,
1994).
Distributed Objects: The OMG Solution
Herve Lejeune
Level: intermediate (TA3)
The tutorial presents the current state of the OMG
specifications. OMG Object Model and Architecture;
Common Object Request Broker Architecture (including
Interface Definition Language, IDL to C and C++
mapping, Interface Repository and Interoperability);
Common Object Services (including Naming, Life Cycle,
Events, Persistence, Concurrency, Relationships,
Transactions, Security, Externalization, Query,
Properties, Licensing); Common Facilities and
Business Objects. Main OMG compliant existing products
(as IBM DSOM, IONA ORBIX, SunSoft DOE) are also
presented and relationships with other Models and
Architectures (as PCTE, ODMG, COM/OLE2) discussed.
Herve Lejeune has more than 10 years of experience
in computing industry, mainly in O-O languages and
systems. He was one of the main contributor of the
Object Transaction Service which was adopted by the
OMG and has participated to the evaluation of several
CORBA implementations. He is currently heading a team
in charge of the development of OMG compliant
components at Bull.
O-O Software Engineering
Ivar Jacobson
Level: intermediate (TA4)
This tutorial defines a process concept for O-O
software development which covers the whole life cycle
for software products (including embedded system
software). The objective is furthermore to understand
the need for several models in system building, how use
cases help the development process to design the
requested system, to find the right objects, to work as
the glue between different models and to structure each
model of a large system, and how in the real world,
naive objects found during the analysis activities
should be implemented by other objects robust
against future changes of the system. The following
topics are covered: the process concept, different
scenarios for the process, the model concept and
the the use case concept.
Ivar Jacobson is founder and VP of Technology at
Objective Systems in Sweden, a software company that
develops and markets the object-oriented development
method ObjectOry. He has more than 20 years of
experience in the telecommunications industry. He
developed an early object-based design technique a
major portion of which has evolved into the
international standard CCITT/SDL.
Concurrent O-O Programming
Peter Loehr
Level: intermediate (TA5)
Concurrency blends well with object orientation because
an object is akin to a process. But there are still
many choices for how to exactly relate classes to
processes, in particular with accommodating
inheritance. We will explore different approaches to
combining object orientation with concurrency and study
programming languages implementing those approaches.
Distributed implementations are available for several
languages; there are also languages especially designed
for massively parallel processing. An assessment of
how the user of those languages is affected by physical
distribution will be given, and some implementation
problems will be discussed.
Klaus-Peter Loehr is a professor of computer science at
Freie Universitaet Berlin, specializing in object
technology and distributed systems. He is currently
leading project HERON which deals with development
support systems for distributed O-O applications.
Metamodeling
William Premerlani
Level: advanced (FM1)
Besides mirroring the real world, an object model can
also be used to represent deeper abstractions, such as
other models. For example, it is possible to model the
constructs found in an object model, a dynamic model,
or a functional model with object, dynamic, and
functional models. Such models of models are called
metamodels. Although they are often difficult to
understand and construct, metamodels can greatly
increase the versatility of software and raise the
productivity of software developers. Furthermore, if
properly constructed, it is possible for a metamodel
to describe itself. This tutorial covers several topics
related to metamodeling: motivation for using
metamodels, metamodeling concepts, examples of
metamodels, and applications of metamodeling.
William Premerlani is a computer scientist at the
General Electric R & D Center in Schenectady (New-York).
His research interests include O-O methodologies,
applications of metamodels, and database technology. He
co-authored ``Object-Oriented Modeling and Design''
(Prentice Hall, 1991).
Consistency checking and safe implementations for O-O models
Guido Dedene & Monique Snoeck
Level: advanced (FM2)
This tutorial introduces formal consistency checking
techniques for O-O models to demonstrate how this can
induce higher quality software specifications. Formal
techniques are based on the expression of life-cycle
constraints for object classes by means of an algebra
of idempotent semi-rings. The uniqueness of a
structure-preserving partial ordering on these
semirings allows to classify object classes according
to existence dependency. This classification is the
basis for the elimination of conflicting class
behavior specifications. The classification indicates
when relationships are needed as contract object
classes. These techniques have been developed in the
scope of the M.E.R.O.D.E project and are applicable
to any O-O methodology that is making use of event-
based preconditions. Examples of consistent and
inconsistent models will be given. The transformation
of O-O models into implementation models is discussed.
Guido Dedene is Associate Professor at the Katholieke
Universiteit Leuven, director of European Services of
G.U.I.D.E. and Share Europe, co-founder of the Leuven
Institute for Research on Information Systems and
president of ELiAS, a company that applies O-O
techniques to library systems.
Monique Shoeck is responsible for I.T.education and
application development tools assessment at the Katho-
lieke Universiteit Leuven.
Formal O-O Methods
Eduardo Casais & Thomas Lindner
Level: advanced (FM3)
Basing software construction on formal methods is a key
issue when dealing with the production of reliable
programs. Formal O-O methods combine the advantages
of object-orientation, notably its powerful modeling
capabilities, and those of formal methods such as
verifiability of program properties. This tutorial
reports on the state of the art in formal O-O
methods. The issues to address when integrating object-
orientation and formal methods are considered, and
various integration strategies are presented. Major
formal approaches (such as Object-Z, OSDL or Z++) are
compared and evaluated. The application of formal
O-O methods is illustrated with a case study dealing
with the specification and implementation of control
programs for the model of a manufacturing plant.
The advantages, but also the traps and pitfalls of
formal approaches are highlighted, and their impact
on the development process of reactive systems is
discussed. The tutorial concludes on how formal O-O
methods influence the software development process
especially with respect to the problems of reusability
of specifications and of modular verification.
Eduardo Casais worked at the University of Geneva
(Switzerland) on methods for managing the evolution of
O-O libraries. He is currently head of the Software
Engineering Department at the FZI and investigates the
utilization of O-O methods and reusable frameworks
in industrial applications.
Thomas Lindner is currently a researcher at FZI and
works on formal methods. He is active in different pro-
jects dealing with the transfer of formal methods into
industrial environments and has coordinated a large-
scale case study in this field.
New Trends in the O-O Life cycle: the OSMOSIS View
Jean Bezivin
Level: advanced (FM4)
This tutorial presents a general view of the O-O
software life cycle. The design process can be viewed
as a composition of "corporate objects" (modeling enti-
ties from the problem domain) and "technical objects"
(modeling entities from the computer configuration,
i.e. the means domain). This process is performed under
the control of requirement scripts, a generalization of
use cases, and follows generic composition patterns or
frameworks. The general organization of the life cycle
is defined and the following type of models identified:
strategic, requirement, domain analysis, design,
technical, test, metrics, formal specification,
implementation, etc. Although these object-based models
seems to emphasize seamlessness important
incompatibilities exist between them. To capture their
similarities, differences and various relationships the
core formalism of sNets is introduced. Translation
examples of conventional object formalisms into
sNets are presented, showing how it builds up the
kernel of a nexperimental environment, the OSMOSIS
meta CASE. The tutorial starts with a brief description
of O-O methods (OMT, OBJECTORY, FUSION, SYNTROPY, etc.)
and concludes on how a metamodeling approach can be
used to provide an initial ontology of O-O software
concepts.
Jean Bezivin is professor of Computer Science at the
University of Nantes (France) where he is leading a
Master Program entirely devoted to O-O technology.
Building models of Multimedia Systems
Peter Ward
Level: advanced (FM5)
The tutorial is based on a practical and pragmatic
experience and a multidisciplinary, multiviewpoint
approach to information systems development. It will be
illustrated with a number of case studies and working
applications. The use of OOT and OOPL will be linked
with the development of models of multimedia. Notion of
`information modeling' and the design of generic,
flexible, enhanceable and distributable O-O systems,
developed by working closely with users and in real
world applications are discussed. Key issues include
portability, scalability and distribution; high quality,
configurable and flexible user-friendly interfaces and
the providing of a variety of access and the support of
key tasks in information modeling and communication.
Peter Ward is Director of the Information Modeling
Programme (IMP) Group at the University of Leeds and
a Consultant to CleverWare, a software house in Leeds.
CONFERENCE KEYNOTE PRESENTATIONS
Tuesday, March 7, 13:00-14:00: Philippe Kahn, founder
and CEO of Borland International, will present his
visions of the future of O-O technology.
Wednesday, March 8, 11:15-12:45: Robert Marcus will
discuss how O-O techniques have been introduced
at Boeing Computer System Divisions and will report
experience of success stories and faced obstacles,
sharing his experience of dos and don'ts.
Thursday, March 9, 11:15-12:45: Bertrand Meyer, author
of several best-sellers on O-O software development,
language, environment and libraries will talk about
object persistence and why O-O databases may not be
needed.
PANELS AND DEBATE
The Database Panel: Wednesday, March 8, 14:00 - 16:00
Chair: Georges Gardarin (PRISM, Versailles)
Representatives from: Informix, Oracle, O2, Object
Design, Matisse, Versant ...
This panel brings together representatives from the
relational and the object-oriented database field to
discuss the pros and cons of each technology, their
possible co-existence and their solutions to new
software architectures.
The Multiple Inheritance Panel: Wednesday, March 8, 16:30 -
18:00
Chair: Ian Graham (Swiss Bank, London)
Reasoning in multiple inheritance systems raises
several difficulties. How should we address them? Should
we use fuzzy classifications? Should we introduce
"overriding" operators? Do generalized class invariants
solve this issue?
Objects in finance: Wednesday, March 8, 16:00 - 18:00
Chair: Roger Lang (CEO Infinity, USA)
Representatives from: Societe Generale, Credit Agricole,
Swiss Bank Corporation and other major financial
institutions.
How can O-O technology help construct banking IS,
front office or back office software? What are the con-
straints of the area? What reusable library classes can
be expected?
The Aerospace Panel: Thursday, March 9, 14:30 - 16:00
Chair: Robert Marcus (Boeing Computer System Division,
USA),
Representatives from: Boeing, Matra/Espace, ESA/ESTEC,
Aerospatiale and other aerospace companies.
This panel reports on O-O experiences conducted in
aeronautics and aerospace company and organizations for
the design and implementation of applications ranging
from tools to embedded software systems.
The Method Debate: Thursday, March 9, 16:30 - 18:00
Invited method creators: J. Daniels (Syntropy), G.
Dedene (MERODE), P. Desfray (Objecteering), M. Goldberg
(Booch), I. Graham (SOMA), S. Jacobson (Objectory), P.
Jeremaes (Fusion), G. Kristen (KISS), J. McKim (Design
by Contract), M. Page-Jones (Synthesis), B. Premerlani
(OMT), K. Walden and J.-M. Nerson (BON).
There are many controversial issues in the field of O-O
methods: should they be pure or hybrid? Should they
include traditional data modeling capabilities? How to
couple an O-O method with a language of choice?
Creators of some of the most popular methods will argue
for their view of the field and defend their
contributions.
CONFERENCE SESSIONS
WEDNESDAY, MARCH 8, 9:00 - 10:30
Session A: CLIENT/SERVER & BUSINESS PROCESS MODELING
O-O Collaborative Process Modeling
J. Lonchamp (CRI Nancy, France)
Modeling Client-Server Systems
P. Fitsilis, P. Cheliotis, S. Kontaxaki, S. Varchalamas (Intrasoft,
Greece)
Building Reliable Client-Server Software Using Actively Replicated Objects
K. R. Mazouni, B. Garbinato, R. Guerraoui (EPFL, Switzerland)
Session B: PROGRAMMING TECHNIQUES AND ARCHITECTURE
Parser Delegation, an O-O Approach to Parsing
J. Bosch (Karlskrona Univ., Sweden)
Software and Softwires: Towards a Component-Object Assembly Language
M.R. Cantone (AT&T Bell Lab., USA)
SOOP - a Synthesizer of an O-O Parser
J. Gil, D.H. Lorenz (Institute of Technology, Israel)
WEDNESDAY, MARCH 8, 14:00 - 16:00
Session C: AI/O-O COEXISTENCE
A Hybrid Method Approach for O-O Knowledge-based Systems Specification &
Design
S. Ayache, M. Haziza, D. Cayrac (Matra Marconi Space, France)
Spying as an O-O Programming Paradigm
F. Pachet (Laforia, France), F. Wolinski (Laforia & CDC, France),
S. Giroux (LICEF Univ. Montreal, Canada)
Mixing Constraints and Objects: a Case Study in Automatic Harmonization
F. Pachet, P. Roy (Laforia, France)
A Meta KModelization Technique: The MetaGEN System
N. Revault, H.A. Sahraoui, G. Blain, J.F. Perrot (Laforia, France)
THURSDAY, MARCH 9, 9:00 - 10:30
Session D: CONCURRENCY, DYNAMIC MODELING AND REAL-TIME
SYSTEMS
A Graphical Design Environment for the Development of O-O Hard Real-Time
Systems
C. Eriksson, R. Hassel, L. Myrehed, K. Sandstrom (Malardalen Univ.,
Sweden)
Integrating States in an O-O Concurrent Model
J.L. Sourouille, H. Lecoeuche (INSA Lyon, France)
OMT-RT: Extensions of OMT for Better Describing Dynamic Behavior
R. Arthaud (Verilog, France)
Session E: MANAGING, MEASURING AND MODELING O-O PROJECTS
Building Large O-O Systems
S. Wallin (Erisoft, Sweden)
Towards Quality Control Metrics for O-O Systems Analysis
L. Badri, M. Badri, S. Ferdenache (Annaba Univ., Algeria)
Project Management Issues in O-O Development
B. Thal, (Swiss Bank London), T. Docker (CITI, UK)
THURSDAY, MARCH 9, 14:00 - 16:00
Session F: DISTRIBUTED OBJECTS AND AGENTS
Objects Serving as Communication Agents
N.R. Doshi (Bell Communication Research, USA)
Supporting intelligent agents in a distributed environment: a COOL-based
approach
B. Dillenseger, F. Bourdon (SEPT-Caen, France)
TIMODE: a Testbed for the Interchange of Multimedia Objects in a
Distributed Environment
T. Bouron, A. Deleplanque, J. Douget (CCETT, France)
Programming with Object Groups in PHOENIX
P. Felber, R. Guerraoui (EPFL, Switzerland)
WORKSHOPS
WEDNESDAY, MARCH 8, 9:00 - 10:30 and 14:00 - 16:00
Eiffel workshop, chair: Simon Parker (Eiffel Ireland)
THURSDAY, MARCH 9, 9:00 - 10:30 and 14:00 - 16:00
Ada workshop, chair: Nasser Ketani (CR2A)
USER GROUP MEETINGS
Friday afternoon, March 10
European Smalltalk User Group
Contact: Annick Fron, email: <esug@ibp.fr>
International Eiffel User Group
Contact: Darcy Harrison, email: <darcyh@eiffel.com>
Club OMT
Contact: Philippe Elinck, email: <elinck@cadre.com>
SOCIAL PROGRAM
Wednesday, March 8, 18:30 Private Guided Tour of the Chateau de
Versailles
Wednesday, March 8, 20:30: Conference Dinner
EXHIBITION
List of exhibitors (as of November 30, 1994):
Alsys, Cadre, Eliott, Ilog,
Informix, Intrasoft, IDE France, IHM,
ISE USA, KISS, LCI, Le Monde en Tique,
NSL, Oblog, Parallax, Prentice-Hall,
Rational, Reich & Cie, Scientific Computers,
SOCS Groupe, Softeam, SOL, Verilog, Xanth ...
PROGRAM COMMITTEE
Bruce Anderson (UK) Dino Mandrioli (I)
Francois Bancilhon (F) Marc Nanard (F)
Bernard Coulange (F) Jean-Marc Nerson (F)
Elspeth Cusack (UK) Walter G. Olthoff (D)
Eduardo Casais (D) Jean-Francois Perrot (F)
Paul Dubois (USA) Rob Pooley (UK)
Annick Fron (F) Roger Rousseau (F)
Jean-Marc Geib (F) Jean-Claude Royer (F)
Rachid Guerraoui (CH) Dave Thomas (CDN)
Ivar Jacobson (S) Jean Vaucher (CDN)
Eric Juul (DK) Kim Walden (S)
Stein Krogdahl (N) Anthony I. Wasserman (USA)
Jorgen Lindskov Knudsen (DK) Roberto Zicari (D)
Ole Lehrmann Madsen (DK)
IN COOPERATION WITH
Prentice-Hall, AFCET, INRIA, Elsevier, Information and Software
Technology
REGISTRATION FEE
Before January 25 January 25 or later
One tutorial
Regular Registration 1790 FF 2050 FF
Full Time Faculty/Speaker 1290 FF 1450 FF
Full Time Student 550 FF 650 FF
Two tutorials
Regular Registration 3150 FF 3550 FF
Full Time Faculty/Speaker 2050 FF 2350 FF
Full Time Student 950 FF 1150 FF
Four tutorials, a fifth tutorial free
Regular Registration 5990 FF 6850 FF
Full Time Faculty/Speaker 3990 FF 4590 FF
Full Time Student 1750 FF 1990 FF
Conference only (two days)
Regular Registration 4390 FF 4950 FF
Full Time Faculty/Speaker 3150 FF 3650 FF
Full Time Student 990 FF 1350 FF
Full package (Conference + five tutorials)
Regular Registration 8290 FF 9490 FF
Full Time Faculty/Speaker 6150 FF 6990 FF
Full Time Student 1990 FF 2350 FF
One-day workshop Ada or Eiffel
(free access if registered to the Conference)
Regular Registration 3190 FF 3650 FF
Full Time Student 690 FF 850 FF
Guided Tour of the Versailles castle 200 FF 200 FF
Conference Dinner 300 FF 300 FF
All prices are net (VAT included). Prices marked ``before
January 25'' apply only if payment is received before
that date.
Prices include a copy of the tutorial notes for each tutori-
al attended, a copy of the conference proceedings, breaks,
lunches, as well as free access to the Exhibition. Atten-
tion: special rate for Full Time Students does not include
lunches.
Payment should be made in French Francs by check, credit
card or international money order to TOOLS EUROPE '95 and
accompany the registration form. Substitutions will be ac-
cepted at any time. Written cancellations received by
February 15, 1995 will be liable to a 50% service fee. After
this date there will be no refund.
VENUE (Tutorials, Conference and Exhibition)
Versailles-Palais des Congres 10 rue de la Chancellerie,
78000 Versailles (FRANCE), Phone: (+33-1) 39 51 46 30
Fax: (+33-1) 39 21 15 82
REGISTRATION FORM
___________________________________________________________
SEND PAYMENT AND THIS REGISTRATION FORM TO:
TOOLS EUROPE '95
104 rue Castagnary - 75015 Paris - France
Tel: (+33-1) 45 32 58 80
Fax: (+33-1) 45 32 58 81
E-mail: tools@tools.com
Last Name ______________________________ First Name______________________
Company Name _______________ Company Address______________________________
City ________________________ Zip Code ____________ Country_______________
Phone ______________________ Fax __________________ Email_________________
I select (Please check):
[ ] Full package (4 1/2 days) ____________ FF
[ ] Conference only (2 days) ____________ FF
[ ] ____ tutorial(s) ____________ FF
[ ] Language Workshop (1 day) ____________ FF
[ ] Guided Tour (March 8) @ 200 FF ____________ FF
[ ] Dinner (March 8) @ 300 FF ____________ FF
TOTAL AMOUNT ____________ FF
Tutorial choice (please circle tutorial you wish to attend):
MARCH 6
Morning: MM1 MM2 MM3 MM4 MM5
Afternoon: MA1 MA2 MA3 MA4 MA5
MARCH 7
Morning: TM1 TM2 TM3 TM4 TM5
Afternoon: TA1 TA2 TA3 TA4 TA5
FRIDAY 10
Morning: FM1 FM2 FM3 FM4 FM5
PAYMENT
[ ] Check enclosed
[ ] Bank wire transfer to: BAECQUE BEAU PARIS NATION
3 rue des Mathurins
75440 Paris Cedex 09 - France
Account number: 30118/00002/003416Q1514/14
[ ] Visa [ ] Mastercard [ ] Eurocard [ ] American Express
Number: _____________________________________________________
Expiration date: ____________________________________________
Authorized Signature: _______________________________________
[TOOLS/SOL number for continued education 11.75.12467.75]
_______________________________________________________________________
HOTEL RESERVATION FORM
(TOOLS Europe '95 March 6-10, 1995)
LAST NAME _________________________________________________________
FIRST NAME _________________________________________________________
ADDRESS ___________________________________________________________
CITY ___________________ ZIP CODE __________ COUNTRY _____________
PHONE _____________________ FAX ______________________
Date of arrival: _________ Date of departure: ________
Number of persons: _______ Number of nights: _________
[ ] Single [ ] Double
(1 person) (2 persons)
_______________________________________________________________
Please fax the above form as soon as possible to the hotel of your choice.
You will receive a confirmation of your reservation directly from the hotel.
Payment instructions will appear on the acknowledgment sent back to you.
HOTEL AND PRICE CATEGORIES
including breakfast for one person
(Following hotels are walking distance from conference center)
**** Sofitel Versailles | Phone: (+33 1) 39 53 30 31| < 707 FF
2 bis, avenue de Paris | Fax: (+33 1) 39 53 87 20|
| |
*** Hotel le Versailles | Phone: (+33 1) 39 50 64 65| < 455 FF
7 rue Sainte-Anne | Fax: (+33 1) 39 02 37 85|
| |
*** Residence du Berry | Phone: (+33 1) 39 49 07 07| < 455 FF
14-16 rue d'Anjou | Fax: (+33 1) 39 50 59 40|
| |
*** Hotel Bellevue | Phone: (+33 1) 39 50 13 41| < 455 FF
12 avenue de Sceaux | Fax: (+33 1) 39 02 05 67|
| |
** Hotel Printania | Phone: (+33 1) 39 50 44 10| < 310 FF
7 bis rue Montbauron | Fax: (+33 1) 39 59 65 11|
| |
** Ibis Versailles | Phone: (+33 1) 39 53 03 30| < 390 FF
4, avenue du Gl-de-Gaulle| Fax: (+33 1) 39 50 06 31|
| |
** Hotel d'Angleterre | Phone: (+33 1) 39 51 43 50| < 310 FF
2 bis, rue de Fontenay | Fax: (+33 1) 39 51 45 63|
| |
** Hotel de la Chasse | Phone: (+33 1) 39 50 00 92| < 310 FF
6 rue de la Chancellerie | Fax: (+33 1) 39 51 77 27|
| |
** Royal Hotel | Phone: (+33 1) 39 50 67 31| < 310 FF
23 rue Royale | Fax: (+33 1) 39 02 72 09|
--
-- Darcy G. Harrison
Interactive Software Engineering Inc.
Phone (805)685-1006, Fax (805)685-4976
Email darcyh@eiffel.com
reply other threads:[~1994-12-14 3:09 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox