Workshop Agenda:

The ECOOP'97 workshop on

        Precise Semantics for Object-Oriented Modeling Techniques

takes place on Tuesday 10. June 1997. It starts at 8.15 with the
below enclosed agenda.
Room and building will be announced at the conference site.

Each invited author has about 10 minutes to introduce the main
concepts, resp. an overview over his work.
Emphasis is put on the discussion, where we will try to draw some
conclusions.


 8.15 Introduction by Haim Kilov
           Clarity and Context

 8.25 Session 1 (Business semantics)

        Angelo E. Thalassinidis
           On the Specification of Electronic Commerce Economics

        Geoff Mullery
           Discovering, Displaying and Agreeing Semantics in an
           Environment of Conflicts

        Haim Kilov
           Business rules: from business specification to design

 9.00 Discussion 1

 9.20 Session 2 (Semantics for Diagrams)	

        John Howse
           Semantics through Pictures: Towards a diagrammatic semantics for
           OO modeling notations

        Dominique Sidou
           Precise semantics for a Behavioral Model in the Context of
           Object Based Distributed Systems

        Bernhard Rumpe,
           Towards a Precise Semantics for Object-Oriented
           Modeling Techniques

        K. C. Lano
           Formalising Object-Oriented Models in the Object Calculus

10.00 Coffee break

10.30 Session 3 (Formalization)

        B. Cohen
           Set Theory as a Semantic Framework for Object Oriented Modeling

        Juergen Ebert
           Integration of Z-Based Semantics of OO-Notations

        J.-M. Bruel
           Integrated Informal Object-Oriented and Formal Modeling 
           Techniques

        Gary W. Daugherty
           Unification of the Models for Types, Classes and State Machines

        K. Periyasamy
           An Axiomatic Semantics for Object Modeling Technique

11.30 Discussion 2

12.00 Lunch (60 min)

13.00 Session 4 (UML and others)

        Jean Bezivin
           Ontology-based Layered Semantics for Precise OA&D Modeling

        Reino Kurki-Suonio
           Liberating Object-Oriented Modeling from Programming-Level
           Abstractions

        Andy Schuerr
           Formal Definition and Refinement of UML's Module/Package Concept

        John Hogg
           Experience with Formal Specification of CMM and UML

        Roland Trauter
           A first review of UML

14.00 Discussion 3

14.30 Coffee break

15.00 Discussion 4: Formulation of conclusions

16.15 End