The UML is a standard object modeling language that is targeted at large, complex systems. The high quality experiences embedded in the UML certainly makes its application to complex systems desirable, but the lack of precise semantics that support rigorous semantic analyses can limit its effectiveness. The modeling of complex systems requires the use of modeling constructs that provide complexity management mechanisms and that allow for the early detection of errors in requirements and designs. The separation of views principle has proven to be an effective means of controlling complexity, and is well-supported by the UML. On the other hand, the formality and rigor principle that facilitates the detection of errors in requirements and designs is not well-supported in the UML.

 
The purpose of the proposed workshop is to bring together researchers and practitioners from academia and industry to discuss the semantic foundations of the UML as described in the OMG-UML document (current version is 1.3).
Presentations and discussions will focus on identifying deficiencies in the UML semantics foundation, analyzing proposed approaches to addressing the deficiencies, understanding UML limitations, and identifying the challenges that will have to be met in making the UML a rigorous modeling notation. Particular attention will be paid to the meta-modeling approach to semantics and to the OCL.

The workshop is organised by the precise UML group (pUML).  This workshop is the second of a planned series of workshops on strengthening the UML semantic foundation. The first workshop was held at ECOOP'99. The first workshop focused primarily on the utility of having precise semantics. In the OOPSLA'99 workshop the focus will be on the semantic foundations of the UML notations.

The workshop topics include:

The workshop will consist mainly of working groups that focus on a specific problem. There will be at least three invited presentations that highlight UML deficiencies and proposed development paths for the UML. These presentations, given in the first hour of the workshop, will provide some of the context for much of the discussions in the working groups. The working groups will be determined by the submissions to the workshop and will be announced at least 1 week before the workshop starts.
 

WORKSHOP PREPARATION AND DISCUSSION

PROGRAMME

The workshop will be located in the Adam's Mark Hotel, four blocks from the Colorado Convention Center.
The workshop is planned for room "Plaza Court 7", but it might change as we are trying to get 2 rooms (check
this web site often).
 

 

WORKSHOP COORDINATORS

Robert France, Primary contact

Department of Computer Science

Colorado State University

Fort Collins, CO 80523-1873.

phone: 970-491-6356

fax: 970-491-2466

Email: france@cs.colostate.edu

 
Bernhard Rumpe, Submissions

Faculty for Computer Science

Technische Universität München

D-80333 Munich, Germany.

Phone:   +49 -89 -289-28129

Fax:     +49 -89 -289-28183

Email:  rumpe@in.tum.de

 
Brian Henderson-Sellers, Submissions

Director, Centre for Object Technology Applications and Research

    and Professor of Information Systems

School of Computing Sciences

University of Technology, Sydney, Australia.

phone: +61 (0)2 9514 1687

fax: +61 (0)2 9514 1807

Email: brian@socs.uts.edu.au

 
Jean-Michel Bruel, Publicity & On-site coordination

Laboratoire T.A.S.C.

Université de Pau et des Pays de l'Adour

F-64000 Pau, France.

phone: +33(0)5.59.92.31.89

fax: +33(0)5.59.80.83.74

Email: Jean-Michel.Bruel@univ-pau.fr

 
Ana Moreira, On-site coordination

Departamento de Informática

Faculdade de Ciencias e Tecnologia

Universidade Nova de Lisboa

2825 Monte da Caparica, Portugal

phone: +351-1-294 85 36 Ext. 0716

fax: +351-1-294 85 41

email: amm@di.fct.unl.pt