normk@tekcrl.CRL.TEK.COM (Norm Kerth) (08/02/88)
METHODOLOGIES AND OBJECT-ORIENTED PROGRAMMING WORKSHOP
To be held at OOPSLA '88 on September 26th - 9:00-5:00
Workshop Objective:
Where do Objects Come From? A Discussion on Specifica-
tion and Design Approaches Leading to Object Oriented
Programming.
Workshop Issues:
We have seen significant advantages from object
oriented programming, such as software reuse of objects
and flexibility through dynamic binding. But practical
deployment of OOP is hampered by our inability to
specify and design large systems in a methodical
manner. A manner that leads us to a point where we can
identify objects and allows us to carefully consider
the alternatives of object decomposition and construc-
tion.
Some people have suggested that Structured Analysis is
adequate for specification but the translation to
Structured Design must be replaced. Others have sug-
gested that extensions to Entity-Relationship diagrams
give a great deal of insight. Those with correctness
concerns have observed that Hoare's work on the
correctness of data representations and Guttag's work
on algebraic specifications and Liskov's work on
abstract data types can be used to formally define and
prove assertions about an object. While these
approaches and others do aid in our understanding to
some degree, it is clear that we have not found a fully
satisfactory approach.
The purpose of this workshop is to provide a forum and
discussion for researchers and practitioners working
with these issues. Admittance will be based on a posi-
tion paper, reviewed by three reviewers (to be
selected). A fair distribution between academia and
industry will be maintained. Methodologists and experi-
enced OOP programmers are encouraged to submit position
papers.
Please submit a one or two page position paper by
August 15th. Participants will be notified by Sep-
tember 1st.
Send position paper to:
Norman L. Kerth (503) 297-8677
11521 NW Laidlaw Rd.
Portland, OR 97229
Warning: e-mail may not be delivered; use surface mail.