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
Submissions shoud be around 8 A4 pages in IEEE format
http://www.computer.org/cspress/instruct.htm .
Papers are to be submitted electronically through
http://www.ipd.bth.se/uml2002/submissionForm2003.htm
Correspondence concerning submission process and participation in
the workshop should be sent to workshop organizers
[log in to unmask] (also [log in to unmask]).
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
|