[Prev][Next][Index][Thread]

CFP: USE2002



[ For types readers:  The following workshop solicits papers that
  tackle the problem of unanticipated software evolution, which
  considers upgrading a program while it runs.  Types can play a
  significant role in proving useful properties in such a setting, such
  as whether an upgrade is safe, whether it preserves some useful
  program invariant, what sorts of upgrades are permitted, etc.  -- MWH ]


                               Call For Papers
                                   USE2002

                       First International Workshop on
                       Unanticipated Software Evolution

                               June 11th, 2002
                            co-located with ECOOP
                                Malaga, Spain

                       Deadline for paper submissions:

                               April 8, 2002

                    http://www.cs.uni-bonn.de/~gk/use2002/

Full call for papers follows.  It may also be found at the Workshop website.

Background
----------

Many studies of complex software systems have shown that more than 80% of
the total cost of software development is devoted to software
maintenance. This is mainly due to the need for software systems to evolve
in the face of changing requirements. In some cases, software evolution may
need to be dynamic, with changes being performed on running systems.

Despite the importance of software evolution, techniques and technologies
that offer support for software evolution are far from ideal. In particular,
unanticipated requirement changes are not well supported, although they
account for most of the technical complications and related costs of
evolving software.

By definition, unanticipated software evolution (USE) is not something for
which we can prepare during the design of a software system. Therefore,
support for such evolution in programming languages, component models and
related runtime infrastructures becomes a key issue. Without it,
unanticipated changes often force software engineers to perform extensive
invasive modification of existing designs and code.

This one-day workshop will address the issues inherent in incremental static
and dynamic evolution of object-oriented and component based systems. The
main goal of the workshop is to discuss new approaches and technologies for
building large-scale software systems that are evolvable when faced with
unanticipated requirements. We also want to promote lively discussion
between researchers proposing new approaches and practitioners reporting on
their experience with the strengths and limitations of current technologies.

Topics of Interest
------------------

The workshop is intended to cover all aspects of unanticipated software
evolution, from theoretical foundations to industrial experience. Position
paper topics of interest include, but are not limited to:

. Formal methods, language concepts and implementation techniques for USE.

. USE support at different stages of a program's life-cycle: compile-time,
load-time and run-time.

. USE support in object-oriented languages, component models and related
infrastructures (JVM, EJB, JavaBeans, CORBA, DCOM, and .NET).

. USE support by prototype-based language concepts, reflection, and
aspect-oriented approaches.

. Consistency, safety, integrity, constraint enforcement and dependency
management issues.

. Learning from object-oriented databases: Application of techniques for
schema evolution and instance adaptation for run-time USE.

. Experience reports on engineering for 24x7 availability and on-line
software upgrades.

. Related descriptions of hard problems from a practitioner's perspective.

Important dates
---------------

Attendance at the workshop is by invitation based on submitted position
papers, and will be limited to aproximately 20 people in order to facilitate
lively discussion and the exchange of ideas.

Deadline for reviewed paper submissions:
 April 8, 2002

Deadline for late submissions:
 April 30, 2002

Notification of acceptance or rejection:
 April 30, 2002

ECOOP early registration deadline:
 May 6, 2002

Deadline for final paper versions:
 May 18, 2002

Workshop:  June 11, 2000

Late paper submissions will not enter the review process and will not be
considered for journal publication. For late submissions, the organisers
cannot guarantee a response prior to the early registration deadline of
ECOOP 2002.

Submission Guidelines
---------------------

We seek high-quality submissions in two categories:

. Full technical papers, describing original, unpublished research (up to 10
pages).

. Work-in-progress papers, describing on-going work and interim results (up
to 6 pages).

Prospective participants should forward submissions in PDF format. All
articles must include the full contact information of at least one author
and must be sent to Guenter.Kniesel@cs.uni-bonn.de.

Proceedings
-----------

Online Proceedings

All submitted papers will be published online on the website of the workshop
at least two weeks prior to the workshop. Participants are encouraged to
prepare for the workshop by reading the papers.

