Uml 2003-The Unified Modeling Language: Modeling Languages and Applications : 6th International Conference, San Francisco, Ca, Usa, October 2003 : Proceedings

by Uml 200 (2003 San Francisco, Calif.); Stevens, Perdita; Whittle, Jon; Booch, Grady

• ISBN13: 9783540202431
• ISBN10: 3540202439
• Format: Paperback
• Copyright: 2003-10-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the 6th International Conference on the Unified Modelling Language, UML 2003, held in San Francisco, CA, USA in October 2003. The 25 revised full papers, 4 tool papers, and 1 experience paper presented together with the abstracts of 3 invited talks and summaries on the UML 2003 workshop and tutorials were carefully reviewed and selected from initially 168 submissions. The papers are organized in topical sections on practical model management, time and quality of service, tools, composition and architecture, transformation, Web related issues, testing and validation, improving UML/OCL, consistency, and methodology.

Table of Contents

Inivited Talk 1
Agile Processes: Developing Your Own ``Secret Recipes''	1	(1)
Peter Coad
Practical Model Management
Difference and Union of Models	2	(16)
Marcus Alanen
Ivan Porres
GREAT: UML Transformation Tool for Porting Middleware Applications	18	(13)
Alexander Christoph
Matthias M. Muller
Model-Centric Engineering with the Evolution and Validation Environment	31	(13)
Jorn Guy Suß
Andreas Leicher
Herbert Weber
Ralf-D. Kutsche
Time and Quality of Service
Representing Temporal Information in UML	44	(16)
Jordi Cabot
Antoni Olive
Ernest Teniente
Formal Semantics of UML with Real-Time Constructs	60	(16)
Subash Shankar
Sinan Asa
A QoS-Oriented Extension of UML Statecharts	76	(16)
David N. Jansen
Holger Hermanns
Joost-Pieter Katoen
Short Tool Papers
Check VML: A Tool for Model Checking Visual Modeling Languages	92	(4)
Akos Schmidt
Daniel Varro
A Workbench to Experiment on New Model Engineering Applications	96	(5)
Ralph-Johan Back
Dag Bjorklund
Johan Lilius
Luka Milovanov
Iran Porres
ProGUM-Web: Tool Support for Model-Based Development of Web Applications	101	(5)
Marc Lohmann
Stefan Sauer
Tim Schattkowsky
Composition and Architecture
On the Key Role of Compositioning Object-Oriented Modelling	106	(15)
Friedrich Steimann
Jens Goßner
Thomas Muck
Compositional and Relational Reasoning during Class Abstraction	121	(17)
Alexander Egyed
Encoding Informal Architectural Descriptions with UML: An Experience Report	138	(5)
Yaojin Yang
Jianli Xu
Inivited Talk 2
UML/MDA Reality Check: Heterogenous Architecture Style	143	(1)
Nicolas F. Rouquette
Transformation
Towards Automating Source-Consistent UML Refactorings	144	(15)
Pieter Van Gorp
Hans Stenten
Tom Mens
Serge Demeyer
Model Refactorings as Rule-Based Update Transformations	159	(16)
Ivan Porres
Reflective Model Driven Engineering	175	(15)
Jean Bezivin
Nicolas Farcet
Jean-Marc Jezequel
Benoit Langlois
Damien Pollet
The Web
A Model-Driven Runtime Environment for Web Applications	190	(15)
Joerg Pleumann
Stefan Haustein
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems	205	(15)
Peter Dolog
Wolfgang Nejdl
Platform Independent Web Application Modeling	220	(14)
Pierre-Alain Muller
Philippe Studer
Jean Bezivin
Testing and Validation
Rigorous Testing by Merging Structural and Behavioral UML Representations	234	(15)
Orest Pilskalns
Anneliese Andrews
Sudipto Ghosh
Robert France
Towards Automated Support for Deriving Test Data from UML Statecharts	249	(16)
Lionel C. Briand
Jim Cui
Yvan Labiche
Validation of UML and OCL Models by Automatic Snapshot Generation	265	(15)
Martin Gogolla
Jorn Bohling
Mark Richters
Improving UML/OCL
A Critique of UML's Definition of the Use-Case Class	280	(15)
Sadahiro Isoda
Modelling Database Views with Derived Classes in the UML/OCL-Framework	295	(15)
Hermann Balsters
An OCL Extension for Low-Coupling Preserving Contracts	310	(15)
Isabel Nunes
Invited Talk 3
What Is the Point of the UML?	325	(1)
Martin Fowler
Consistency
Using Description Logic to Maintain Consistency between UML Models	326	(15)
Ragnhild Van Der Straeten
Tom Mens
Jocelyn Simmonds
Viviane Jonckers
Modeling and Testing Legacy Data Consistency Requirements	341	(15)
Jan Pettersen Nytun
Christian S. Jensen
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development	356	(4)
Gregor Engels
Reiko Heckel
Jochen M. Kuster
Methodology
Developing Safety-Critical Systems with UML	360	(13)
Jan Jurjens
Consistent and Complete Access Control Policies in Use Cases	373	(15)
Khaled Alghathbar
Duminda Wijesekera
Stairs - Steps to Analyze Interactions with Refinement Semantics	388	(15)
Øystein Haugen
Ketil Stolen
Workshops and Tutorials
Workshops at the UML 2003 Conference	403	(7)
Ana Moreira
Tutorials at the UML 2003 Conference	410	(5)
Joao Araujo
Author Index	415