Sixth International Conference on the Unified Modeling Language - the Language and its applications

20th - 24th October, 2003, San Francisco, CA, USA (Conference Home)

Invited Talk 1

• Peter Coad: Agile Processes: Developing Your Own ``Secret Recipes'', p. 1, (BibTeX entry).

Practical Model Management

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

Time and Quality of Service

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

Short Tool Papers

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

Composition and Architecture

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

Inivited Talk 2

• Nicolas F. Rouquette: UML/MDA Reality Check: Heterogenous Architecture Style, p. 143, (BibTeX entry).

Transformation

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

The Web

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

Testing and Validation

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

Improving UML/OCL

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

Inivited Talk 3

• Martin Fowler: What Is the Point of the UML?, p. 325, (BibTeX entry).

Consistency

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

Methodology

• Jan Jürjens: Developing Safety-Critical Systems with UML, p. 360-372, (BibTeX entry).
• Khaled Alghathbar, Duminda Wijeskera: Consistent and Complete Access Control Policies in Use Cases, p. 373-387, (BibTeX entry).
• Řystein Haugen, Ketil Střlen: STAIRS - Steps to Analyze Interactions with Refinement Semantics, p. 388-402, (BibTeX entry).

[Home | Search Author | Search Title]
Contact: Paul Ziemann (ziemann@informatik.uni-bremen.de), last update: 10.5.2005.