FIRST CALL: Consistency problems in UML-based software development



Date view Thread view Subject view Author view Attachment view

From: Gianna Reggio (reggio@disi.unige.it)
Date: Tue 27 May 2003 - 09:52:26 BST


       CONSISTENCY PROBLEMS IN UML-BASED SOFTWARE DEVELOPMENT II

                            OCTOBER 20, 2003

       WORKSHOP AT <<UML>> 2003   SAN FRANCISCO, CALIFORNIA, USA

WEB SITE
========
    http://www.ipd.bth.se/consistencyUML/UML2003workshop.asp

WORKSHOP THEMES
===============
A process of a UML-based software development can be considered as a
process of model generation. The software development process yields a
sequence of UML  models. A software developer is faced with two kinds
of problems. The first concerns consistency among artifacts within a
given model and can be identified as an intra-consistency problem. The
second concerns consistency between different models and can be
identified as an inter-consistency problem.
Intra- and inter-consistency demands seem to be necessary for
correctness of software development process.

The planned approach to the problem of consistency is the following -
to present and analyze examples of inconsistency, based on these to
classify the situations leading to inconsistency, and finally to
discuss definitions of the notion based on the results of the previous
activities.

The workshop will provide the participants with a forum to present and
discuss issues concerning different aspects of consistency based on
examples of inconsistency. The aim is identification and precise
definition of properties of artifacts that decide whether a given
artifact could be considered as consistent. Especially expected are
algorithmic definitions giving a basis for practical incorporation into
the UML supporting tools.

The workshop is planned to be split into two sessions:
- Presentations of examples and position statements
- Discussion aimed on achieving consensus on classification and
   definition of relevant notions

WORKSHOP TOPICS AND PARTICIPANT REQUIREMENTS
============================================
Relevant topics include all issues concerning various aspects of
consistency, in particular:
- Examples of different kinds of inconsistency
- Definition of consistency within and between artefacts
- Consistency within a development process
- Formalization of inconsistency (constraints, rules, etc.)
- Checking inconsistencies during development process

The types of participants that can contribute  to the workshop include:
- Person studying or doing research related to the UML
- Person using the UML in the development process

PAPERS FORMAT AND REVIEW PROCEDURE
==================================
Two sorts of submissioons are expected:
1. Case studies illustrating inconsistent situations.
2. Position statements - addressing more general problems such as
    inconsistency classification and definition and approaches to cope
    with inconsistencies

Papers shoud be around 8 A4 pages (the format will be announced
later), and are to be submitted electronically through
     http://www.ipd.bth.se/consistencyUML/submissionForm.htm

A program committee will review the submissions and select papers that
present relevant and interesting examples and concepts that can
contribute to the discussion and workshop goals. The accepted papers
will be included in the workshop materials.

PROGRAM COMMITTEE
=================
Reiko Heckel, Universitat Paderborn, Germany
Zbigniew Huzar,  Wroclaw University of Technology, Poland
Mieczyslaw Kokar, Northeastern University Boston, USA
Kai Koskimies, Tampere University of Technology, Finland
Ludwik Kuzniarz, Blekinge Institute of Technology, Ronneby, Sweden
Gianna Reggio, DISI- University of Genova, Italy
Jean Louis Sourrouille, Computer Science Department, INSA Lyon, France

IMPORTANTE DATES
===============
Submission deadline        15.08.2003
Notification of acceptance 08.09.2003
Camera ready version       19.09.2003
Workshop                   20.10.2003

WORKSHOP ORGANIZERS
===================
Zbigniew Huzar,  Wroclaw University of Technology, Poland
Ludwik Kuzniarz, Blekinge Institute of Technology, Ronneby, Sweden
Gianna Reggio, DISI- University of Genova, Italy
Jean Louis Sourrouille, Computer Science Department, INSA Lyon, France

Date view Thread view Subject view Author view Attachment view