*---------------------------------------------------------------*
|                                                               |
|  ECOOP Workshop #5                                            |
|  Precise Semantics for Object-Oriented Modeling Techniques    |
|                                                               |
|  Tuesday 10. June 1997 at Jyvaskyla, Finland.                 |
|                                                               |
*---------------------------------------------------------------*

  The Workshop on Precise Semantics for Object-Oriented Modeling Techniques
  will be held in conjunction with ECOOP'97.


--------------------------------------------------------------
  ** Rationale:

    Currently there is an ongoing standardization process for object-oriented
    modeling techniques (OOMT) initiated by the OMG. Standardization of OOMTs
    does not only include a precise syntax, but a precise semantics as well.
    This is essential for unambiguous understanding of business and system
    specifications modeled with OOMT.

    A precise semantics allows us to detect inconsistencies and inaccuracies
    both in OOMTs themselves (meta-modeling), and in specifications written
    using these OOMTs (modeling). It is essential if we want to compare (and
    use) different OOMTs, with perhaps quite different syntaxes (notations),
    based on their meaning (semantics). This not only may improve the notations
    and make them more convenient, but also will enable interoperability
    between different OOMT. Moreover, precise semantics also allows us to use a
    notation in a more standardized way, thus leading to better and unambiguous
    understanding and therefore supporting true reuse of specifications and
    design, a more accurate definition of context conditions or (code)
    generators. Furthermore, requirement decisions could be traced more
    precisely to produced code.

  ** Topics:

    The scope of the workshop includes, but is not limited to:
     + Precise semantics for OOMT
     + Integration of semantics for a heterogeneous set of OOMT
     + Formal development and refinement techniques for OOMT
     + Comparisons of existing semantics models
     + Ways to achieve preciseness
     + Concurrency and OOMT
     + Tool support
     + Existing standards (e. g. ISO) and OOMT

  ** Review process / workshop organization:

    Workshop proposals should be about 5 pages and highlight the main
    contributions of the author. The most interesting papers will be selected
    by the organizers and their authors will have the possibility to present
    them in about 20 minutes. Furthermore, each author is encouraged to
    present open questions and one or two main statements that shall be
    discussed shortly.

    A discussion about the results will conclude the workshop. 

  ** Organizers:
     Haim Kilov,
     Merrill Lynch, Operations, Services and Technology
     World Financial Center
     South Tower
     New York, NY 10080-6105
     Phone 212 236 5816
     Fax 212 236 9600
     Email haim_kilov@ml.com
   
     Bernhard Rumpe, Institut f"ur Informatik,
     Technische Universit"at M"unchen, 
     D-80333 Munich, Germany.
     Fax: ++49-89-289-28183, Phone: -28129,
     Email: rumpe@forsoft.de

  ** Important Dates:
     Deadline for submission:    April 4, 1997
     Notification of acceptance: May   5, 1997
     Day of workshop:            June 10, 1997

  ** Proceedings: 
     will be printed as technical report of the Munich University of Technology
     and will be available at the conference.

  ** Further Information:
     will be available at http://www.forsoft.de/~rumpe/ecoop-ws/

  ** Submissions:
     Workshop proposals should be about 5 pages and highlight the main
     contributions of the author. Interesting papers will be selected by the
     organizers and their authors will have the possibility to present them in
     about 20 minutes. Furthermore, each author is encouraged to present open
     questions and one or two main statements that shall be discussed.

     Workshop participants are invited to submit their contribution as
     standard Postscript per email to both workshop organizers. Submission
     deadline is April 4, 1997.