6. UML 2003: San Francisco, California, USA

Perdita Stevens, Jon Whittle, Grady Booch (Eds.): «UML» 2003 - The Unified Modeling Language, Modeling Languages and Applications, 6th International Conference, San Francisco, CA, USA, October 20-24, 2003, Proceedings. Lecture Notes in Computer Science 2863 Springer 2003, ISBN 3-540-20243-9

Invited Talk 1

Peter Coad:
Agile Processes: Developing Your Own "Secret Recipes". 1

Practical Model Management

Marcus Alanen, Ivan Porres:
Difference and Union of Models. 2-17
Alexander Christoph, Matthias M. Müller:
GREAT: UML Transformation Tool for Porting Middleware Applications. 18-30
Jörn Guy Süß, Andreas Leicher, Herbert Weber, Ralf-Detlef Kutsche:
Model-Centric Engineering with the Evolution and Validation Environment. 31-43

Time and Quality of Service

Jordi Cabot, Antoni Olivé, Ernest Teniente:
Representing Temporal Information in UML. 44-59
Subash Shankar, Sinan Asa:
Formal Semantics of UML with Real-Time Constructs. 60-75
David N. Jansen, Holger Hermanns, Joost-Pieter Katoen:
A QoS-Oriented Extension of UML Statecharts. 76-91

Short Tool Papers

Ákos Schmidt, Dániel Varró:
CheckVML: A Tool for Model Checking Visual Modeling Languages. 92-95
Ralph-Johan Back, Dag Björklund, Johan Lilius, Luka Milovanov, Ivan Porres:
A Workbench to Experiment on New Model Engineering Applications. 96-100
Marc Lohmann, Stefan Sauer, Tim Schattkowsky:
ProGUM-Web: Tool Support for Model-Based Development of Web Applications. 101-105

Composition and Architecture

Friedrich Steimann, Jens Gößner, Thomas A. Mück:
On the Key Role of Compositioning Object-Oriented Modelling. 106-120
Alexander Egyed:
Compositional and Relational Reasoning during Class Abstraction. 121-137
Yaojin Yang, Jianli Xu:
Encoding Informal Architectural Descriptions with UML: An Experience Report. 138-142

Invited Talk 2

Nicolas F. Rouquette:
UML/MDA Reality Check: Heterogenous Architecture Style. 143

Transformation

Pieter Van Gorp, Hans Stenten, Tom Mens, Serge Demeyer:
Towards Automating Source-Consistent UML Refactorings. 144-158
Ivan Porres:
Model Refactorings as Rule-Based Update Transformations. 159-174
Jean Bézivin, Nicolas Farcet, Jean-Marc Jézéquel, Benoît Langlois, Damien Pollet:
Reflective Model Driven Engineering. 175-189

The Web

Jörg Pleumann, Stefan Haustein:
A Model-Driven Runtime Environment for Web Applications. 190-204
Peter Dolog, Wolfgang Nejdl:
Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems. 205-219
Pierre-Alain Muller, Philippe Studer, Jean Bézivin:
Platform Independent Web Application Modeling. 220-233

Testing and Validation

Orest Pilskalns, Anneliese Amschler Andrews, Sudipto Ghosh, Robert B. France:
Rigorous Testing by Merging Structural and Behavioral UML Representations. 234-248
Lionel C. Briand, Jim Cui, Yvan Labiche:
Towards Automated Support for Deriving Test Data from UML Statecharts. 249-264
Martin Gogolla, Jörn Bohling, Mark Richters:
Validation of UML and OCL Models by Automatic Snapshot Generation. 265-279

Improving UML/OCL

Sadahiro Isoda:
A Critique of UML's Definition of the Use-Case Class. 280-294
Herman Balsters:
Modelling Database Views with Derived Classes in the UML/OCL-Framework. 295-309
Isabel Nunes:
An OCL Extension for Low-Coupling Preserving Contracts. 310-324

Invited Talk 3

Martin Fowler:
What Is the Point of the UML? 325

Consistency

Ragnhild Van Der Straeten, Tom Mens, Jocelyn Simmonds, Viviane Jonckers:
Using Description Logic to Maintain Consistency between UML Models. 326-340
Jan Pettersen Nytun, Christian S. Jensen:
Modeling and Testing Legacy Data Consistency Requirements. 341-355
Gregor Engels, Reiko Heckel, Jochen Malte Küster:
The Consistency Workbench: A Tool for Consistency Management in UML-Based Development. 356-359

Methodology

Jan Jürjens:
Developing Safety-Critical Systems with UML. 360-372
Khaled Alghathbar, Duminda Wijesekera:
Consistent and Complete Access Control Policies in Use Cases. 373-387
Øystein Haugen, Ketil Stølen:
STAIRS - Steps to Analyze Interactions with Refinement Semantics. 388-402

Workshops and Tutorials

Ana M. D. Moreira:
Workshops at the UML 2003 Conference. 403-409
João Araújo:
Tutorials at the UML 2003 Conference. 410-414

Last update Sun May 19 23:40:35 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page