"Model Engineering, Concepts and Tools"

Workshop  on

"Consistency Problems in UML-based Software Development"

October 1, 2002 
Dresden, Germany

Schedule for the workshop

Workshop materials in pdf (3MB)

Consistency UML Group

Workshop themes

This workshop will address the problems concerning and related to consistency between diagrams and models produced within the UML-based development process. A software developer is faced with two kinds of problems concerning consistency. The first is related to consistency among diagrams within a given model and can be called as an intra-consistency problem. The second is concerned with consistency between different models and can be named as an inter-consistency problem.

The workshop will provide the participants with a forum to present and discuss issues concerning different aspects of consistency. The aim is identification and precise definition of properties of models that decide whether a given model could be considered as an intra consistent one. Possibility of consistency examination is expected in software modelling in general and to be included in the existing CASE tools in particular.

The workshop is planned to be split into two sessions :

	Presentations of position statements and short discussion to identify working groups
	Discussion in working groups aimed on achieving consensus on understanding the relevant notions

Workshop topics and participant requirements

Relevant topics include all issues concerning various aspects of consistency, in particular:

	Definition of model consistency
	Dependency relations between models
	Consistency preserving model transformations
	Customizing development process to ensure consistency
	Verification of model consistency

These are also suggested topics for working groups. 

The following are the type of participants that can make contribution to the workshop:

	Person studying or  doing research related to the UML
	Person who are using the UML in the development process

Papers format and review procedure

Workshop submission will be:

1. Position papers - presented during the workshop and published in workshop proceedings

2. Contribution papers - published in workshop proceedings

Both types of papers should not exceed 16 pages in Springer LNCS format.

A program committee will review the submission and select papers that present relevant and interesting ideas and concepts that can contribute to the discussion that will take place during the workshop. The accepted papers will be included in the workshop materials. The papers will be split into two categories: position statements that will be presented during the first session and be the basis for further discussion in working groups, and contribution papers that may contribute to the discussion in groups. 

The proceedings of workshop will be published as a research report of Blekinge Institute of Technology.

Papers are to be submitted electronically through here.

The papers will be reviewed by the programme committee.

Correspondence concerning submission process and contribution should be sent to one of the organizers.

Workshop schedule

Workshop will be divided into two sessions:

1. Presentation of position papers

2. Discussion in working groups

Discussion groups are formed at the end of the first session based on the presentation and topics for the workshop.

Workshop organizers

Zbigniew Huzar,
Department of Computer Science, Wroclaw University of Technology, Wroclaw, Poland;
z.huzar@ci.pwr.wroc.pl


Ludwik Kuzniarz,
Department of Software Engineering and Computer Science, Blekinge Institute of Technology, Ronneby, Sweden
lku@bth.se


Gianna Reggio,
Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italy
reggio@disi.unige.it


Jean Louis Sourrouille
INSA, Villeurbanne Cedex, France 
sou@if.insa-lyon.fr 

Programme committee

Gregor Engels
Mathematics/Computer Science Department, University of Paderborn, Germany,

Zbigniew Huzar,
Department of Computer Science, Wroclaw University of Technology, Wroclaw, Poland;

Ludwik Kuzniarz,
Department of Software Engineering and Computer Science, Blekinge Institute of Technology, Ronneby, Sweden

Kevin Lano
Department of Computer Science, King's College London, Strand Campus, Strand, London 

Gianna Reggio,
Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, Italy

Jean Louis Sourrouille
INSA, Villeurbanne Cedex, France 

Important Dates

Submission deadline: 19.08.2002  (*)
Notification of acceptance:6.09.2002 (**)
Camera ready version:12.09.2002  (***)
UML conference:    30.09.2002-04.10.2002
Workshop date: 1.10.2002

(*) In case of having problems to meet the deadline, please contact the organizers

(**) Results will be announced on the 10th of September

(***) Should be send by the 15th of September

Schedule for the workshop

Session 1:  9:00 - 10:30 General problems

      Introduction  :
Ludwik Kuzniarz,
Blekinge Institute of Technology, Ronneby, Sweden

1. Checking UML Model Consistency, slides
   Jean Louis Sourrouille, Guy Caplat,
   INSA,Villeurbanne, France

2. A systematic approach to consistency within UML based software development process
   Bogumila Hnatkowska, Zbigniew Huzar, Ludwik Kuzniarz ¹⁾, Lech Tuzinkiewicz , Wroclaw University of Technology, Poland,  ¹⁾ Blekinge Institute ofTechnology, Ronneby, Sweden

3. A framework for UML consistency,
   John Derrick, David Akehurst,
   Eerke BoitenComputing Laboratory, University of Kent, Canterbury, UK.

4. Consistency between UML Classes and Associated State Machines, slides
   Holger Rasch and Heike Wehrheim,
   Universitat Oldenburg, Germany

Session 2: 11:00 - 12:30                       Practical solutions

Chair :  Gianna Reggio, DISI, Genova, Italy

1. Extended Model Relations with Graphical Consistency Conditions, 
   Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer,
   University of Paderborn, Germany

2. Extending OCL for verifying UML models consistency,
   Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Feraud,
    Université Paul Sabatier, Toulouse, France

3. Using B formal specifications for analysis and verification of UML/OCL models,
   R. Marcano and N. Levy ,
   Laboratoire PRISM, Université de Versailles, France

4. Rule Based detection of Inconsistency in UML Models, slides
   WenQian Liu, Steve Easterbrook and John Mylopoulos,
   University of Toronto,Canada.

5. Lightweight Checking for UML Based Software Development, slides
   Clare Gryce, Anthony Finkelstein and Christian Nentwich,
   University College London, UK

Session 3: 14:00 - 15:30                       Formalization

I. Presentations : 40 min

1. Formalising Inter-model Consistency of the UML
   K. Lano, D. Clark, K. Androutsopoulos,
   King's College London, UK

2. Formal Consistency of Models in Multi-View Modelling, slides
   Purandar Bhaduri and R. Venkatesh,
   Tata Consultancy Services, Pune, INDIA.

II. Introduction to the working session : 50 min

Formulation of the problems and tasks for further discussion and forming discussion groups

Session 4: 16:00 - 17:30                        Working Session

Discussion in working groups                       : 60 min

Results and Summary –                           : 30 min

Time for each paper presentation : total - 20min: 15 min presentation + 5 questions