Journal Publication

In addition, the best papers will be considered for a Special Issue of
Software Practice and Experience. Selection of papers will be based on the
results of the review process and on the discussions at the
workshop. Authors of selected papers will be informed shortly after the
workshop and will be requested to prepare extended versions of their papers
based on the reviewers' comments, the feedback they received at the workshop
and the formatting guidelines of the publisher (John Wiley & Sons,
Ltd). LaTex styles are available at
http://www.interscience.wiley.com/jpages/0038-0644/.

ECOOP 2002 Workshop Reader

Springer-Verlag will publish the ECOOP'2002 Workshop Reader as an LNCS
volume. This volume will include a report for each workshop that will be
written by the organizers in collaboration with the participants of the
workshop. It will provide a summary of the workshop with the major issues
discussed and the conclusions of the working groups. The report should also
include the current research being carried out in the area and open research
directions on the workshop themes.

Organisers
----------

Gunter Kniesel, University of Bonn (contact organiser)

Gunter Kniesel is currently a lecturer at the Computer Science Department of
the University of Bonn. His research focuses on unanticipated software
composition with object object-oriented programming languages and component
technologies. Other research interests include encapsulation, aliasing,
reflection, knowledge representation and aspect-oriented software
development. Inspired by the ultimate support for unanticipated software
evolution in the prototype-based language SELF, he has developed the Darwin
model, which extends mainstream object-oriented languages by type-safe
object-based inheritance. He leads the group working on the implementation
of Lava, a corresponding extension of Java. Gunter holds a Diploma in
Computer Science from the University of Dortmund and a Ph.D. in Computer
Science from the University of Bonn.

Pascal Costanza, University of Bonn

Pascal Costanza has an MS degree from the University of Bonn, Germany, and
has been a research assistant at the University of Bonn for the last 4
years, focusing mostly on programming language constructs for unanticipated
software evolution. Currently he pursues these issues in the Tailor
Project. Previously, he has also been involved in the definition of the
programming language Lava. He can be reached at
http://www.pascalcostanza.de.

Mikhail Dimitriev, Sun Microsystems

Mikhail Dmitriev is currently a software engineer in Sun Microsystems
Laboratories. His research interests include various aspects of safe and
scalable evolution of computer applications. During his PhD work, done in
close collaboration with Sun Microsystems, he was developing persistent
object evolution infrastructure and tools for the PJama orthogonally
persistent system. He then started to work on the HotSwap project at Sun
Labs, that investigates safe runtime evolution of Java applications. He has
also implemented smart recompilation technology and tool for Java
("Javamake"), and is contributing to the ongoing work on Java profiling
based on dynamic bytecode instrumentation. Mikhail holds a Diploma in
Computer Science from Cambridge University and a Ph.D. in Computer Science
from the University of Glasgow.

Program Commitee

Pascal Costanza, University of Bonn, Germany
Martine Devos, Avaya Labs, USA
Mikhail Dmitriev, Sun Microsystems, USA
Babak Esfandiari, Carleton University, Canada
Peter Grogono, Concordia University, Canada
Michael Hicks, Cornell University, USA
Gunter Kniesel, University of Bonn, Germany
Tom Mens, Free University of Brussels, Belgium
Bernard Pagurek, Carleton University, Canada
Frantisek Plasil, Charles University Prague, Czech Republik
Clemens Szyperski, Microsoft Corporation, USA
Dave Thomas, Bedarra Corporation, Canada
Kris De Volder, University of British Columbia, Canada

Workshop Format
---------------

In keeping with the spirit and format of a workshop, USE 2002 will have a
highly discursive nature, with different theme-based discussion
tracks. Authors are encouraged to bring up to three slides which they will
be able to present. We plan to allow slots of 5 minutes for each paper
presentation. There will be plenty of time for discussion in small focused
working groups.

Further details will be made available in May, after the deadline for
notification of acceptance or rejection.

Website
-------

Further details are available at http://www.cs.uni-bonn.de/~gk/use2002/.