Workshop on Consistency Problems in UML-based Software Development

Dresden, German, October 1st, 2002 (Conference Home)

Jean Louis Sourrouille, Guy Caplat: Checking UML Model Consistency, p. 1-15, (BibTeX entry).
Bogumila Hnatkowska, Zbigniew Huzar, Ludwik Kuzniarz, Lech Tuzinkiewicz: A systematic approach to consistency within UML based software development process, p. 16-29, (BibTeX entry).
John Derrick, David H. Akehurst: A framework for UML consistency, p. 30-45, (BibTeX entry).
Holger Rasch, Heike Wehrheim: Consistency between UML Classes and Associated State Machines, p. 46-60, (BibTeX entry).

Jan Hendrik Hausmann, Reiko Heckel, Stefan Sauer: Extended Model Relations with Graphical Consistency Conditions, p. 61-74, (BibTeX entry).
Jean-Paul Bodeveix, Thierry Millan, Christian Percebois, Christophe Le Camus, Pierre Bazex, Louis Feraud: Extending OCL for verifying UML models consistency, p. 75-90, (BibTeX entry).
R. Marcano, N. Levy: Using B formal specifications for analysis and verification of UML/OCL models, p. 91-105, (BibTeX entry).
WenQian Liu, Steve Easterbrook, John Mylopoulos: Rule Based detection of Inconsistency in UML Models, p. 106-123, (BibTeX entry).
Clare Gryce, Anthony Finkelstein, Christian Nentwich: Lightweight Checking for UML Based Software Development, p. 124-132, (BibTeX entry).

Kevin Lano, D. Clark, K. Androutsopoulos: Formalising Inter-model Consistency of the UML, p. 133-148, (BibTeX entry).
Purandar Bhaduri, R. Venkatesh: Formal Consistency of Models in Multi-View Modelling, p. 149-159, (BibTeX entry).