UML 2003 -- The Unified Modeling Language, Modeling Languages and Applications: 6th International Conference San Francisco, CA, USA, October 20-24, 2003, Proceedings

by Perdita Stevens (editor)

Inivited Talk 1.- Agile Developing Your Own "Secret Recipes".- Practical Model Management.- Difference and Union of Models.- UML Transformation Tool for Porting Middleware Applications.- Model-Centric Engineering with the Evolution and Validation Environment.- Time and Quality of Service.- Representing Temporal Information in UML.- Formal Semantics of UML with Real-Time Constructs.- A QoS-Oriented Extension of UML Statecharts.- Short Tool Papers.- A Tool for Model Checking Visual Modeling Languages.- A Workbench to Experiment on New Model Engineering Applications.- Tool Support for Model-Based Development of Web Applications.- Composition and Architecture.- On the Key Role of Composition in Object-Oriented Modelling.- Compositional and Relational Reasoning During Class Abstraction.- Encoding Informal Architectural Descriptions with An Experience Report.- Inivited Talk 2.- UML/MDA Reality Heterogenous Architecture Style.- Transformation.- Towards Automating Source-Consistent UML Refactorings.- Model Refactorings as Rule-Based Update Transformations.- Reflective Model Driven Engineering.- The Web.- A Model-Driven Runtime Environment for Web Applications.- Using UML and XMI for Generating Adaptive Navigation Sequences in Web-Based Systems.- Platform Independent Web Application Modeling.- Testing and Validation.- Rigorous Testing by Merging Structural and Behavioral UML Representations.- Towards Automated Support for Deriving Test Data from UML Statecharts.- Validation of UML and OCL Models by Automatic Snapshot Generation.- Improving UML/OCL.- A Critique of UML's Definition of the Use-Case Class.- Modelling Database Views with Derived Classes in the UML/OCL-framework.- An OCL Extension for Low-Coupling Preserving Contracts.- Invited Talk 3.- What Is the Point of the UML?.- Consistency.- Using Description Logic to Maintain Consistency between UML Models.- Modeling and Testing Legacy Data Consistency Requirements.- The Consistency A Tool for Consistency Management in UML-Based Development.- Methodology.- Developing Safety-Critical Systems with UML.- Consistent and Complete Access Control Policies in Use Cases.- STAIRS - Steps To Analyze Interactions with Refinement Semantics.- Workshops and Tutorials.- Workshops at the UML 2003 Conference.- Tutorials at the UML 2003 Conference.

434 pages, Paperback

First published December 5, 2003